Specification and Verification of Constraint-Based Dynamic Systems.
Ying ZhangAlan K. MackworthPublished in: PPCP (1994)
Keyphrases
- dynamic systems
- formal verification
- complex systems
- model checking
- asynchronous circuits
- formal methods
- qualitative reasoning
- discrete event
- dynamical systems
- consistency based diagnosis
- protocol specification
- formal specification
- qualitative models
- linear time invariant
- state variables
- state estimation
- colored petri nets
- real time
- model based diagnosis
- petri net
- continuous variables
- ordinary differential equations
- specification language
- constraint satisfaction
- differential equations
- dynamic environments
- cooperative