Optimal controller synthesis for timed systems
From MaRDI portal
Publication:6135744
DOI10.46298/lmcs-19(1:20)2023arXiv2104.12577MaRDI QIDQ6135744
Pierre-Alain Reynier, Benjamin Monmege, Damien Busatto-Gaston
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.12577
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
- Optimal paths in weighted timed automata
- Improved undecidability results on weighted timed automata
- On short paths interdiction problems: Total and node-wise limited interdiction
- The method of forced enumeration for nondeterministic automata
- Number of quantifiers is better than number of tape cells
- A theory of timed automata
- Uppaal in a nutshell
- Dynamical properties of timed automata
- On the optimal reachability problem of weighted timed automata
- Optimal infinite scheduling for multi-priced timed automata
- Relationships between nondeterministic and deterministic tape complexities
- A Faster Algorithm for Solving One-Clock Priced Timed Games
- Energy and mean-payoff timed games
- Optimal Reachability in Divergent Weighted Timed Games
- Adding Negative Prices to Priced Timed Games
- Nondeterministic Space is Closed under Complementation
- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata
- Symbolic Approximation of Weighted Timed Games
- On the Value Problem in Weighted Timed Games.
- Reachability-Time Games on Timed Automata
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Automata, Languages and Programming
- Solving Sequential Conditions by Finite-State Strategies
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Optimal controller synthesis for timed systems