DocumentCode
3067044
Title
A temporal logic approach to real time control
Author
Ostroff, J.S. ; Wonham, W.M.
Author_Institution
University of Toronto, Ontario, Canada
fYear
1985
fDate
11-13 Dec. 1985
Firstpage
656
Lastpage
657
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1985 24th IEEE Conference on
Conference_Location
Fort Lauderdale, FL, USA
Type
conf
DOI
10.1109/CDC.1985.268574
Filename
4048374
Link To Document