Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions
Abstract
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 a discretization-free approach for formal synthesis of control policies by using a notation of control barrier functions without requiring any knowledge of the estimation accuracy. Our goal is to synthesize an offline control policy providing (potentially maximizing) a lower bound on the probability that the trajectories of the partially observed jump-diffusion system satisfy some complex specifications expressed by deterministic finite automata. Finally, we illustrate the effectiveness of the proposed results by synthesizing a policy for a jet engine example.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2021
- DOI:
- 10.48550/arXiv.2109.11477
- arXiv:
- arXiv:2109.11477
- Bibcode:
- 2021arXiv210911477J
- Keywords:
-
- Electrical Engineering and Systems Science - Systems and Control
- E-Print:
- arXiv admin note: text overlap with arXiv:1905.04585