Energy and mean-payoff timed games
From MaRDI portal
Publication:2986981
DOI10.1145/2562059.2562116zbMath1362.91003OpenAlexW1978019075MaRDI QIDQ2986981
Franck Cassez, Romain Brenguier, Jean-François Raskin
Publication date: 16 May 2017
Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://dipot.ulb.ac.be/dspace/bitstream/2013/188940/1/mainFull.pdf
Symbolic computation and algebraic computation (68W30) Nonnumerical algorithms (68W05) 2-person games (91A05) Formal languages and automata (68Q45)
Related Items (7)
Optimal controller synthesis for timed systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Optimal Reachability in Divergent Weighted Timed Games ⋮ Unnamed Item ⋮ Symbolic Approximation of Weighted Timed Games ⋮ Timed network games
Uses Software
Cites Work
- Minkowski terminal cost functions for MPC
- A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
- Constrained model predictive control: Stability and optimality
- On infinity norms as Lyapunov functions for piecewise affine systems
- Linear systems with state and control constraints: the theory and application of maximal output admissible sets
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
- Stability analysis of piecewise discrete-time linear systems
- Convex Analysis
- Set-theoretic methods in control
This page was built for publication: Energy and mean-payoff timed games