BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems

Keyphrases

• Supervisory Controller 100%
• Discrete Event Systems 100%
• Safety-critical 100%
• Fail-safe 100%
• Hardware Complexity 50%
• Control Problem 50%
• Synthesis Methods 50%
• System Failure 50%
• Event-based Systems 50%
• Harsh Environment 50%
• Supervisor Synthesis 50%
• Safety-critical Systems 50%
• Supervisory Control 50%
• Uncontrollable Transition 50%
• Time Efficiency 50%
• Software Environment 50%
• Space Efficiency 50%
• Safe Mode 50%
• Uncontrollable Events 50%
• Abnormal Events 50%
• High-speed Railway Station 50%
• Binary Decision Diagram 50%
• Catastrophic Consequences 50%

Engineering

• Discrete Event Simulation 100%
• Supervisory Controller 100%
• Synthesis Method 50%
• Illustrates 50%
• Supervisory Control 50%
• Critical System 50%
• Symbolics 50%
• Railway 50%
• Catastrophic Consequence 50%

Computer Science

• discrete-event system 100%
• Case Study 50%
• Safety Critical Systems 50%
• Harsh Environment 50%
• Software Environment 50%
• binary decision diagram 50%
• Uncontrollable Event 50%