Conference proceedings article
An assessment of the current status of algorithmic approaches to the verification of hybrid systems



Publication Details
Authors:
Silva, B.; Stursberg, O.; Krogh, B.; Engell, S.
Editor:
IEEE
Publication year:
2001
Pages range:
2867-2874
Book title:
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Volume number:
3
ISBN:
0-7803-7061-9

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


Authors/Editors

Last updated on 2019-25-07 at 17:38