2009
DOI: 10.1007/978-3-642-04368-0_13
|View full text |Cite
|
Sign up to set email alerts
|

Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata

Abstract: Abstract. We investigate the optimum reachability problem for MultiPriced Timed Automata (MPTA) that admit both positive and negative costs on edges and locations, thus bridging the gap between the results of Bouyer et al. (2007) and of Larsen and Rasmussen (2008). Our contributions are the following: (1) We show that even the location reachability problem is undecidable for MPTA equipped with both positive and negative costs, provided the costs are subject to a bounded budget, in the sense that paths of the u… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3

Citation Types

0
3
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
2
1

Relationship

2
1

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 20 publications
0
3
0
Order By: Relevance
“…Multi Priced Timed Automata (MPTA) [5,7,8,10,17,18,19] extend priced timed automata [2, 3,4,6,16] with multiple observers that capture the accumulation of costs and rewards along a computation. This extension allows to model multi-objective optimization problems beyond the scope of timed automata [1].…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…Multi Priced Timed Automata (MPTA) [5,7,8,10,17,18,19] extend priced timed automata [2, 3,4,6,16] with multiple observers that capture the accumulation of costs and rewards along a computation. This extension allows to model multi-objective optimization problems beyond the scope of timed automata [1].…”
Section: Introductionmentioning
confidence: 99%
“…This has not been addressed in prior work on Pareto analysis of MPTA [17], which considers only costs or only rewards. Other works on MPTA either do not address Pareto analysis [5,8,10,18,19], or have only discrete costs updated on edges [22], or are confined to a single clock [7].…”
Section: Introductionmentioning
confidence: 99%
“…Multi Priced Timed Automata (MPTA) [5,7,8,10,17,18,19] extend priced timed automata [2,3,4,6,16] with multiple observers that capture the accumulation of costs and rewards along a computation. This extension allows to model multi-objective optimization problems beyond the scope of timed automata [1].…”
Section: Introductionmentioning
confidence: 99%