• Home
  • Search
  • Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
  • Cite Icon19
  • https://doi.org/10.1609/aaai.v37i12.26718Copy DOI Icon

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Capturing uncertainty in models of complex dynamical systems is crucial to designing safe controllers. Stochastic noise causes aleatoric uncertainty, whereas imprecise knowledge of model parameters leads to epistemic uncertainty. Several approaches use formal abstractions to synthesize policies that satisfy temporal specifications related to safety and reachability. However, the underlying models exclusively capture aleatoric but not epistemic uncertainty, and thus require that model parameters are known precisely. Our contribution to overcoming this restriction is a novel abstraction-based controller synthesis method for continuous-state models with stochastic noise and uncertain parameters. By sampling techniques and robust analysis, we capture both aleatoric and epistemic uncertainty, with a user-specified confidence level, in the transition probability intervals of a so-called interval Markov decision process (iMDP). We synthesize an optimal policy on this iMDP, which translates (with the specified confidence level) to a feedback controller for the continuous model with the same performance guarantees. Our experimental benchmarks confirm that accounting for epistemic uncertainty leads to controllers that are more robust against variations in parameter values.

Similar Papers
  • Research Article
  • Citations124

Sensitivity Analysis with Mixture of Epistemic and Aleatory Uncertainties

  • Sep 01, 2007
  • AIAA Journal
  • Jia Guo +1
  • PDF
  • Research Article
  • Citations8

A suggestion for the quantification of precise and bounded probability to quantify epistemic uncertainty in scientific assessments

  • Jan 10, 2022
  • Risk Analysis
  • Ivette Raices Cruz +2
  • Conference Article
  • Citations1

Reliability Based Design Optimization Considering Future Redesign With Different Epistemic Uncertainty Treatments

  • Aug 12, 2012
  • Taiki Matsumura +2
  • Research Article
  • Citations2

Modeling Aleatory and Epistemic Uncertainty in Human Health Risk Assessment

  • Feb 08, 2020
  • Cybernetics and Systems
  • Palash Dutta
  • Conference Article
  • Citations2

Bayesian Reliability-Based Design Optimization Using Eigenvector Dimension Reduction (EDR) Method

  • Apr 16, 2007
  • SAE technical papers on CD-ROM/SAE technical paper series
  • Pingfeng Wang +2
  • Research Article
  • Citations9

Ship design optimization with mixed uncertainty based on evidence theory

  • Apr 24, 2023
  • Ocean Engineering
  • Heng Li +4
  • Research Article
  • Citations20

Probabilistic Seismic Demand Analysis of Structures Using Reliability Approaches

  • Dec 24, 2020
  • Journal of Earthquake and Tsunami
  • M Kia +3
  • Research Article
  • Citations5

A novel method for importance measure analysis in the presence of epistemic and aleatory uncertainties

  • Apr 24, 2014
  • Chinese Journal of Aeronautics
  • Bo Ren +2
  • Conference Article

A Calendar Life Assessment of Airborne Products Considering Epistemic and Aleatory Uncertainty

  • Oct 01, 2018
  • Zhiping Pang +2
  • Research Article
  • Citations315

Incremental dynamic analysis with consideration of modeling uncertainties

  • Nov 12, 2008
  • Earthquake Engineering & Structural Dynamics
  • Matjaz Dolsek
  • Research Article
  • Citations128

Estimating epistemic and aleatory uncertainties during hydrologic modeling: An information theoretic approach

  • Apr 01, 2013
  • Water Resources Research
  • Wei Gong +4
  • Research Article
  • Citations33

An approach to combining unreliable pieces of evidence and their propagation in a system response analysis

  • Apr 09, 2004
  • Reliability Engineering & System Safety
  • Igor O Kozine +1
  • Research Article

Mixed Uncertainty Analysis in Pressure Systems Inspection Applications

  • Apr 07, 2025
  • ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering
  • Conal H Brown +1
  • Research Article
  • Citations19

Uncertainty in structural dynamics: Experimental validation of a Wishart random matrix model

  • Feb 24, 2009
  • Journal of Sound and Vibration
  • S Adhikari +1
  • Research Article
  • Citations26

A proposed probabilistic seismic tsunami hazard analysis methodology

  • Apr 17, 2015
  • Natural Hazards
  • James Knighton +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.