Handbook of Hybrid Systems Control: Theory, Tools, Applications
Search in google:
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.
List of contributors viiPreface xiiiNotation xviPart I Theory1 Introduction to hybrid systems W. P. M. H. Heemels D. Lehmann J. Lunze B. De Schutter 32 Survey of modeling, analysis, and control of hybrid systems B. De Schutter W. P. M. H. Heemels J. Lunze C. Prieur 313 Hybrid automata S. Kowalewski M. Garavello H. Gu?guen G. Herberich R. Langerak B. Piccoli J. W. Polderman C. Weise 574 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 R. Vidal 875 Further switched systems A. Bemporad M. K. ?amlibel W. P. M. H. Heemels A. J. van der Schaft J. M. Schumacher B. De Schutter 1396 Hybrid systems: quantization and abstraction J. Lunze A. Bicchi T. Moor L. Palopoli B. Picasso J. Raisch A. Schild 1937 Stochastic hybrid systems J. Lygeros M. Prandini 249Part II Tools8 Overview of tools development and open problems D. A. van Beek S. Engell 2799 Verification tools for linear hybrid automata G. Frehse 28510 Tools for modeling, simulation, control, and verification of piecewise affine systems A. Bemporad S. Di Cairano G. Ferrari-Trecate M. Kvasnica M. Morari S. Paoletti 29711 Modeling, simulation, and optimization environments C. Sonntag 32512 Interchange formats and tool integration D. A. van Beek M. A. Reniers J. E. Rooda R. R. H. Schiffelers 361Part III Applications13 Energy management M. Morari A. G. Beccuti S. Mari?thoz G. Papafotiou 37714 Industrial controls S. Engell S. Lohmann T. Moor C. de Prada J. Raisch D. Sarabia C. Sonntag 40515 Automotive control L. Benvenuti A. Balluchi A. Bemporad S. Di Cairano B. Johansson R. Johansson A. Sangiovanni Vincentelli P. Tunest?l 43916 Networked control M. D. Di Benedetto A. Bicchi A. D'Innocenzo K. H. Johansson A. Robertsson F. Santucci U. Tiberi A. Tzes 47117 Solar air conditioning - a benchmark for hybrid systems control E. F. Camacho D. Zambrano 501References 511Index 553
