2 citations · 5 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2016
Safety Verification of Output Feedback Controllers for Nonlinear Systems
Kendra Lesser, Alessandro Abate
A high-gain observer is used for a class of feedback linearisable nonlinear systems to synthesize safety-preserving controllers over the observer output. A bound on the distance be…
eess.SY2014★ 1 cited
Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems
Kendra Lesser, Meeko Oishi
Assuring safety in discrete time stochastic hybrid systems is particularly difficult when only noisy or incomplete observations of the state are available. We first review a formul…