A temporal logic approach to real time control
- 1 December 1985
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 2 references indexed in Scilit:
- A software architecture for distributed computer control systemsAutomatica, 1984
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981