Handbook of Hybrid Systems Control Theory, Tools, Applications

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. Sixty 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.

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. Çamlibel, 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. D'Innocenzo, 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.

Setting out core theory and reviewing new methods, theoretical problems and applications, this handbook shows how hybrid systems can be modelled and understood. Sixty expert authors involved in recent developments and industrial applications provide practical insights, whilst running examples and numerous illustrations help readers to recognise problems and find solutions.

Jan Lunze is Head of the Automatic Control Laboratory at Ruhr-Universität Bochum, where he teaches systems and control theory. His research interests are in hybrid and discrete-event systems, in fault diagnosis and in control theory of networked systems where he currently coordinates a Priority Programme of the German Science Foundation (Deutsche Forschungsgemeinschaft). He is the author or co-author of numerous technical papers and several monographs and textbooks.
Françoise Lamnabhi-Lagarrigue is Director of Research at the CNRS within the Signals and Systems Laboratory (L2S). She is an Associate Editor of the International Journal of Control, Scientific Manager of the HYCON Network of Excellence, and President of the European Embedded Control Institute (EECI). In 2008, she won the Michel Monpetit prize of the French Academy of Science.