This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.

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 increased research interest in the study of the interaction between discrete and continuous dynamics. The present volume provides a first attempt in book form to bring together concepts and methods dealing with hybrid systems from various areas, and to look at these from a unified perspective. The authors have chosen a mode of exposition that is largely based on illustrative examples rather than on the abstract theorem-proof format because the systematic study of hybrid systems is still in its infancy. The examples are taken from many different application areas, ranging from power converters to communication protocols and from chaos to mathematical finance. Subjects covered include the following: definition of hybrid systems; description formats; existence and uniqueness of solutions; special subclasses (variable-structure systems, complementarity systems); reachability and verification; stability and stabilizability; control design methods. The book will be of interest to scientists from a wide range of disciplines including: computer science, control theory, dynamical system theory, systems modeling and simulation, and operations research.

This book develops a general analysis and synthesis framework for impulsive and hybrid dynamical systems. Such a framework is imperative for modern complex engineering systems that involve interacting continuous-time and discrete-time dynamics with multiple modes of operation that place stringent demands on controller design and require implementation of increasing complexity--whether advanced high-performance tactical fighter aircraft and space vehicles, variable-cycle gas turbine engines, or air and ground transportation systems. Impulsive and Hybrid Dynamical Systems goes beyond similar treatments by developing invariant set stability theorems, partial stability, Lagrange stability, boundedness, ultimate boundedness, dissipativity theory, vector dissipativity theory, energy-based hybrid control, optimal control, disturbance rejection control, and robust control for nonlinear impulsive and hybrid dynamical systems. A major contribution to mathematical system theory and control system theory, this book is written from a system-theoretic point of view with the highest standards of exposition and rigor. It is intended for graduate students, researchers, and practitioners of engineering and applied mathematics as well as computer scientists, physicists, and other scientists who seek a fundamental understanding of the rich dynamical behavior of impulsive and hybrid dynamical systems.

The emerging area of hybrid dynamical systems lies at the interface of control theory and computer science, i.e., analogue 'and' digital aspects of systems. This new monograph presents state-of-the-art concepts, methods and tools for analyzing and describing hybrid dynamical systems.

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.

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

Because they incorporate both time- and event-driven dynamics, stochastic hybrid systems (SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological processes to communication networks to engineering. Comprehensively integrating numerous cutting-edge studies, Stochastic Hybrid Systems presents a captivating treatment of some of the most ambitious types of dynamic systems. Cohesively edited by leading experts in the field, the book introduces the theoretical basics, computational methods, and applications of SHS. It first discusses the underlying principles behind SHS and the main design limitations of SHS. Building on these fundamentals, the authoritative contributors present methods for computer calculations that apply SHS analysis and synthesis techniques in practice. The book concludes with examples of systems encountered in a wide range of application areas, including molecular biology, communication networks, and air traffic management. It also explains how to resolve practical problems associated with these systems. Stochastic Hybrid Systems achieves an ideal balance between a theoretical treatment of SHS and practical considerations. The book skillfully explores the interaction of physical processes with computerized equipment in an uncertain environment, enabling a better understanding of sophisticated as well as everyday devices and processes.