A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.
Laura CarnevaliJohnny GiuntiniEnrico VicarioPublished in: VALUETOOLS (2011)
Keyphrases
- quantitative analysis
- real time systems
- qualitative analysis
- real time
- distributed systems
- timing constraints
- qualitative and quantitative analysis
- scheduling problem
- qualitative evaluation
- real time database systems
- real time embedded
- mission critical
- decision making
- situation calculus
- reinforcement learning
- temporal databases
- temporal constraints
- temporal reasoning
- temporal information
- data model
- artificial neural networks