Optimal-Reachability and Control for Acyclic Weighted Timed Automata.

Salvatore La Torre Supratik Mukhopadhyay Aniello Murano

Published in: IFIP TCS (2002)

Keyphrases

timed automata
optimal control
control policy
optimal solution
np hard
model checking
control method
reachability analysis
dynamic programming
worst case
bayesian networks
control system
state space
theorem proving
weighted sum
transitive closure