Energy and mean-payoff timed games

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

zbMATH Keywords

synthesistimed gamesmean-payoff games

Mathematics Subject Classification ID

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

• CPLEX
• HyTech
• YALMIP
• MPT

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