BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems.
Tianhua XuHaifeng WangTangming YuanMengChu ZhouPublished in: IEEE Trans. Intell. Transp. Syst. (2016)
Keyphrases
- discrete event systems
- safety critical
- control system
- safety analysis
- petri net
- complex systems
- fault tolerant
- formal methods
- telecommunication networks
- embedded systems
- model based diagnosis
- agent architecture
- discrete event
- support systems
- temporal constraints
- adaptive systems
- dynamic systems
- real time
- reinforcement learning
- low cost
- multi agent systems
- artificial intelligence