Geometric programming relaxations for linear system reachability

  title={Geometric programming relaxations for linear system reachability},
  author={Hakan Yazarel and G. Pappas},
  journal={Proceedings of the 2004 American Control Conference},
  pages={553-559 vol.1}
One of the main obstacles in the safety analysis of continuous and hybrid systems has been the computation of the reachable set for continuous systems in high dimensions. We present a novel method that exploits the structure of linear dynamical systems, and the monotonicity of the exponential function in order to obtain safety certificates of continuous linear systems. By over-approximating the sets of initial and final states, the safety verification problem is expressed as a series of… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 38 extracted citations

A heuristical method for safety verification of nonlinear continuous systems

2017 36th Chinese Control Conference (CCC) • 2017
View 1 Excerpt

Safety verification of refrigeration containers using barrier certificates

2016 IEEE Conference on Computer Aided Control System Design (CACSD) • 2016
View 1 Excerpt

Systems safety verification by boundary variation analysis

2015 34th Chinese Control Conference (CCC) • 2015
View 1 Excerpt

Conic geometric programming

2014 48th Annual Conference on Information Sciences and Systems (CISS) • 2014
View 2 Excerpts

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Similar Papers

Loading similar papers…