06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.
David M. NicolCorrado PriamiHanne Riis NielsonAdelinde M. UhrmacherPublished in: Simulation and Verification of Dynamic Systems (2006)
Keyphrases
- linear time invariant
- dynamic systems
- discrete event
- complex systems
- qualitative reasoning
- consistency based diagnosis
- dynamical systems
- state variables
- mathematical model
- simulation model
- qualitative models
- document collections
- mathematical models
- model based diagnosis
- particle filter
- machine learning
- model checking
- differential equations
- information extraction
- scheduling problem
- signature verification
- state space
- multi agent