Abstract
We consider a class of nonlinear systems of differential equations with uncertainties, i.e., with lack of knowledge in some of the parameters that is represented by a time-varying unknown bounded functions. An under-approximation of such systems consists of a subset of its reachable set, for any value of the unknown parameters. By relying on optimal control theory through Pontryagin’s principle, we provide an algorithm for the under-approximation of a linear combination of the state variables in terms of a fully automated tool-chain named UTOPIC. This allows to establish tight under-approximations of common benchmarks models with dimensions as large as sixty-five.
Original language | English |
---|---|
Title of host publication | Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings |
Editors | David Parker , Verena Wolf |
Number of pages | 15 |
Publisher | Springer |
Publication date | 2019 |
Pages | 277-291 |
ISBN (Print) | 978-3-030-30280-1 |
ISBN (Electronic) | 978-3-030-30281-8 |
DOIs | |
Publication status | Published - 2019 |
Event | 16th International Conference on Quantitative Evaluation of Systems - University of Glasgow, Glasgow, United Kingdom Duration: 10 Sept 2019 → 12 Sept 2019 Conference number: 16 |
Conference
Conference | 16th International Conference on Quantitative Evaluation of Systems |
---|---|
Number | 16 |
Location | University of Glasgow |
Country/Territory | United Kingdom |
City | Glasgow |
Period | 10/09/2019 → 12/09/2019 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 11785 |
ISSN | 0302-9743 |
Keywords
- Under-approximation
- Uncertain nonlinear dynamics
- Modeling