Controller synthesis for dynamic hierarchical real-time plants using timed automata

Keyphrases

• Automata 100%
• Controller Synthesis 100%
• Timed Automata 100%
• Timed Games 60%
• Reduction Method 60%
• State-space Reduction 60%
• State Space Explosion 40%
• Plant Processes 40%
• Safety Properties 20%
• Reconfiguration 20%
• Automata Model 20%
• Continuous-time 20%
• Reusable Design 20%
• Compositional Reasoning 20%
• Dynamic Networks 20%
• Compositional Modeling 20%
• Model Dynamics 20%
• Reachability Properties 20%
• Industrial Systems 20%
• Generation Method 20%
• Fault Tolerance 20%
• Algorithmic Abstraction 20%
• Synthesis Time 20%
• Task Level 20%

Computer Science

• Automaton 100%
• Timed Automaton 100%
• Controller Synthesis 100%
• State Space 83%
• Case Study 66%
• Input/Output 33%
• Reconfiguration 16%
• Theoretical Framework 16%
• Continuous Time 16%
• Dynamic Network 16%
• Industrial System 16%
• Essential Feature 16%
• fault-tolerance 16%