Sciweavers

16 search results - page 4 / 4
» The Role of Decidability in First Order Separations over Cla...
Sort
View
IANDC
2008
112views more  IANDC 2008»
13 years 6 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 appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...