A Model for Industrial Real-Time Systems

Keyphrases

• Automata 100%
• Real-time Systems 100%
• Reduction Method 100%
• State-space Reduction 100%
• Safety Properties 50%
• Formal Methods 50%
• Automata Model 50%
• State Space Explosion 50%
• Timed Games 50%
• Continuous-time 50%
• Reusable Design 50%
• Time-critical Systems 50%
• Control Process 50%
• Compositional Reasoning 50%
• Dynamic Networks 50%
• Compositional Modeling 50%
• Model Dynamics 50%
• Reachability Properties 50%
• Industrial Systems 50%

Computer Science

• Automaton 100%
• State Space 100%
• Real Time Systems 100%
• Continuous Time 33%
• Control Process 33%
• Dynamic Network 33%
• Critical System 33%
• Industrial System 33%
• Essential Feature 33%