UTOPIC: Under-Approximation Through Optimal Control

Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski*, Andrea Vandin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

31 Downloads (Pure)

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 languageEnglish
Title of host publicationQuantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
EditorsDavid Parker , Verena Wolf
Number of pages15
PublisherSpringer
Publication date2019
Pages277-291
ISBN (Print)978-3-030-30280-1
ISBN (Electronic)978-3-030-30281-8
DOIs
Publication statusPublished - 2019
Event16th International Conference on Quantitative Evaluation of Systems - University of Glasgow, Glasgow, United Kingdom
Duration: 10 Sep 201912 Sep 2019
Conference number: 16

Conference

Conference16th International Conference on Quantitative Evaluation of Systems
Number16
LocationUniversity of Glasgow
Country/TerritoryUnited Kingdom
CityGlasgow
Period10/09/201912/09/2019
SeriesLecture Notes in Computer Science
Volume11785
ISSN0302-9743

Keywords

  • Under-approximation
  • Uncertain nonlinear dynamics
  • Modeling

Fingerprint

Dive into the research topics of 'UTOPIC: Under-Approximation Through Optimal Control'. Together they form a unique fingerprint.

Cite this