From the Contents: Hybrid Systems and Verification by Abstraction -- Observer Design for Discrete-time Switching Nonlinear Models.-Self-Triggered Robust Control of Nonlinear Stochastic Systems -- Nonlinear Observer for Autonomous Switching Systems with Jumps.

This book is a collection of contributions defining the state of current knowledge and new trends in hybrid systems - systems involving both continuous dynamics and discrete events - as described by the work of several well-known groups of researchers. Hybrid Dynamical Systems presents theoretical advances in such areas as diagnosability, observability and stabilization for various classes of system. Continuous and discrete state estimation and self-triggering control of nonlinear systems are advanced. The text employs various methods, among them, high-order sliding modes, Takagi-Sugeno representation and sampled-data switching to achieve its ends. The many applications of hybrid systems from power converters to computer science are not forgotten; studies of flexible-joint robotic arms and - as representative biological systems - the behaviour of the human heart and vasculature, demonstrate the wide-ranging practical significance of control in hybrid systems. The cross-disciplinary origins of study in hybrid systems are evident. Academic researchers and graduate students interested in hybrid and switched systems need look no further than Hybrid Dynamical Systems for a single source which will bring them up to date with work in this area from around the world.