A region-based approach for state estimation of timed automata under no event observation.
Chao GaoDimitri LefebvreCarla SeatzuZhiwu LiAlessandro GiuaPublished in: ETFA (2020)
Keyphrases
- state estimation
- timed automata
- model checking
- kalman filter
- reachability analysis
- particle filter
- kalman filtering
- visual tracking
- dynamic systems
- state space model
- theorem prover
- particle filtering
- theorem proving
- estimation problems
- real time systems
- first order logic
- temporal logic
- real time
- expert systems
- feature extraction