Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Deep ZakaiJ: Structured Filtering for Jump-Diffusion Time Series Forecasting
Time series driven by unobserved latent states frequently exhibit abrupt jump discontinuities whose timing and magnitude cannot be predicted from observed history alone. Classical jump-diffusion models offer a principled…
Time Series ForecastingBayesian Inference for Jump-Diffusion Approximations of Biochemical Reaction Networks
Biochemical reaction networks are an amalgamation of reactions where each reaction represents the interaction of different species. Generally, these networks exhibit a multi-scale behavior caused by the high variability …
Bayesian InferenceGauge transformations in the dual space, and pricing and estimation in the long run in affine jump-diffusion models
We suggest a simple reduction of pricing European options in affine jump-diffusion models to pricing options with modified payoffs in diffusion models. The procedure is based on the conjugation of the infinitesimal gener…
A Probabilistic Jump-Diffusion Framework for Open-World Egocentric Activity Recognition
Open-world egocentric activity recognition poses a fundamental challenge due to its unconstrained nature, requiring models to infer unseen activities from an expansive, partially observed search space. We introduce ProbR…
Activity RecognitionEgocentric Activity RecognitionPricing Transition Risk with a Jump-Diffusion Credit Risk Model: Evidences from the CDS market
Transition risk can be defined as the business-risk related to the enactment of green policies, aimed at driving the society towards a sustainable and low-carbon economy. In particular, the value of certain firms' assets…
quantile regression