Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems
 

Summary: Relating Average and Discounted Costs for Quantitative
Analysis of Timed Systems
Rajeev Alur
University of Pennsylvania, Philadelphia, USA
alur@cis.upenn.edu
Ashutosh Trivedi
University of Pennsylvania, Philadelphia, USA
ashut@cis.upenn.edu
ABSTRACT
Quantitative analysis and controller synthesis problems for reac-
tive real-time systems can be formalized as optimization problems
on timed automata, timed games, and their probabilistic extensions.
The limiting average cost and the discounted cost are two standard
criteria for such optimization problems. In theory of finite-state
probabilistic systems, a number of interesting results are available
relating the optimal values according to these two different perfor-
mance objectives. These results, however, do not directly apply to
timed systems due to the infinite state-space of clock valuations.
In this paper, we present some conditions under which the exis-
tence of the limit of optimal discounted cost objective implies the

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences