Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext

Multiobjective Optimal Control With Safety as a Priority von Lesser, Kendra, Abate, Alessandro

Volltext

Reachability for partially observable discrete time stochastic hybrid systems von Lesser, Kendra, Oishi, Meeko

Volltext

Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field von Malone, Nick, Chiang, Hao-Tien, Lesser, Kendra, Oishi, Meeko, Tapia, Lydia

Volltext

Controller Synthesis for Probabilistic Safety Specifications using ObserversThis work is supported in part by the European Commission IAPP project AMBI 324432, and by the John Fell... von Lesser, Kendra, Abate, Alessandro

Volltext

Stochastic reachability for control of spacecraft relative motion von Lesser, Kendra, Oishi, Meeko, Erwin, R. Scott

Volltext

Safety Verification of Output Feedback Controllers for Nonlinear Systems von Lesser, Kendra, Abate, Alessandro

Volltext bestellen

Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext bestellen

Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext bestellen

Reachability for Partially Observable Discrete Time Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext bestellen

Safety Verification of Output Feedback Controllers for Nonlinear Systems von Lesser, Kendra, Abate, Alessandro

Volltext

Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext

Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext

Reachability for Partially Observable Discrete Time Stochastic Hybrid Systems von Lesser, Kendra, Oishi, Meeko

Volltext