2 citations · 5 across the 3 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2014★ 2 cited
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…
math.OC2014★ 2 cited
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…