Guiding and Cost-Optimality in U PPAAL

  title={Guiding and Cost-Optimality in U PPAAL},
  author={Gerd Behrmann and Ansgar Fehnker and Thomas Hune and Kim G. Larsen and Paul Pettersson and Judi Romijn},
In this paper we present an algorithm for efficiently computing the minimum cost of reaching a goal state in the model of Uniformly Priced Timed Automata (UPTA). This model can be seen as a submodel of the recently suggested model of linearly priced timed automata, which extends timed automata with prices on both locations and transitions. The presente d algorithm is based on a symbolic semantics of UTPA, and an efficient representation and operations based on differe nc bound matrices. In… CONTINUE READING


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

Analysis of a biphase mark protocol with Uppaal

  • F. Vaandrager
  • To appear.
  • 2000
Highly Influential
3 Excerpts

Minimumtime reachability for timed automata

  • P. Niebert, S. Tripakis, S. Yovine
  • InEEE Mediteranean Control Conference
  • 2000

Results on scheduling the sidmar steel plant using constraint programming

  • M. Stobbe
  • Internal report.
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…