000201677 001__ 201677 000201677 005__ 20181203023618.0 000201677 0247_ $$2doi$$a10.1007/s11786-014-0199-4 000201677 037__ $$aARTICLE 000201677 245__ $$aDetermination of Inner and Outer Bounds of Reachable Sets Through Subpavings 000201677 269__ $$a2014 000201677 260__ $$c2014 000201677 336__ $$aJournal Articles 000201677 520__ $$aThe computation of the reachable set of states of a given dynamic system is an important step to verify its safety during operation. There are different methods of computing reachable sets, namely interval integration, capture basin, methods involving the minimum time to reach function, and level set methods. This work deals with interval integration to compute subpavings to over or under approximate reachable sets of low dimensional systems. The main advantage of this method is that, compared to guaranteed integration, it allows to control the amount of over-estimation at the cost of increased computational effort. An algorithm to over and under estimate sets through subpavings, which potentially reduces the computational load when the test function or the contractor is computationally heavy, is implemented and tested. This algorithm is used to compute inner and outer approximations of reachable sets. The test function and the contractors used in this work to obtain the subpavings involve guaranteed integration, provided either by the Euler method or by another guaranteed integration method. The methods developed were applied to compute inner and outer approximations of reachable sets for the double integrator example. From the results it was observed that using contractors instead of test functions yields much tighter results. It was also confirmed that for a given minimum box size there is an optimum time step such that with a greater or smaller time step worse results are obtained. 000201677 700__ $$0247646$$g228846$$aFernandes Castro Rego, Francisco 000201677 700__ $$ade Weerdt, Elwin 000201677 700__ $$avan Oort, Eddy 000201677 700__ $$avan Kampen, Erik-Jan 000201677 700__ $$aChu, Qiping 000201677 700__ $$aPascoal, António M. 000201677 773__ $$j8$$tMathematics in Computer Science$$k3-4$$q425-442 000201677 909C0 $$xU10306$$0252446$$pIGM 000201677 909CO $$pSTI$$particle$$ooai:infoscience.tind.io:201677 000201677 917Z8 $$x228846 000201677 917Z8 $$x148230 000201677 937__ $$aEPFL-ARTICLE-201677 000201677 973__ $$rREVIEWED$$sPUBLISHED$$aOTHER 000201677 980__ $$aARTICLE