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.
|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|
|Publication status||Published - 2009|