Inclusion dynamics hybrid automata

11 years 9 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appear powerful but recalcitrant, neither yielding to analysis and reasoning through a purely continuous-time modeling as with systems of differential equations, nor open to inferential processes commonly used for discrete state-transition systems such as finite state automata. A convenient and popular model, called hybrid automata, was introduced to model them and has spurred much interest on its tractability as a tool for inference and model checking in a general setting. Intuitively, a hybrid automaton is simply a "finite-state" automaton with each state augmented by continuous variables, which evolve according to a set of well-defined continuous laws, each specified separately for each state. This article investigates both the notion of hybrid automaton and the model checking problem over such struc...
Alberto Casagrande, Carla Piazza, Alberto Policrit
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Authors Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
Comments (0)