UPPAAL CORA
UPPAAL CORA is a branch of UPPAAL for Cost Optimal Reachability Anslysis developed by the UPPAAL team as part of the VHS and AMETIST projects. Whereas UPPAAL uses timed automata as its modelling language, UPPAAL CORA uses linearly priced timed automata (LPTA). Given an LPTA model, UPPAAL CORA finds the optimal paths to a state satisfying some goal conditions. Optimal here means the path with the lowest accumulated cost. UPPAAL CORA provides a number of extensions to the modelling language of UPPAAL, that allows the user to convey additional insight about the model to the tool, which in turn can improve the performance of UPPAAL CORA. In particular, it is possible to annotate the model with an estimate of the remaining cost for reaching a state satisfying the goal conditions. This can significantly reduce the time required for finding a good or an optimal solution.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
Sorted by year (- Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James: Model checking real-time systems (2018)
- Kumar, Rajesh; Ruijters, Enno; Stoelinga, Mariëlle: Quantitative attack tree analysis via priced timed automata (2015)
- Droste, Manfred; Quaas, Karin: A Kleene-Schützenberger theorem for weighted timed automata (2011)
- Larsen, Kim Guldstrand: Symbolic and compositional reachability for timed automata (2010)
- Mader, Angelika; Bohnenkamp, Henrik; Usenko, Yaroslav S.; Jansen, David N.; Hurink, Johann; Hermanns, Holger: Synthesis and stochastic assessment of cost-optimal schedules (2010) ioport
- Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice: Weighted o-minimal hybrid systems (2009)
- Rasmussen, J. I.; Larsen, K. G.; Subramani, K.: On using priced timed automata to achieve optimal scheduling (2006)
- Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I.: Priced timed automata: Algorithms and applications (2005)
- Ernits, Juhan: Memory arbiter synthesis and verification for a radar memory interface card (2005)
Further publications can be found at: http://people.cs.aau.dk/~adavid/cora/publications.html