AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

Cited by: 0|Views5
Get fulltext within 24h
Bibtex

Abstract

We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet general STL specifications. Rather than stating the STL specification for a single initial condition, we consider an (infinite) set of initial conditions. Candidate solutions are...More

Code:

Data:

Author
Verdier Cees F.
Verdier Cees F.
Kochdumper Niklas
Kochdumper Niklas
Your rating :
0

 

Tags
Comments
小科