# Reachability Analysis of Hybrid Systems Using Support Functions

@inproceedings{Guernic2009ReachabilityAO, title={Reachability Analysis of Hybrid Systems Using Support Functions}, author={Colas Le Guernic and Antoine Girard}, booktitle={CAV}, year={2009} }

- Published 2009 in CAV
DOI:10.1007/978-3-642-02658-4_40

This paper deals with conservative reachability analysis of a class of hybrid systems with continuous dynamics described by linear differential inclusions, convex invariants and guards, and linear reset maps. We present an approach for computing over-approximations of the set of reachable states. It is based on the notion of support function and thus it allows us to consider invariants, guards and constraints on continuous inputs and initial states defined by arbitrary compact convex sets. We… CONTINUE READING

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

Showing 1-10 of 80 extracted citations

## Parallel reachability analysis of hybrid systems in XSpeed

View 6 Excerpts

Highly Influenced

## Reachability of hybrid systems in space-time

View 10 Excerpts

Highly Influenced

## Symbolic orthogonal projections: a new polyhedral representation for reachability analysis of hybrid systems

View 6 Excerpts

Highly Influenced

## XSpeed: Accelerating Reachability Analysis on Multi-core Processors

View 8 Excerpts

Highly Influenced

## Computing the Projected Reachable Set of Stochastic Biochemical Reaction Networks Modeled by Switched Affine Systems

View 8 Excerpts

Highly Influenced

## Conic Abstractions for Hybrid Systems

View 10 Excerpts

Highly Influenced

## Counterexample-Guided Refinement of Template Polyhedra

View 4 Excerpts

Highly Influenced

## A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection

View 5 Excerpts

Highly Influenced

## Parallel state space exploration of linear systems with inputs using XSpeed

View 5 Excerpts

Highly Influenced

## Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models

View 4 Excerpts

Highly Influenced

#### Citation Statistics

#### 123 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**123**citations based on the available data.See our **FAQ** for additional information.

#### References

##### Publications referenced by this paper.

Showing 1-10 of 16 references

## Sequential Minimax Search for a Maximum

View 1 Excerpt

## Reachability of Uncertain Linear Systems Using Zonotopes

View 3 Excerpts

## Benchmarks for Hybrid Systems Verification

View 2 Excerpts