共 48 条
[1]
FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
[J].
HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK),
2021,
[2]
Formal Synthesis of Lyapunov Neural Networks
[J].
IEEE CONTROL SYSTEMS LETTERS,
2021, 5 (03)
:773-778
[3]
Safe and Robust Observer-Controller Synthesis Using Control Barrier Functions
[J].
IEEE CONTROL SYSTEMS LETTERS,
2022, 7
:127-132
[5]
Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems
[J].
ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS,
2019,
:109-117
[7]
Predictive Control Barrier Functions for Online Safety Critical Control
[J].
2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC),
2022,
:924-931
[8]
Brody S., 2021, P INT C LEARN REPR
[9]
Decentralized Connectivity Maintenance with Time Delays using Control Barrier Functions
[J].
2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021),
2021,
:1586-1592
[10]
Cavorsi M., 2022, P ROB SCI SYST, V18, P797