Name
Abstract | ||
|---|---|---|
The computation of reachable sets for hybrid systems with nonlinear continuous dynamics is addressed. In this context, the computation of the intersection of the reachable set with the guard set is a challenging problem. In a previous work, we have proposed a guaranteed relaxation method expressed as a constraint satisfaction problem to solve the event detection and localization problems underlying flow/guard intersection. The algorithm also relies on bisection operations which may generate a large number of boxes. The main contribution of this paper is to merge the solution domains related to these boxes and corresponding to the reachable set at a given time. An algorithm minimizing the conservatism of a convex enclosure obtained by aggregating several solution domains into one domain is proposed: it relies on a zonotopic representation which is consistent with our continuous reachability approach. The combination of constraint propagation, bisection and merging makes it possible to achieve good algorithm performance, which will be illustrated through a numerical example involving a typical hybrid dynamical system: a bouncing ball with continuous state dimensions up to 4. Our evaluation shows very promising results. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/ECC.2014.6862491 | ECC |
Keywords | Field | DocType |
continuous systems,minimisation,nonlinear dynamical systems,reachability analysis,set theory,bouncing ball,constraint propagation,constraint satisfaction problem,continuous reachability approach,convex enclosure conservatism minimization,event detection,flow-guard intersection,guaranteed relaxation method,guard set,hybrid dynamical system,localization problems,nonlinear continuous dynamic system,nonlinear hybrid reachability,set integration,zonotopic enclosures,zonotopic representation | Mathematical optimization,Local consistency,Relaxation (iterative method),Reachability,Constraint satisfaction problem,Hybrid system,Mathematics,Dynamical system,Computation,Bouncing ball dynamics | Conference |
Citations | PageRank | References |
1 | 0.35 | 6 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maiga, M. | 1 | 1 | 0.35 |
| Christophe Combastel | 2 | 89 | 9.74 |
| Nacim Ramdani | 3 | 148 | 21.23 |
| L. Travé/-massuyè/s | 4 | 394 | 54.06 |