79 citations · 87 across the 10 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2019
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
Hui Kong, Ezio Bartocci, Yu Jiang +1
Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificate…
eess.SY2019
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti +4
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochas…