3 papers
eess.SY2026
Control Barrier--Value Functions under Partial Observability: Safety Guarantees via Conformal Prediction
Niloofar Jahanshahi, Mo Chen
This paper studies safety analysis and controller synthesis for partially observable nonlinear control systems. We extend the control barrier--value function (CBVF) framework, whic…
eess.SY2021
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
In this paper, we study formal synthesis of control policies for partially observed jump-diffusion systems against complex logic specifications. Given a state estimator, we utilize…
eess.SY2021
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
In this paper, we propose a compositional framework for the synthesis of safety controllers for networks of partially-observed discrete-time stochastic control systems (a.k.a. cont…