A Toolbox for the Analysis of Discrete Event Dynamic Systems.
Peter BuchholzPeter KemperPublished in: CAV (1999)
Keyphrases
- dynamic systems
- discrete event
- linear time invariant
- complex systems
- qualitative reasoning
- discrete event simulation
- simulation model
- consistency based diagnosis
- multiple faults
- state variables
- crisis response
- mathematical modeling
- discrete event systems
- dynamical systems
- continuous variables
- data analysis
- ordinary differential equations
- state estimation
- particle filter
- data processing