Representing hybrid automata by action language modulo theories

Mathematics

• Hybrid Automata 100%
• Modulo 56%
• Satisfiability 55%
• Language 49%
• Ordinary differential equation 13%
• Answer Set Programming 12%
• Answer Sets 11%
• Transition Systems 10%
• Hybrid Systems 9%
• Invariant 9%
• Prototype 9%
• Dynamic Systems 8%
• Notation 8%
• First-order 5%
• Computing 5%
• Relationships 5%
• Class 2%

Engineering & Materials Science

• Ordinary differential equations 72%
• Programming theory 52%
• Dynamical systems 27%