Optimal Conditional Reachability for Multi-priced Timed Automata

  title={Optimal Conditional Reachability for Multi-priced Timed Automata},
  author={Kim G. Larsen and Jacob Illum Rasmussen},
In this paper, we prove decidability of the optimal conditional reachability problem for multi-priced timed automata, an extension of timed automata with multiple cost variables evolving according to given rates for each location. More precisely, we consider the problem of determining the minimal cost of reaching a given target state, with respect to some primary cost variable, while respecting upper bound constraints on the remaining (secondary) cost variables. Decidability is proven by… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 13 references

Henzinger , and Pei - Hsin Ho . Hybrid automata : An algorithmic approach to the specification and verification of hybrid systems

  • Costas Courcoubetis
  • Proceedings of the 15 th Annual IEEE Symposium on…
  • 2000

Similar Papers

Loading similar papers…