Weighted Timed Automata: Model-Checking and Games

13 years 4 months ago

Download www.lsv.ens-cachan.fr

In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/priced timed automata, model-checking, games.

Patricia Bouyer

Real-time Traffic

ENTCS 2006 | Interesting Problems | Key Words | Paper |

claim paper

» Verification Performance Analysis and Controller Synthesis for RealTime Systems

» Model Checking Timed Automata with Priorities Using DBM Subtraction

» Using Model Checking for Analyzing Distributed Power Control Problems

» Infinite Runs in Weighted Timed Automata with Energy Constraints

» Weighted OMinimal Hybrid Systems Are More Decidable Than Weighted Timed Automata

» Improved undecidability results on weighted timed automata

» On the optimal reachability problem of weighted timed automata

» On Optimal Timed Strategies

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Patricia Bouyer

Comments (0)

Sciweavers

Weighted Timed Automata: Model-Checking and Games

ENTCS 2006 | Interesting Problems | Key Words | Paper |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers