Verifying Untimed and Timed Aspects of the Experimental Batch Plant
References (26)
- et al.
A theory of timed automata
Theor. Computer Sci
(1994) - et al.
Symbolic model checking for real-time systems
Information and Computation
(1994) - Alur R, Courcoubetis C, Dill DL. Model checking for real-time systems. In: LICS’90 1990, pp...
- et al.
The benefits of relaxing punctuality
J ACM
(1996) - et al.
Controller synthesis for timed automata
- et al.
Temporal logic + timed automata: Expressiveness and decidability
- et al.
Model checking for extended timed temporal logics
- et al.
Synthesis of synchronization skeletons for branching time temporal logic
- et al.
Automatic verifica- tion of finite state concurrent systems using temporal logic specifications: A practical approach
- et al.
Modular hierarchical models of hybrid systems
Synthesis of supervisory controllers based on a novel representation of condition/event systems
HyTech: The cornell hybrid technologytool
Cited by (5)
Safe controllers design for industrial automation systems
2011, Computers and Industrial EngineeringCitation Excerpt :In this section, a benchmark example is used to illustrate the application of our approach. This plant is a modified version of the benchmark example for an evaporator system, presented by Kowalewski, Stursberg, and Bauer (2001) and Huuck, Lukoschus, and Lakhnech (2001). The plant (Fig. 5) consists of two tanks (tank 1 is heated and mixed), a condenser, level sensors and on–off valves (Vi).
A new plant modelling approach for formal verification purposes
2007, IFAC Proceedings Volumes (IFAC-PapersOnline)Formal reduction of interfaces to large-scale process control systems
2007, International Journal of Automation and ComputingSimulation and formal verification of real time systems : A case study
2007, ICINCO 2007 - 4th International Conference on Informatics in Control, Automation and Robotics, ProceedingsVerification of an evaporator system with UPPAAL
2005, Journal Europeen des Systemes Automatises
Copyright © 2001 European Control Association (EUCA). Published by Elsevier Ltd. All rights reserved.