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.

Flat Hybrid Automata as a Class of Reachable Systems: Introductory Theory and Examples

Dehybridization Control of a Class of Affine Nonlinear Hybrid System

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions

Flatness-based control revisited: The HEOL setting

Linear hybrid action systems

Flatness of Discrete-time Systems, a simple Approach

Formal Verification of Hybrid Systems and Its Application on Chemical Process Control

Under-Approximate Reachability Analysis for a Class of Linear Systems with Inputs

Flat singularities of chained systems, illustrated with an aircraft model

Discrete-time Flatness and Linearization along Trajectories

Compile-Time Extensions to Hybrid ODEs

Invisible formal methods for embedded control systems

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

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

Safety verification of linear hybrid system by transition system analysis

On Detectability of a Class of Hybrid Systems

A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems

A hybrid systems framework for data-based adaptive control of linear time-varying systems

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata

Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming