Handbook of Hybrid Systems Control: Theory, Tools, Applications

by Jan Lunze, Françoise Lamnabhi-Lagarrigue

Overview

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.

Product Details

ISBN-13:	9780521765053
Publisher:	Cambridge University Press
Publication date:	10/15/2009
Pages:	582
Product dimensions:	6.90(w) x 9.80(h) x 1.20(d)

About the Author

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.

Table of Contents

List of contributors vii

Preface xiii

Notation xvi

Part I Theory

1 Introduction to hybrid systems W. P. M. H. Heemels D. Lehmann J. Lunze B. De Schutter 3

2 Survey of modeling, analysis, and control of hybrid systems B. De Schutter W. P. M. H. Heemels J. Lunze C. Prieur 31

3 Hybrid automata S. Kowalewski M. Garavello H. Gu?guen G. Herberich R. Langerak B. Piccoli J. W. Polderman C. Weise 57

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 R. Vidal 87

5 Further switched systems A. Bemporad M. K. ?amlibel W. P. M. H. Heemels A. J. van der Schaft J. M. Schumacher B. De Schutter 139

6 Hybrid systems: quantization and abstraction J. Lunze A. Bicchi T. Moor L. Palopoli B. Picasso J. Raisch A. Schild 193

7 Stochastic hybrid systems J. Lygeros M. Prandini 249

Part II Tools

8 Overview of tools development and open problems D. A. van Beek S. Engell 279

9 Verification tools for linear hybrid automata G. Frehse 285

10 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 297

11 Modeling, simulation, and optimization environments C. Sonntag 325

12 Interchange formats and tool integration D. A. van Beek M. A. Reniers J. E. Rooda R. R. H. Schiffelers 361

Part III Applications

13 Energy management M. Morari A. G. Beccuti S. Mari?thoz G. Papafotiou 377

14 Industrial controls S. Engell S. Lohmann T. Moor C. de Prada J. Raisch D. Sarabia C. Sonntag 405

15 Automotive control L. Benvenuti A. Balluchi A. Bemporad S. Di Cairano B. Johansson R. Johansson A. Sangiovanni Vincentelli P. Tunest?l 439

16 Networked control M. D. Di Benedetto A. Bicchi A. D'Innocenzo K. H. Johansson A. Robertsson F. Santucci U. Tiberi A. Tzes 471

17 Solar air conditioning - a benchmark for hybrid systems control E. F. Camacho D. Zambrano 501

References 511

Index 553