Because they incorporate both time- and event-driven dynamics, stochastic hybrid systems (SHS) have become ubiquitous in a variety of fields, from mathematical

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo

Sets out core theory and reviews new methods and applications to show how hybrid systems can be modelled and understood.

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerl

This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been incr