On Markovian fragments of COCOLOG for logic control systems
- 24 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 2967-2972
- https://doi.org/10.1109/cdc.1992.371269
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Automated reasoning with function evaluation for COCOLOG with examplesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- COCOLOG: a conditional observer and controller logic for finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990