An assessment of the current status of algorithmic approaches to the verification of hybrid systems
B.I. Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2003
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.