Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
Antoine GirardGiordano PolaPaulo TabuadaPublished in: HSCC (2008)
Keyphrases
- complex systems
- physical systems
- probabilistic model
- computational models
- mathematical models
- data sets
- learning systems
- statistical models
- artificial intelligence
- accurate models
- computer systems
- statistical model
- uml models
- reactive systems
- biological systems
- bayesian framework
- experimental data
- intelligent systems
- prior knowledge
- multi agent systems