Name
Title | ||
|---|---|---|
A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems |
Abstract | ||
|---|---|---|
In this paper, we show how to compute an over-approximation for the reachable set of uncertain nonlinear continuous dynamical systems by using guaranteed set integration. We introduce two ways to do so. The first one is a full interval method which handles whole domains for set computation and relies on state-of-the-art validated numerical integration methods. The second one relies on comparison theorems for differential inequalities in order to bracket the uncertain dynamics between two dynamical systems where there is no uncertainty. Since the derived bracketing systems are piecewise Ck -differentiable functions, validated numerical integration methods cannot be used directly. Hence, our contribution resides in the use of hybrid automata to model the bounding systems. We give a rule for building these automata and we show how to run them and address mode switching in a guaranteed way in order to compute the over approximation for the reachable set. The computational cost of our method is also analyzed and shown to be smaller that the one of classical interval techniques. Sufficient conditions are given which ensure the epsiv-practical stability of the enclosures given by our hybrid bounding method . Two examples are also given which show that the performance of our method is very promising. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/TAC.2009.2028974 | Automatic Control, IEEE Transactions |
Keywords | Field | DocType |
continuous systems,integration,nonlinear dynamical systems,reachability analysis,stability,uncertain systems,bracketing systems,differential inequalities,epsiv-practical stability,full interval method,guaranteed set integration,hybrid automata,hybrid bounding method,numerical integration methods,over-approximation,piecewise Ck-differentiable functions,reachability analysis,reachable set,uncertain nonlinear continuous dynamical systems,uncertain nonlinear systems,Hybrid systems,interval analysis,reachability analysis,uncertain systems | Mathematical optimization,Nonlinear system,Nonlinear control,Control theory,Numerical integration,Dynamical systems theory,Interval arithmetic,Hybrid system,Mathematics,Piecewise,Bounding overwatch | Journal |
Volume | Issue | ISSN |
54 | 10 | 0018-9286 |
Citations | PageRank | References |
30 | 1.41 | 23 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nacim Ramdani | 1 | 148 | 21.23 |
| Nacim Meslem | 2 | 54 | 7.97 |
| Yves Candau | 3 | 134 | 10.83 |