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.

Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation

Dynamic Quantization Based Control Synthesis for Signal Temporal Logics Specifications

Data-driven Control for Dynamic Quantized Nonlinear Systems with State Constraints Based on Barrier Functions

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

Hierarchical Controller Synthesis under Linear Temporal Logic Specifications Using Dynamic Quantization

An improved dynamic quantization scheme for uncertain linear networked control systems.

Dynamic Quantization of Uncertain Linear Networked Control Systems

Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems

Distributed Adaptive Containment Control for a Class of Nonlinear Multiagent Systems with Input Quantization.

Compositional Symbolic Models for Networks of Incrementally Stable Control Systems

Switched Fractional Order Multiagent Systems Containment Control with Event-Triggered Mechanism and Input Quantization

Abstractions for Symbolic Controller Synthesis are Composable

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

Symbolic models for nonlinear time-delay systems using approximate bisimulations

Composite Adaptive Fuzzy Finite-Time Quantized Control for Full State-Constrained Nonlinear Systems and Its Application

Sampled-Data Control of Nonlinear Systems with Quantization

Dynamic Mode Decomposition of Control-Affine Nonlinear Systems using Discrete Control Liouville Operators

Adaptive decentralized control for switched nonlinear large-scale systems with quantized input signal

Compositional Construction of Approximate Abstractions of Interconnected Control Systems