Hybrid Automata; Model Checking

Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot be fully captured by either continuous nor discrete models: they evolve in accordance to continuous laws, but these laws are controlled by a finite …