3 citations · 5 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023
A contract negotiation scheme for safety verification of interconnected systems
Xiao Tan, Antonis Papachristodoulou, Dimos V. Dimarogonas
This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-…
eess.SY2023★ 1 cited
Continuous-time control synthesis under nested signal temporal logic specifications
Pian Yu, Xiao Tan, Dimos V. Dimarogonas
In this work, we propose a novel approach for the continuous-time control synthesis of nonlinear systems under nested signal temporal logic (STL) specifications. While the majority…