Hybrid systems have many applications in automotive, such as engine, brake and stability control, air traffic control and manufacturing plant control. The most effective hybrid control algorithms are based on full state feedback. However, in most cases, only partial information about the internal state of the hybrid plant can be measured. Observability is of fundamental importance to establish the conditions for reconstruction of the state of a system and has been thoroughly investigated in the continuous and discrete domain but not for hybrid systems. Written in a tutorial style, this monograph reviews and places in context how the continuous and the discrete dynamics, as well as their interactions, intervene in the observability property of a quite general class of hybrid systems: linear hybrid systems called H-systems. It provides a tutorial on hybrid systems observability in its various forms to students in control and its application as well as to practitioners in the field.

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.

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.

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 focuses on the observability of hybrid systems. It enables the reader to determine whether and how a hybrid system’s state can be reconstructed from sometimes necessarily partial information. By explaining how available measurements can be used to deduce past and future behaviours of a system, the authors extend this study of observability to embrace the properties of diagnosability and predictability. H-systems shows how continuous and discrete dynamics and their interaction affect the observability of this general class of hybrid systems and demonstrates that hybrid characteristics are not simply generalizations of well-known aspects of traditional dynamics. The authors identify conditions for state reconstruction, prediction and diagnosis of the occurrence of possibly faulty states. The formal approach to proving those properties for hybrid systems is accompanied by simple illustrative examples. For readers who are interested in the use of state estimation for controller design, the book also provides design methods for hybrid state observers and covers their application in some industrial cases. The book’s tutorial approach to the various forms of observability of hybrid systems helps to make H-systems of interest to academic researchers and graduate students working in control and to practitioners using control in an industrial environment.

A graduate-level textbook, Hybrid Dynamical Systems provides an accessible and comprehensive introduction to the theory of hybrid systems. It emphasizes results that are central to a good understanding of the importance and role of such systems. The authors have developed the materials in this book while teaching courses on hybrid systems, cyber-physical systems, and formal methods. This textbook helps students to become familiar with both the major approaches coloring the study of hybrid dynamical systems. The computer science and control systems points of view – emphasizing discrete dynamics and real time, and continuous dynamics with switching, respectively – are each covered in detail. The book shows how the behavior of a system with tightly coupled cyber- (discrete) and physical (continuous) elements can best be understood by a model simultaneously encompassing all the dynamics and their interconnections. The theory presented is of fundamental importance in a wide range of emerging fields from next-generation transportation systems to smart manufacturing.Features of the text include: extensive use of examples to illustrate the main concepts and to provide insights additional to those acquired from the main text; chapter summaries enabling students to assess their progress; end-of-chapter exercises, which test learning as a course proceeds; an instructor’s guide showing how different parts of the book can be exploited for different course requirements; and a solutions manual, freely available for download by instructors adopting the book for their teaching. Access to MATLAB and Stateflow is not required but would be beneficial, especially for exercises in which simulations are a key tool.

This volume contains the proceedings of Analysis and Design of Hybrid Systems 2006: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in Alghero (Italy) on June 7-9, 2006. ADHS is a series of triennial meetings that aims to bring together researchers and practitioners with a background in control and computer science to provide a survey of the advances in the field of hybrid systems, and of their ability to take up the challenge of analysis, design and verification of efficient and reliable control systems. ADHS'06 is the second Conference of this series after ADHS'03 in Saint Malo. - 65 papers selected through careful reviewing process - Plenary lectures presented by three distinguished speakers - Featuring interesting new research topics