By Topic

An environment for model-checking of logic control systems with hybrid dynamics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Kowalewski, S. ; Dept. of Chem. Eng., Dortmund Univ., Germany ; Bauer, N. ; Preussig, J. ; Stursberg, O.
more authors

This paper presents the modeling environment VERDICT which intends to make the method of formal verification applicable to logic controlled chemical plants. The tool offers textual and graphical editors to set up models of plant and controller. The plant model can be specified as hybrid dynamical or (timed) discrete systems, which are then translated automatically into models that are verifiable with existing model-checking tools. Furthermore, VERDICT allows one to include the controller model by specifying it in Instruction List (IL) code directly. The paper illustrates the different features of the framework, the underlying modeling paradigm, and some aspects of the analysis using a simple technical example

Published in:

Computer Aided Control System Design, 1999. Proceedings of the 1999 IEEE International Symposium on

Date of Conference: