Abstract:Finite abstractions (a.k.a. symbolic models) offer an effective scheme for approximating the complex continuous-space systems with simpler models in the discrete-space domain. A crucial aspect, however, is to establish a formal relation between the original system and its symbolic model, ensuring that a discrete controller designed for the symbolic model can be effectively implemented as a hybrid controller (using an interface map) for the original system. This task becomes even more challenging when the exact mathematical model of the continuous-space system is unknown. To address this, the existing literature mainly employs scenario-based data-driven methods, which require collecting a large amount of data from the original system. In this work, we propose a data-driven framework that utilizes only two input-state trajectories collected from unknown nonlinear polynomial systems to synthesize a hybrid controller, enabling the desired behavior on the unknown system through the controller derived from its symbolic model. To accomplish this, we employ the concept of alternating simulation functions (ASFs) to quantify the closeness between the state trajectories of the unknown system and its data-driven symbolic model. By satisfying a specific rank condition on the collected data, which intuitively ensures that the unknown system is persistently excited, we directly design an ASF and its corresponding hybrid controller using finite-length data without explicitly identifying the unknown system, while providing correctness guarantees. This is achieved through proposing a data-based sum-of-squares (SOS) optimization program, enabling a systematic approach to the design process. We illustrate the effectiveness of our data-driven approach through a case study.

Symbolic models for nonlinear control systems affected by disturbances

Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation

Symbolic Models for Interconnected Impulsive Systems

Decentralized Model Predictive Control of Nonlinear Continuous Systems with Contractive Constraints

Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation

Consensus control of networked nonlinear systems

Stability Analysis And Control Synthesis For Uncertain Polynomial Nonlinear Systems

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances

Observability and Controllability of Nonlinear Networks: The Role of Symmetry

Nonlinear System Level Synthesis for Polynomial Dynamical Systems

Disturbance Observer-based Robust Integral Control Barrier Functions for Nonlinear Systems with High Relative Degree

On the digital event-based control for nonlinear time-delay systems with exogenous disturbances

Linear time logic control of linear systems with disturbances

A symbolic approach to the self-triggered design for networked control systems

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories

Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems

Disturbance-decoupled control synthesis for conformable fractional-order linear systems: A geometric approach

Modeling and Control of Robotic Manipulators Based on Symbolic Regression

Composite disturbance-observer-based control and variable structure control for non-linear systems with disturbances