Synthesis of controllers for real-time discrete event systems
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 138-144
- https://doi.org/10.1109/cdc.1989.70091
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Synthesis of controllers for real-time discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formulation and control of real time discrete event processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Finitely recursive process models for discrete event systemsIEEE Transactions on Automatic Control, 1988
- State machines, temporal logic and control: A framework for discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982