Data-driven heuristic symbolic models and application to limit-cycle detection

Calbert, Julien;Jungers, Raphaël
(2023) American Control Conference (ACC) — Location: San Diego, CA, USA (31.May.2023)

Files

Data-drivenheuristicsymbolicmodelsandapplicationtolimit-cycledetection.pdf
  • Open Access
  • Adobe PDF
  • 1.16 MB
Download

Details

Authors
Abstract
Symbolic control allows to provide formal guarantees for generic optimal control problems on nonlinear systems. It relies on the construction of a finite abstraction of the system which requires the discretization of the state space. Therefore, these methods suffer from the curse of dimensionality and a critical step is the choice of the state space partition. In this paper, we propose a data-driven heuristic abstraction approach relying on a probabilistic interpretation of the discretization error. Our approach can be used to automatically compare different partitions of the state space and to infer complex properties about the original system. As a proof of concept, we use our approach for the detection of limit cycles.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Calbert, J., & Jungers, R. (2023). Data-driven heuristic symbolic models and application to limit-cycle detection. Published. American Control Conference (ACC), San Diego, CA, USA. https://doi.org/10.23919/ACC55779.2023.10156175