Verification of embedded systems with complex Boolean structure

When modeling complex technical systems (like trains, airplanes etc.) using so-called hybrid dynamical systems, the result often shows highly complex Boolean structure. We have a method and software package for verifying such systems that is quite successful in handling the part of the model corresponding to the physical environment, but it cannot handle well such complex Boolean structure. The thesis will involve the design and implementation of an algorithm that also can handle Boolean structure well.