Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata.
Ying ZhangAlan K. MackworthPublished in: Hybrid Systems (1995)
Keyphrases
- dynamic systems
- discrete event
- model checking
- timed automata
- formal verification
- colored petri nets
- finite state machines
- formal specification
- complex systems
- consistency based diagnosis
- qualitative reasoning
- petri net
- formal methods
- dynamical systems
- asynchronous circuits
- finite state
- state variables
- verification method
- model based diagnosis
- temporal logic
- state estimation
- qualitative models
- cellular automata
- particle filter
- finite automata
- concurrent systems
- protocol specification
- ordinary differential equations
- formal languages
- specification language
- dynamic programming
- machine learning