Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity - Archive ouverte HAL Access content directly
Journal Articles IEEE Transactions on Automatic Control Year : 2023

Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity

Abstract

In this paper, we consider the problem of the computation of efficient symbolic abstractions for continuous-time control systems. The new abstraction algorithm builds symbolic models with the same number of states but fewer transitions in comparison to the one produced by the standard algorithm. At the same time, the new abstract system is at least as controllable as the standard one. The proposed algorithm is based on the solution of a region-to-region control synthesis problem. This solution is formally obtained using the theory of viscosity solutions of the dynamic programming equation and the theory of differential equations with discontinuous righthand side. In the new abstraction algorithm, the symbolic controls are essentially the feedback controllers that solve this control synthesis problem. The improvement in the number of transitions is achieved by reducing the number of successors for each symbolic control. For a certain class of control systems, with a suitable set of discretization parameters, the new algorithm may even produce deterministic abstract systems or systems with a singleton input alphabet. The approach is illustrated by examples that compare the two abstraction algorithms.
Fichier principal
Vignette du fichier
abstraction_algorithm_journal.pdf (1.05 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03401432 , version 1 (25-10-2021)
hal-03401432 , version 2 (07-09-2022)

Identifiers

Cite

Vladimir Sinyakov, Antoine Girard. Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity. IEEE Transactions on Automatic Control, 2023, 68 (8), ⟨10.1109/TAC.2022.3205423⟩. ⟨hal-03401432v2⟩
102 View
182 Download

Altmetric

Share

Gmail Facebook X LinkedIn More