Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Karine AltisenYanhong LiuMatthieu MoyPublished in: QAPL (2010)
Keyphrases
- timed automata
- real time
- real time systems
- model checking
- reachability analysis
- theorem prover
- low cost
- theorem proving
- first order logic
- user interface
- control system
- human machine interface
- high speed
- temporal logic
- database
- neural network
- human computer interface
- artificial intelligence
- data acquisition
- building blocks
- vision system
- distributed systems
- query language
- mobile robot