Abstract:This paper studies formal synthesis of controllers for continuous-space systems with unknown dynamics to satisfy requirements expressed as linear temporal logic formulas. Formal abstraction-based synthesis schemes rely on a precise mathematical model of the system to build a finite abstract model, which is then used to design a controller. The abstraction-based schemes are not applicable when the dynamics of the system are unknown. We propose a data-driven approach that computes a growth bound of the system using a finite number of trajectories. The computed growth bound together with the sampled trajectories are then used to construct the abstraction and synthesise a controller. Our approach casts the computation of a growth bound as a robust convex optimisation program (RCP). Since the unknown dynamics appear in the optimisation, we formulate a scenario convex program (SCP) corresponding to the RCP using a finite number of sampled trajectories. We establish a sample complexity result that gives a lower bound for the number of sampled trajectories to guarantee the correctness of the growth bound computed from the SCP with a given confidence. Our sample complexity result requires knowing a possibly conservative bound on the Lipschitz constant of the system. We also provide a sample complexity result for the satisfaction of the specification on the system in closed loop with the designed controller for a given confidence. Our data-driven synthesised controller can provide guarantees on satisfaction of both finite and infinite-horizon specifications. We show that our data-driven approach can be readily used as a model-free abstraction refinement scheme by modifying the formulation of the system’s growth bounds and providing similar sample complexity results. The performance of our approach is shown on three case studies.

Automatic Synthesis of Robust and Optimal Controllers --- An Industrial Case Study

Genetic Algorithm Aided Controller Design with Application to Svc

Data-driven Direct Automatic Tuning Scheme for Fixed-Structure Digital Controllers of Hybrid Systems

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Verified synthesis of optimal safety controllers for human-robot collaboration

Data-driven abstraction-based control synthesis

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills

Optimization-based control design techniques and tools

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study

Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based on Phase-Space Knowledge

Retrofit Self-Optimizing Control: A Step Forward Toward Real Implementation.

Formal controller synthesis for hybrid systems using genetic programming

Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges

Structure and Optimization of Parameters for Neural Network Controllers in Automatic Control Systems

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems

Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions

Synthesis of robust controllers and filters

A General Approach to Robust Controller Analysis and Synthesis