Foundations and Trends® in Systems and Control > Vol 1 > Issue 1

Hybrid Dynamical Systems: An Introduction to Control and Verification

Hai Lin, University of Notre Dame, USA, hlin1@nd.edu Panos J. Antsaklis, University of Notre Dame, USA, antsaklis.1@nd.edu
 
Suggested Citation
Hai Lin and Panos J. Antsaklis (2014), "Hybrid Dynamical Systems: An Introduction to Control and Verification", Foundations and TrendsĀ® in Systems and Control: Vol. 1: No. 1, pp 1-172. http://dx.doi.org/10.1561/2600000001

Published: 31 Mar 2014
© 2014 H. Lin and P.J. Antsaklis
 
Subjects
Control of Hybrid and Discrete Event Systems,  Management control,  High technology,  Automotive Industries,  Health Care,  Industrial Equipment,  Supply Chain Management,  Computational problems,  Industrial Organization
 

Free Preview:

Article Help

Share

Download Free Copy
In this article:
1. Introduction
2. Modeling of Hybrid Systems
3. Stability, Stabilization and Optimal Control
4. Verification of Hybrid Systems
5. Hybrid Supervisory Control
6. Concluding Remarks
References

Abstract

Hybrid dynamical systems are a class of complex systems that involve interacting discrete-event and continuous-variable dynamics. They are important in applications in embedded systems, cyber-physical systems, robotics, manufacturing systems, traffic management, bio-molecular networks, and have recently been at the center of intense research activity in the control theory, computer-aided verification, and artificial intelligence communities. This paper provides a tutorial introduction to this multidisciplinary research area. A number of fundamental topics, such as modeling, abstraction, verification, supervisory control, stability analysis, stabilization, and optimal control of hybrid systems are introduced and discussed. Additionally, more advanced topics are briefly discussed at the end of each chapter with references given for further reading.

DOI:10.1561/2600000001
ISBN: 978-1-60198-784-6
188 pp. $99.00
Buy book
 
ISBN: 978-1-60198-785-3
188 pp. $120.00
Buy E-book
Table of contents:
1. Introduction
2. Modeling of Hybrid Systems
3. Stability, Stabilization and Optimal Control
4. Verification of Hybrid Systems
5. Hybrid Supervisory Control
6. Concluding Remarks
References

Hybrid Dynamical Systems

The methods for hybrid systems are distributed across a wide spectrum, ranging from methods known in the discrete (cyber-)domain at one end, to traditional approaches for the continuous physical systems at the other. Rooted at opposite ends, both computer scientists and control theorists have made significant contributions to the field of hybrid systems by extending traditional methods from the traditional discrete or continuous domain to deal with hybrid systems. However, in general, there has been little work on integrating methods from these two domains. This is possibly because the formal methods pursued in computer science traditionally lie in the realm of discrete mathematics, while control theory approaches lie mainly in the realm of continuous mathematics.

A noticeable trend in the recent hybrid system literature emphasizes the synthesis of hybrid controllers for continuous or hybrid dynamical systems to satisfy complicated temporal logic specifications. This is known as symbolic control or hybrid supervisory control, which can be seen as a crosstalk between these two schools of thoughts.

Hybrid Dynamical Systems balances the emphasis on methods from both computer science and control theory, and gives the readers a complete picture of the whole field of hybrid dynamical systems. As well as providing a concise overview for a researcher in the field, the tutorial style makes it suitable for use in a course and by students.

 
SYS-001