A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis

An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control model, which is then analytically verified by means of a function-based proof. However, the synthesis of controllers ab...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-10
Hauptverfasser:	Edwards, Alec, Peruffo, Andrea, Abate, Alessandro
Format:	Artikel
Sprache:	eng
Schlagworte:	Certificates Control theory Controllers Learning Neural networks Software Specifications Synthesis Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!