Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Karine AltisenYanhong LiuMatthieu MoyPublished in: CoRR (2010)
Keyphrases
- timed automata
- real time
- real time systems
- model checking
- reachability analysis
- theorem prover
- human machine interface
- high speed
- theorem proving
- first order logic
- user interface
- user friendly
- low cost
- building blocks
- video sequences
- human computer interface
- visual feedback
- direct manipulation
- fine granularity
- reinforcement learning
- database