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

scientific article; zbMATH DE number 7662470

Language	Label	Description	Also known as
English	Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	scientific article; zbMATH DE number 7662470

Statements

instance of

scholarly article

0 references

title

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

0 references

published in

Journal of Artificial Intelligence Research

0 references

publication date

13 March 2023

0 references

full work available at URL

https://arxiv.org/abs/2301.01526

0 references

zbMATH Keywords

Markov decision processes

0 references

probabilistic reasoning

0 references

uncertainty

0 references

describes a project that uses

StocHy

0 references

PRISM

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Approximate model checking of stochastic hybrid systems

0 references

Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey

0 references

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

0 references

Sampling-Based Verification of CTMCs with Uncertain Rates

0 references

Q5322945

0 references

Q3182207

0 references

Theory and Applications of Robust Optimization

0 references

Q4907706

0 references

10.1162/153244303765208377

0 references

Uncertain convex programs: randomized solutions and confidence levels

0 references

The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs

0 references

A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality

0 references

Introduction to the Scenario Approach

0 references

Efficiency through uncertainty

0 references

Validation of Stochastic Systems

0 references

Q3273009

0 references

Bisimulation for labelled Markov processes

0 references

A review of the statistical theory of turbulence

0 references

Data-driven distributionally robust optimization using the Wasserstein metric: performance guarantees and tractable reformulations

0 references

Controller Synthesis for Linear System With Reach-Avoid Specifications

0 references

Bisimulation for Markov Decision Processes through Families of Functional Expressions

0 references

A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems

0 references

Risk and complexity in scenario optimization

0 references

Q5744808

0 references

Equivalence notions and model minimization in Markov decision processes

0 references

Bounded-parameter Markov decision processes

0 references

Distributionally Robust Optimization and Its Tractable Approximations

0 references

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement

0 references

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes

0 references

Exploiting robust optimization for interval probabilistic bisimulation

0 references

A logic for reasoning about time and reliability

0 references

Q4994959

0 references

Compositional Bisimulation Minimization for Interval Markov Decision Processes

0 references

Probabilistic logical characterization

0 references

Near-optimal reinforcement learning in polynomial time

0 references

Dynamic Modeling and Control of Engineering Systems

0 references

Automated Verification and Strategy Synthesis for Probabilistic Systems

0 references

Formal Verification and Synthesis for Discrete-Time Stochastic Systems

0 references

Bisimulation through probabilistic testing

0 references

Automated verification and synthesis of stochastic hybrid systems: a survey

0 references

On the Road Between Robust Optimization and the Scenario Approach for Chance Constrained Optimization Problems

0 references

Robust Control of Markov Decision Processes with Uncertain Transition Matrices

0 references

Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties

0 references

Q4315289

0 references

Feedback Refinement Relations for the Synthesis of Symbolic Controllers

0 references

Unified Multirate Control: From Low-Level Actuation to High-Level Planning

0 references

ProbReach

0 references

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

0 references

Introduction to Uncertainty Quantification

0 references

Characterization and computation of infinite-horizon specifications over Markov processes

0 references

SReachTools

0 references

Distributionally Robust Convex Optimization

0 references

Identifiers

DOI

10.1613/jair.1.14253

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5881801