Optimal paths in weighted timed automata

DOI10.1016/j.tcs.2003.10.038zbMath1068.68080OpenAlexW2089017767WikidataQ57582111 ScholiaQ57582111MaRDI QIDQ596026

Rajeev Alur, Salvatore La Torre, George J. Pappas

Publication date: 10 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.10.038

zbMATH Keywords

Hybrid systemsModel checkingOptimal reachabilityTimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Model measuring for discrete and hybrid systems ⋮ Automata-theoretic decision of timed games ⋮ Optimal controller synthesis for timed systems ⋮ Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets ⋮ Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems ⋮ Verification and control of partially observable probabilistic systems ⋮ Unnamed Item ⋮ Optimal Reachability in Divergent Weighted Timed Games ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ Concavely-Priced Timed Automata ⋮ Employing Costs in Multiagent Systems with Timed Migration and Timed Communication ⋮ Model checking for probabilistic timed automata ⋮ Decomposition of timed automata for solving scheduling problems ⋮ MSO logics for weighted timed automata ⋮ Quantitative analysis of weighted transition systems ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weighted Timed MSO Logics ⋮ Symbolic Approximation of Weighted Timed Games ⋮ Dynamics of reputation in mobile agents systems and weighted timed automata ⋮ Energy Games in Multiweighted Automata ⋮ Weighted automata ⋮ Keeping Secrets in Resource Aware Components ⋮ Parametric Analyses of Attack-fault Trees* ⋮ Cost Problems for Parametric Time Petri Nets* ⋮ Timed network games

Cites Work

• Minimum and maximum delay problems in real-time systems
• Controllers for reachability specifications for hybrid systems
• A theory of timed automata
• Decidable integration graphs.
• On the synthesis of strategies in infinite games
• On the synthesis of discrete controllers for timed systems
• Fibonacci heaps and their uses in improved network optimization algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Optimal paths in weighted timed automata