Handbook of Hybrid Systems Control: Theory, Tools, Applications

ISBN-13: 9780521765053 / Angielski / Twarda / 2009 / 565 str.

Jan Lunze; Francoise Lamnabhi-Lagarrigue

Opis

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