Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions

Jahanshahi, Niloofar; Jagtap, Pushpak and Zamani, Majid (2021): Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. In: IEEE Control Systems Letters, Vol. 5, No. 1: pp. 253-258

Abstract

In this letter, 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.

• Item Type: Journal article
• Faculties: Mathematics, Computer Science and Statistics > Computer Science
• Subjects: 000 Computer science, information and general works > 004 Data processing computer science
• ISSN: 2475-1456
• Language: English