An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.
Goran FrehsePublished in: SyDe Summer School (2015)
Keyphrases
- numerical simulations
- reachability analysis
- hybrid automata
- markov decision processes
- model checking
- finite state automata
- theoretical analysis
- timed automata
- state space
- incremental algorithms
- temperature field
- lattice boltzmann
- heat transfer
- computational fluid dynamics
- finite element model
- knowledge representation
- real time
- finite element method
- numerical calculation
- image enhancement