Abstract
For specific classes of hybrid formalisms, powerful algorithms and cools for analysis and synthesis have been developed in the recent years. This chapter gives a brief overview of the functionality of tools for control design, verification, simulation, optimizattion, and model transformation. The tools are presented in more detail in the next chapters.
| Original language | English |
|---|---|
| Title of host publication | Handbook of hybrid systems control : theory, tools, applications |
| Editors | J. Lunze, F. Lamnabhi-Lagarrigue |
| Place of Publication | New York |
| Publisher | Cambridge University Press |
| Pages | 279-283 |
| ISBN (Print) | 978-0-52-176505-3 |
| Publication status | Published - 2009 |