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

Author

Silva, B. Izaias ; Stursberg, Olaf ; Krogh, Bruce H. ; Engell, Sebastian

Author_Institution

Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA

Volume

3

fYear

2001

fDate

2001

Firstpage

2867

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

Keywords

control system CAD; embedded systems; formal verification; process control; software tools; CheckMate; HyTech; Uppaal; Verdict; control system CAD; embedded control systems; formal verification; hybrid systems; model checking; process control; Communication industry; Computer industry; Control system synthesis; Control systems; Electrical equipment industry; Formal verification; Hardware; Inductors; Industrial control; Process control;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2001. Proceedings of the 40th IEEE Conference on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-7061-9

Type

conf

DOI

10.1109/.2001.980711

Filename

980711