BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
2016
Article (Journal)
English
BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
Online Contents | 2016
|Supervisory Control of Discrete-Event Systems
Springer Verlag | 2014
|Microcomputer controllers introduce modern technology in fail-safe signalling
Tema Archive | 1987
|