Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
R. Alur, D. Dill: The Theory of Timed Automata. Theoretical Computer Science, 126, 1994: 183–235.
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.
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.
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.
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.
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.
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.
P. J. Ramadge and W. M. Wonham: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1987): 206–230.
R.S. Sreenivas and B.H. Krogh: On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems 1(1991): 209–236.
R.S. Sreenivas and B.H. Krogh: Petri Net Based Models for Condition/Event Systems. Proc. American Control Conf. 1991, Boston, USA.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalewski, S., Preu\ig, J. (1996). Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control. In: Margaria, T., Steffen, B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1996. Lecture Notes in Computer Science, vol 1055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61042-1_47
Download citation
DOI: https://doi.org/10.1007/3-540-61042-1_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61042-7
Online ISBN: 978-3-540-49874-2
eBook Packages: Springer Book Archive