dc.contributor
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial
dc.contributor
Universitat Politècnica de Catalunya. SAC - Sistemes Avançats de Control
dc.contributor.author
Franzè, Giuseppe
dc.contributor.author
Puig Cayuela, Vicenç
dc.identifier
Franzè, G.; Puig, V. Data-driven forward reachability analysis. A: IEEE Conference on Automation Science and Engineering. «2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)». 2025, p. 1239-1244. DOI 10.1109/CASE58245.2025.11164032 .
dc.identifier
https://hdl.handle.net/2117/459526
dc.identifier
10.1109/CASE58245.2025.11164032
dc.description.abstract
© 2025 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.description.abstract
In this paper, the reachability analysis for a class of nonlinear systems is addressed by resorting to a data-driven setting. The resulting approach combines into a unique framework linear time-invariant system behavior, data-driven modeling and reinforcement learning algorithms. This allows to determine outer approximations of the exact successor sets whose accuracy is evaluated by means of statistical tests. Finally, the validity of the proposed approach is tested by resorting to a benchmark example and providing numerical comparisons with a well-reputed competitor.
dc.description.abstract
This work was supported by the research project - ID:20222N4C8E “Resilient and Secure Networked Multivehicle Systems in Adversary Environments” granted by the European Union - Next Generation EU, Mission 4, Component 1, CUP H53D230004100.
dc.description.abstract
Peer Reviewed
dc.description.abstract
Postprint (author's final draft)
dc.format
application/pdf
dc.relation
https://ieeexplore.ieee.org/document/11164032
dc.subject
Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject
Linear systems
dc.subject
Data-driven modeling
dc.subject
Computer aided software engineering
dc.subject
Reinforcement learning
dc.subject
Benchmark testing
dc.subject
Approximation algorithms
dc.subject
Reachability analysis
dc.subject
Nonlinear systems
dc.title
Data-driven forward reachability analysis
dc.type
Conference report
