Title :
A temporal logic approach to real time control
Author :
Ostroff, J.S. ; Wonham, W.M.
Author_Institution :
University of Toronto, Ontario, Canada
Abstract :
Discrete event systems in such areas as process control, flexible manufacturing systems and computer networks require real time distributed computer control to ensure an orderly flow of events. A temporal logic framework for the specification, analysis and verification of such control systems is discussed. Controllers are implemented in the Pascal based distributed language CONIC.
Keywords :
Computer aided manufacturing; Computer networks; Control systems; Discrete event systems; Distributed computing; Distributed control; Flexible manufacturing systems; Logic; Process control; Real time systems;
Conference_Titel :
Decision and Control, 1985 24th IEEE Conference on
Conference_Location :
Fort Lauderdale, FL, USA
DOI :
10.1109/CDC.1985.268574
