Dynamic Input/Output Automata: A Formal Model for Dynamic Systems.
Paul C. AttieNancy A. LynchPublished in: CONCUR (2001)
Keyphrases
- optimal solution
- input output
- dynamic systems
- formal model
- complex systems
- qualitative reasoning
- consistency based diagnosis
- dynamical systems
- discrete event
- search space
- linear time invariant
- internal states
- fuzzy neural network
- state variables
- formal models
- data envelopment analysis
- security properties
- fuzzy model
- single phase
- noise cancellation
- dynamic environments
- continuous variables
- model based diagnosis