Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems

Résumé

We present a method for constructing discrete abstractions for discrete-time, continuous-state systems. Related approaches construct a discrete bisimulation, which leaves little room for non-determinism in the outputs and quickly leads to highly complex models since all concrete behavior is covered. Our approach is to relax these requirements and build a satisficing solution: a discrete abstraction that is deterministic, robust, and as complete as possible under the given parameters. This allows us to balance granularity and computational feasibility. We leverage linearization and linear feedback control to extend the approach from globally contractive systems to systems with contractive cycles. The resulting abstraction directly induces a supervisor policy. The approach is illustrated with numerical experiments and has potential applications in various domains where system safety and reversibility are essential.
Fichier principal
Vignette du fichier
paper_2604.pdf (697.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04739554 , version 1 (16-10-2024)

Identifiants

Citer

Gwendal Priser, Elena Vanneaux, Goran Frehse. Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems. Reachability Problems. RP 2024, Sep 2024, Wien, Austria, Austria. pp.187-202, ⟨10.1007/978-3-031-72621-7_13⟩. ⟨hal-04739554⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More