Robust synthesis for real-time systems

Keyphrases

• Specification Theory 100%
• Real-time Systems 100%
• Robust Synthesis 100%
• Time Specifications 100%
• Physical Systems 50%
• Design Process 50%
• Robust Implementation 50%
• Abstract Specification 50%
• Limited Precision 50%
• Parameter Robustness 50%
• Robust Strategy 50%
• Parallel Composition 50%
• Small Perturbation 50%
• Implementation Problems 50%
• Implementation Model 50%
• Timed Games 50%

Computer Science

• Real Time Systems 100%
• Physical System 50%
• Parallel Composition 50%
• Implementation Model 50%
• Limited Precision 50%