Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control

  • Stefan Kowalewski
  • Jörg Preu\ig
Regular Sessions Session 6: Models and Methods
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1055)


This paper describes the use of timed Condition/Event (C/E) systems, a real-time extension of the C/E system framework introduced by Sreenivas and Krogh, for building models of chemical plants in a modular fashion and as a basis for the model-based analysis of their discrete control. The approach is illustrated by applying it to the safety control logic of a laboratory batch process.


Distance Matrix State Graph Reachability Analysis Modular Modeling Clock Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    R. Alur, D. Dill: The Theory of Timed Automata. Theoretical Computer Science, 126, 1994: 183–235.Google Scholar
  2. [2]
    V. D. Dimitriadis, N. Shah und C. C. Pantelides: Modeling and Safety Verification of Discrete/Continuous Processing Systems Using Discrete Time Domain Models. Proceedings Workshop Analysis and Design of Event-Driven Operations in Process Systems, Imperial College, London, 10–11. April 1995.Google Scholar
  3. [3]
    S. Kowalewski, S. Engell, M. Fritz, R. Gesthuisen, G. Regner, M. Stobbe: Modular discrete modeling of batch processes by means of condition/event systems. Workshop Analysis and Design of Event-Driven Operations in Process Systems, Imperial College, London, 10–11. April 1995.Google Scholar
  4. [4]
    S. Kowalewski, R. Gesthuisen and V. Romann: Model-based verification of batch process control software. Proc. IEEE Conf. on Systems, Man, and Cybernetics, San Antonio, 331–336, 1994.Google Scholar
  5. [5]
    B. H. Krogh: Condition/Event Signal Interfaces for Block Diagram Modeling and Analysis of Hybrid Systems. Proc. 8th Int. Symp. on Intell. Cont. Sys., June 1993.Google Scholar
  6. [6]
    I. Moon, G. J. Powers, J. R. Burch und E. M. Clarke: Automatic Verification of Sequential Control Systems Using Temporal Logic. AIChE Journal 38, 1992.Google Scholar
  7. [7]
    G. J. Powers und S. T. Probst: Safety and Operability Analysis of Chemical Process Designs Using Symbolic Model Verification. AIChE Annual Meeting, San Francisco, USA, 1994.Google Scholar
  8. [8]
    P. J. Ramadge and W. M. Wonham: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1987): 206–230.Google Scholar
  9. [9]
    R.S. Sreenivas and B.H. Krogh: On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems 1(1991): 209–236.Google Scholar
  10. [10]
    R.S. Sreenivas and B.H. Krogh: Petri Net Based Models for Condition/Event Systems. Proc. American Control Conf. 1991, Boston, USA.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Stefan Kowalewski
    • 1
  • Jörg Preu\ig
    • 1
  1. 1.Lehrstuhl für Anlagensteuerungstechnik (Process Control Group) Fachbereich Chemietechnik (Chemical Engineering Dept.)UniversitÄt DortmundDortmundGermany

Personalised recommendations