Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings
 
research article

Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings

Fernandes Castro Rego, Francisco  
•
de Weerdt, Elwin
•
van Oort, Eddy
Show more
2014
Mathematics in Computer Science

The 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.

  • Details
  • Metrics
Type
research article
DOI
10.1007/s11786-014-0199-4
Author(s)
Fernandes Castro Rego, Francisco  
de Weerdt, Elwin
van Oort, Eddy
van Kampen, Erik-Jan
Chu, Qiping
Pascoal, António M.
Date Issued

2014

Published in
Mathematics in Computer Science
Volume

8

Issue

3-4

Start page

425

End page

442

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
IGM  
Available on Infoscience
September 11, 2014
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/106848
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés