The stochastic semantics and verification for periodic control systems

Keyphrases

• Non-deterministic Semantics 100%
• Periodic Control Systems 100%
• Mode Diagrams 75%
• Logic-based 50%
• Interval Temporal Logic 50%
• Periodic Tasks 25%
• Aerospace 25%
• Confidence Level 25%
• Markov Chain 25%
• Specification Language 25%
• Statistical Model Checking 25%
• External Signal 25%
• Modeling Notation 25%
• Model Checking Techniques 25%

Computer Science

• Temporal Logic 100%
• Model Checking 50%
• Statistical Model 50%
• Markov Chain 50%
• Specification Language 50%
• External Signal 50%
• Modeling Notation 50%
• Checking Technique 50%