Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates

The design of controllers for safety-critical systems is an important research issue. Especially, the generation of controllers with formal safety guarantees is a challenging problem. Recently, for safety objectives of various system control tasks, machine learning technologies have been used to ach...

Celý popis

Podrobná bibliografie

Vydáno v:	2025 62nd ACM/IEEE Design Automation Conference (DAC) s. 1 - 7
Hlavní autoři:	Zeng, Xia, Ren, Mengxin, Liu, Zhiming, Yang, Zhengfeng
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 22.06.2025
Témata:	Control systems controller synthesis Formal verification Hands Picture archiving and communication systems Reinforcement learning Safety safety verification sum-of-squares Supervised learning Training Transforms vector barrier certificate Vectors
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!