2023
DOI: 10.1613/jair.1.14253
|View full text |Cite
|
Sign up to set email alerts
|

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

Abstract: Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynamical system, and common assumptions are that the underlying distributions are known and/or Gaussian. In practice, however, these assumptions may be unrealistic and can lead to poor approximations of the true noise distribution. We present a novel controller synthesis method that does not rely on any explicit representation of the noi… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
23
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
5
2
1

Relationship

3
5

Authors

Journals

citations
Cited by 19 publications
(23 citation statements)
references
References 73 publications
0
23
0
Order By: Relevance
“…Model-based approaches. Abstractions of stochastic models are well-studied (Abate et al 2008;Alur et al 2000), with applications to stochastic hybrid Lavaei et al 2022), switched (Lahijanian, Andersson, and Belta 2015), and partially observable systems (Badings et al 2021;Haesaert et al 2018). Various tools exist, e.g., StocHy , ProbReach (Shmarov and Zuliani 2015), and SReachTools (Vinod, Gleason, and Oishi 2019).…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Model-based approaches. Abstractions of stochastic models are well-studied (Abate et al 2008;Alur et al 2000), with applications to stochastic hybrid Lavaei et al 2022), switched (Lahijanian, Andersson, and Belta 2015), and partially observable systems (Badings et al 2021;Haesaert et al 2018). Various tools exist, e.g., StocHy , ProbReach (Shmarov and Zuliani 2015), and SReachTools (Vinod, Gleason, and Oishi 2019).…”
Section: Related Workmentioning
confidence: 99%
“…5, we must compute R −1 α (T ℓ ) for each action a ℓ ∈ Act with associated target set T ℓ . In the extended version of this paper (Badings et al 2022b, Appendix A, Lemma 3), we show that R −1 α (T ℓ ) is a polytope characterized by the vertices of U and T ℓ , which is computationally tractable to compute.…”
mentioning
confidence: 97%
“…In [8], we use this method to solve a reach-avoid problem for a UAV operating under turbulence (we compare scenarios with different turbulence levels), represented by stochastic noise of unknown distribution. The UAV is modeled by a 6D dynamical model (we refer to [8] for the explicit model). In Fig.…”
Section: Stochastic Noise Of Unknown Distributionmentioning
confidence: 99%
“…By contrast, most other abstraction methods rely on forward reachability computations, which are associated with errors that grow with the time horizon of the property (see related work for details). Our backward scheme avoids such abstraction errors, at the cost of requiring slightly more restrictive assumptions on the model dynamics (see, e.g., [8] for details).…”
Section: Introductionmentioning
confidence: 99%
“…There is a limited body of work addressing systems with both stochastic and epistemic uncertainties. Badings et al [3] have studied monolithic linear systems with unknown additive noise for reach-avoid specifications. This work is extended in [2] to fully unknown linear systems.…”
Section: Introductionmentioning
confidence: 99%