Jan Lunze, Françoise Lamnabhi-Lagarrigue (Eds.)

Handbook of Hybrid Systems Control

Contents

Part I: Theory



1. Introduction to hybrid systems





2. Survey of modeling, analysis, and control of hybrid systems





3. Hybrid automata





4. Switched and piecewise affine systems





5. Further switched systems





6. Hybrid systems: quantization and abstraction





7. Stochastic hybrid systems




Part II: Tools



8. Overview of tools development and open problems





9. Verification tools for linear hybrid automata





10. Tools for modeling, simulation, control, and verification of piecewise affine systems





11. Modeling, simulation, and optimization environments





12. Interchange formats and tool integration




Part III: Applications



13. Energy management





14. Industrial controls





15. Automotive control





16. Networked control





17. Solar air conditioning - a benchmark for hybrid systems control





Appendices: References; Index



Preface

Table of contents

Sample chapter