Tracking smooth trajectories in linear hybrid systems

DOI10.1016/j.ic.2017.10.004zbMath1381.93019OpenAlexW2766733367MaRDI QIDQ1680510

Massimo Benerecetti, Marco Faella

Publication date: 16 November 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2017.10.004

zbMATH Keywords

reachabilityhybrid automatacontroller synthesis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Linear systems in control theory (93C05) Attainable sets, reachability (93B03)

Uses Software

• PPL
• SpaceEx

Cites Work

• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Not necessarily closed convex polyhedra and the double description method
• Reachability games for linear hybrid systems
• Tracking differentiable trajectories across polyhedra boundaries
• Algorithmic analysis of nonlinear hybrid systems
• Controller synthesis for hybrid systems with a lower bound on event separation
• Unnamed Item
• Unnamed Item

This page was built for publication: Tracking smooth trajectories in linear hybrid systems