Beitrag in einem Tagungsband
An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems
Details zur Publikation
Autor(inn)en: | Silva, B.; Stursberg, O.; Krogh, B.; Engell, S. |
Herausgeber: | IEEE |
Publikationsjahr: | 2001 |
Seitenbereich: | 2867-2874 |
Buchtitel: | Decision and Control, 2001. Proceedings of the 40th IEEE Conference on |
Jahrgang/Band : | 3 |
ISBN: | 0-7803-7061-9 |
DOI-Link der Erstveröffentlichung: |
Zusammenfassung, Abstract
This paper reviews the current status of implemented verification techniques for hybrid systems. We focus on tools that perform model checking for hybrid systems with varying levels of complexity. Features of the tools are described using a batch reactor example to illustrate what is required to develop an appropriate model for each tool. The concluding section suggests directions for future research and tool development based on the needs of industry for tools to perform verification and validation of designs for embedded control systems
This paper reviews the current status of implemented verification techniques for hybrid systems. We focus on tools that perform model checking for hybrid systems with varying levels of complexity. Features of the tools are described using a batch reactor example to illustrate what is required to develop an appropriate model for each tool. The concluding section suggests directions for future research and tool development based on the needs of industry for tools to perform verification and validation of designs for embedded control systems
