The Library
Concavely-Priced Timed Automata (Extended Abstract)
Tools
Jurdzinski, Marcin and Trivedi, Ashutosh (2008) Concavely-Priced Timed Automata (Extended Abstract). In: 6th International Conference on Formal Modeling and Analysis of Timed Systems, St Malo, France, Sep 15-17, 2008. Published in: Lecture Notes in Computer Science, Vol.5215 pp. 48-62. ISBN 978-3-540-85777-8. doi:10.1007/978-3-540-85778-5 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-540-85778-5
Abstract
Concavely-priced timed automata, a generalization of linearly-priced timed automata, are introduced. Computing the minimum value of a number of cost functions-including reachability price, discounted price, average time, average price, price-per-time average, and price-per-reward average-is considered in a uniform fashion for concavely-priced timed automata. All the corresponding decision problems are shown to be PSPACE-complete. This paper generalises the recent work of Bouyer et al. on deciding the minimum reachability price and the minimum ratio-price for linearly-priced timed automata.
A new type of a region graph-the boundary region graph-is defined, which generalizes the corner-point abstraction of Bouyer et al. A broad class of cost functions-concave-regular cost functions-is introduced, and the boundary region graph is shown to be a correct abstraction for deciding the minimum value of concave-regular cost functions for concavely-priced timed automata.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | Lecture Notes in Computer Science | ||||
Publisher: | Springer | ||||
ISBN: | 978-3-540-85777-8 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Cassez, F and Jard, C | ||||
Official Date: | 2008 | ||||
Dates: |
|
||||
Volume: | Vol.5215 | ||||
Number of Pages: | 15 | ||||
Page Range: | pp. 48-62 | ||||
DOI: | 10.1007/978-3-540-85778-5 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Title of Event: | 6th International Conference on Formal Modeling and Analysis of Timed Systems | ||||
Type of Event: | Conference | ||||
Location of Event: | St Malo, France | ||||
Date(s) of Event: | Sep 15-17, 2008 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |