Tracking smooth trajectories in linear hybrid systems

DOI10.1016/J.IC.2017.10.004MaRDI QIDQ1680510zbMATH OpenOpenAlexFDO

Authors 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

controller synthesishybrid automatareachability

Mathematics Subject Classification ID

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

Recommendations

• Tracking differentiable trajectories across polyhedra boundaries
• The algorithmic analysis of hybrid systems
• Reachability games for linear hybrid systems
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Reachability analysis of dynamical systems having piecewise-constant derivatives

Cites work

• Algorithmic analysis of nonlinear hybrid systems
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Controller synthesis for hybrid systems with a lower bound on event separation
• scientific article; zbMATH DE number 1361131 (Why is no real title available?)
• Not necessarily closed convex polyhedra and the double description method
• Reachability games for linear hybrid systems
• Towards efficient exact synthesis for linear hybrid systems
• Tracking differentiable trajectories across polyhedra boundaries

Cited in

(2)

• Continuous selections of trajectories of hybrid systems
• Tracking differentiable trajectories across polyhedra boundaries

Describes a project that uses

Uses Software

• PPL
• SpaceEx

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1680510)