Handbook of Hybrid Systems Control

Setting out core theory and reviewing a range of new methods, theoretical problems and applications, this handbook shows how hybrid dynamical systems can be modelled and understood. 60 expert authors involved in the recent research activities and industrial application studies provide practical insights on topics ranging from the theoretical investigations over computer-aided design to applications in energy management and the process industry. Structured into three parts, the book opens with a thorough introduction to hybrid systems theory, illustrating new dynamical phenomena through numerous examples. Part II then provides a survey of key tools and tool integration activities. Finally, Part III is dedicated to applications, implementation issues and system integration, considering different domains such as industrial control, automotive systems and digital networks. Three running examples are referred to throughout the book, together with numerous illustrations, helping both researchers and industry professionals to understand complex theory, recognise problems and find appropriate solutions.

Spis treści:
Preface
List of contributors
Notation
Part I. Theory
1. Introduction to hybrid systems W. P. M. H. Heemels, D. Lehmann, J. Lunze and B. De Schutter
2. Survey of modeling, analysis, and control of hybrid systems B. De Schutter, W. P. M. H. Heemels, J. Lunze and C. Prieur
3. Hybrid automata S. Kowalewski, M. Garavello, H. Guéguen, G. Herberich, R. Langerak, B. Piccoli, J. W. Polderman and C. Weise
4. Switched and piecewise affine systems J. Daafouz, M. D. Di Benedetto, V. D. Blondel, G. Ferrari-Trecate, L. Hetel, M. Johansson, A. L. Juloski, S. Paoletti, G. Pola, E. De Santis and R. Vidal
5. Further switched systems A. Bemporad, M. K. Çamlıbel, W. P. M. H. Heemels, A. J. van der Schaft, J. M. Schumacher and B. De Schutter
6. Hybrid systems, quantization and abstraction J. Lunze, A. Bicchi, T. Moor, L. Palopoli, B. Picasso, J. Raisch and A. Schild
7. Stochastic hybrid systems J. Lygeros and M. Prandini
Part II. Tools
8. Overview of tools development and open problems D. A. van Beek and S. Engell
9. Verification tools for linear hybrid automata G. Frehse
10. Tools for modeling, simulation, control, and verification of piecewiseaffine systems A. Bemporad, S. Di Cairano, G. Ferrari-Trecate, M. Kvasnica, M. Morari and S. Paoletti
11. Modeling, simulation, and optimization environments C. Sonntag
12. Interchange formats and tool integration D. A. van Beek, M. A. Reniers, J. E. Rooda and R. R. H. Schiffelers
Part III. Applications
13. Energy management M. Morari, A. G. Beccuti, S. Mariéthoz and G. Papafotiou
14. Industrial controls S. Engell, S. Lohmann, T. Moor, C. de Prada, J. Raisch, D. Sarabia and C. Sonntag
15. Automotive control L. Benvenuti, A. Balluchi, A. Bemporad, S. Di Cairano, B. Johansson, R. Johansson, A. Sangiovanni Vincentelli and P. Tunestål
16. Networked control M. D. Di Benedetto, A. Bicchi, A. DInnocenzo, K. H. Johansson, A. Robertsson, F. Santucci, U. Tiberi and A. Tzes
17. Solar air conditioning - a benchmark for hybrid systems control E. F. Camacho and D. Zambrano
References
Index.