Verification of infinite-state dynamic systems using approximate quotient transition systems.
Alongkrit ChutinanBruce H. KroghPublished in: IEEE Trans. Autom. Control. (2001)
Keyphrases
- dynamic systems
- transition systems
- model checking
- concurrent systems
- temporal logic
- model checker
- complex systems
- discrete event
- formal verification
- finite state
- dynamical systems
- consistency based diagnosis
- qualitative reasoning
- formal specification
- distributed systems
- state variables
- control flow
- particle filter
- formal methods
- model based diagnosis
- linear time invariant
- ordinary differential equations
- petri net
- optimal solution