Handbook of Hybrid Systems Control
Theory, Tools, Applications

Sets out core theory and reviews new methods and applications to show how hybrid systems can be modelled and understood.

Jan Lunze (Edited by), Françoise Lamnabhi-Lagarrigue (Edited by)

9780521765053, Cambridge University Press

Hardback, published 15 October 2009

582 pages, 1 b/w illus. 18 tables
25.5 x 18 x 3.1 cm, 1.28 kg

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

Subject Areas: Computer networking & communications [UT], Communications engineering / telecommunications [TJK], Electronics engineering [TJF]