Formal modeling and analysis for interactive hybrid systems

Keyphrases

• Hybrid System 100%
• Formal Analysis 100%
• Formal Modeling 100%
• Divergence 50%
• Continuous-time Systems 50%
• Mental States 50%
• Human-automation Interaction 50%
• Airplane 50%
• Automated Analysis 50%
• Effective Strategies 50%
• Human Agents 50%
• Abstract Model 50%
• Interaction Problem 50%
• Discrete System 50%
• High-fidelity Simulation 50%
• Interactive Systems 50%
• Continuous Dynamical Systems 50%
• Reachable States 50%
• SMT Solver 50%
• Bounded Model Checking 50%
• Plausible Scenario 50%
• Automated Agents 50%
• Composed Systems 50%
• Discrete Automata 50%
• Airbus 50%
• Automation Surprise 50%

Computer Science

• Model Checking 100%
• formal modeling 100%
• Approximation (Algorithm) 50%
• Composed System 50%
• And-States 50%
• Automated Analysis 50%
• Automaton 50%
• Discrete Systems 50%
• Reachable State 50%
• Interactive System 50%
• Dynamical System 50%