Optimal paths in weighted timed automata
From MaRDI portal
Publication:596026
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
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