Tracking smooth trajectories in linear hybrid systems

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Information and Computation

• Publication date

  2017-10-31

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.ic.2017.10.004
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic Synthesis of Switching Controllers for Linear Hybrid Systems

  2017cited by this paper
• Tracking differentiable trajectories across polyhedra boundaries

  2013cited by this paper
• Automatic synthesis of switching controllers for linear hybrid systems: Safety control

  2013influential reference
• Reachability games for linear hybrid systems

  2012cited by this paper
• SpaceEx: Scalable Verification of Hybrid Systems

  2011cited by this paper
• Synthesis of Switching Controllers for Linear Hybrid Systems

  2011cited by this paper
• Appendix to SpaceEx: Scalable Verification of Hybrid Systems

  2011cited by this paper
• Towards Efficient Exact Synthesis for Linear Hybrid Systems

  2011cited by this paper
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

  2006cited by this paper
• Not necessarily closed convex polyhedra and the double description method

  2005cited by this paper
• Controller synthesis for hybrid systems with a lower bound on event separation

  2003cited by this paper
• A game theoretic approach to controller design for hybrid systems

  2000cited by this paper
• Rectangular Hybrid Games

  1999cited by this paper
• Algorithmic Analysis of Nonlinear Hybrid Systems

  1998cited by this paper
• Verification of Real-Time Systems using Linear Relation Analysis

  1997cited by this paper
• Automatic Symbolic Verification of Embedded Systems

  1996cited by this paper

• No citing papers are available for this paper.