"Hybrid systems are those that-unlike classical systems-exhibit both discrete changes, or "jumps", and continuous changes, or "flow." The canonical example of a hybrid system is a bouncing ball: the ball's speed changes continuously between bounces, but there is a discrete jump in velocity each time the ball impacts the ground. Hybrid systems feature widely across disciplines, including in biology, computer science, and mechanical engineering; examples range from fireflies to self-driving cars. Although classical control theory provides powerful tools for analyzing systems that exhibit either flow or jumps, it is ill-equipped to handle hybrid systems, which feature both behaviors. In Hybrid Feedback Control, Ricardo Sanfelice presents a self-contained introduction to the control of hybrid systems, and develops new tools for their design and analysis. This monograph uses hybrid systems notation to present a new, unified control theory framework, thus filling an important gap in the control theory literature. In addition to presenting this theoretical framework, the book also includes a variety of examples and exercises, a Matlab toolbox, and a summary at the beginning of each chapter. The book was originally used in a series of lectures on the topic, and will find a modest amount of crossover course use. The book will also find use outside the field of control, particularly in dynamical systems theory, applied mathematics, and computer science"--

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 increased efficiency and quality constraints imposed on electrical energy systems have inspired a renewed research interest in the study of formal approaches to the analysis and control of power electronics converters. Switched systems represent a useful framework for modeling these converters and the peculiarities of their operating conditions and control goals justify the specific classification of “switched electronic systems”. Indeed, idealized switched models of power converters introduce problems not commonly encountered when analyzing generic switched models or non-switched electrical networks. In that sense the analysis of switched electronic systems represents a source for new ideas and benchmarks for switched and hybrid systems generally. Dynamics and Control of Switched Electronic Systems draws on the expertise of an international group of expert contributors to give an overview of recent advances in the modeling, simulation and control of switched electronic systems. The reader is provided with a well-organized source of references and a mathematically-based report of the state of the art in analysis and design techniques for switched power converters. Intuitive language, realistic illustrative examples and numerical simulations help the reader to come to grips with the rigorous presentation of many promising directions of research such as: converter topologies and modulation techniques; continuous-time, discrete-time and hybrid models; modern control strategies for power converters; and challenges in numerical simulation. The guidance and information imparted in this text will be appreciated by engineers, and applied mathematicians working on system and circuit theory, control systems development, and electronic and energy conversion systems design.

This book is a comprehensive introduction to the vast and important field of control systems. The text introduces the theory of automatic control and its applications to the chemical process industries with emphasis on topics that are of use to the process control engineers and specialists. It also covers the advanced control strategies and its practical implementation with an excellent balance of theoretical concepts and engineering practice.

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), N- megen, The Netherlands (HSCC’99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory.

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004. The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current issues in hybrid systems such as tools for analysis and verification, control and optimization, modeling and engineering applications, and emerging topics in programming language support and implementation; a special focus is on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems.

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, CA, USA in March 2006. The 39 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 79 submissions. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors.