Dynamic input/output automata, a formal model for dynamic systems.
Paul C. AttieNancy A. LynchPublished in: PODC (2001)
Keyphrases
- input output
- dynamic systems
- formal model
- complex systems
- qualitative reasoning
- discrete event
- consistency based diagnosis
- noise cancellation
- internal states
- dynamical systems
- fuzzy neural network
- security properties
- linear time invariant
- ordinary differential equations
- fuzzy model
- state variables
- state transition
- model based diagnosis
- fuzzy controller
- dynamic environments
- particle filter
- data envelopment analysis
- nonlinear functions
- formal models
- learning algorithm
- ibm zenterprise