2 citations · 5 across the 3 of their papers we have counts for
4 papers
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…
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…
Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems
Kendra Lesser, Meeko Oishi
Reachability analysis of hybrid systems has been used as a safety verification tool to assess offline whether the state of a system is capable of remaining within a designated safe…
Reachability for Partially Observable Discrete Time Stochastic Hybrid Systems
Kendra Lesser, Meeko Oishi
When designing optimal controllers for any system, it is often the case that the true state of the system is unknown to the controller, for example due to noisy measurements or par…