List of contributors page ..................................... vii
Preface ...................................................... xiii
Notation ...................................................... xvi
Part I Theory
1 Introduction to hybrid systems ............................... 3
W.P.M.H. Heemels, D. Lehmann, J. Lunze, and B. De Schutter
2 Survey of modeling, analysis, and control of hybrid
systems ..................................................... 31
B. De Schutter, W.P.M.H. Heemels, J. Lunze, and C. Prieur
3 Hybrid automata ............................................. 57
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 ....................... 87
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 ................................... 139
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 ............... 193
J. Lunze, A. Bicchi, T. Moor, L. Palopoli, B. Picasso,
J. Raisch, and A. Schild
7 Stochastic hybrid systems
J. Lygeros and M. Prandini ................................. 249
Part II Tools
8 Overview of tools development and open problems ............ 279
D.A. van Beek and S. Engell
9 Verification tools for linear hybrid automata .............. 285
G. Frehse
10 Tools for modeling, simulation, control, and verification
of piecewise affine systems ................................ 297
A. Bemporad, S. Di Cairano, G. Ferrari-Trecate,
M. Kvasnica, M. Morari, and S. Paoletti
11 Modeling, simulation, and optimization environments ........ 325
C. Sonntag
12 Interchange formats and tool integration ................... 361
D.A. van Beek, M.A. Reniers, J.E. Rooda, and
R.R.H. Schiffelers
Part III Applications
13 Energy management .......................................... 377
M. Morari, A. G. Beccuti, S. Mariéthoz, and G. Papafotiou
14 Industrial controls ........................................ 405
S. Engell, S. Lohmann, T. Moor, C. de Prada, J. Raisch,
D. Sarabia, and C. Sonntag
15 Automotive control ......................................... 439
L. Benvenuti, A. Balluchi, A. Bemporad, S. Di Cairano,
B. Johansson, R. Johansson, A. Sangiovanni Vincentelli,
and P. Tunestål
16 Networked control .......................................... 471
M.D. Di Benedetto, A. Bicchi, A. D'Innocenzo,
К.Н. Johansson, A. Robertsson, F. Santucci, U. Tiberi,
and A. Tzes
17 Solar air conditioning - a benchmark for hybrid systems
control .................................................... 501
E.F. Camacho and D. Zambrano
References .................................................... 511
Index ......................................................... 553
|