Event scheduling of timed automata using Dioid Algebra.
Sobhi BaniardalaniJ. AskariAli Akbar AfzalianPublished in: ICCA (2010)
Keyphrases
- timed automata
- model checking
- reachability analysis
- scheduling problem
- event detection
- theorem prover
- scheduling algorithm
- real time database systems
- theorem proving
- data model
- boolean algebra
- round robin
- real time systems
- resource allocation
- first order logic
- query language
- resource constraints
- relational algebra
- dynamic scheduling
- event recognition
- news articles
- events occurring
- real numbers
- flexible manufacturing systems
- preventive maintenance
- algebraic structure
- database