Abstract | ||
---|---|---|
In this paper, we investigate nonlinear reachability computation in presence of model uncertainty, via guaranteed set integration. We show how this can be done by using the classical Müller's existence theorem. The core idea developed is to no longer deal with whole sets but to derive instead two nonlinear dynamical systems which involve no model uncertainty and which bracket in a guaranteed way the space reachable by the original uncertain system. We give a rule for building the bracketing systems. In the general case, the bracketing systems obtained are only piecewise Ck-continuously differential nonlinear systems and hence can naturally be modeled with hybrid automata. We show how to derive the hybrid model and how to address mode switching. An example is given with a biological process. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-78929-1_30 | HSCC |
Keywords | Field | DocType |
biological process,uncertain nonlinear systems,piecewise ck-continuously differential nonlinear,hybrid model,classical m,nonlinear hybridization,nonlinear reachability computation,hybrid automaton,model uncertainty,guaranteed set integration,nonlinear dynamical system,bracketing system,nonlinear system,nonlinear dynamics,hybrid system | Existence theorem,Applied mathematics,Mathematical optimization,Nonlinear system,Reachability,Bracketing,Hybrid system,Piecewise,Mathematics,Computation,Hybrid automaton | Conference |
Volume | ISSN | Citations |
4981 | 0302-9743 | 15 |
PageRank | References | Authors |
0.92 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nacim Ramdani | 1 | 148 | 21.23 |
Nacim Meslem | 2 | 54 | 7.97 |
Yves Candau | 3 | 134 | 10.83 |