Hybrid Dynamical Systems
We aim at providing solver technology to be used in tools for formal verification of hybrid dynamical systems. The verification methods we are going to support require a precise mathematical model of the system under investigation in order to be applicable.
KeywordsControl Mode Continuous State Discrete Transition Hybrid Automaton Reachability Problem
Unable to display preview. Download preview PDF.