Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
From MaRDI portal
Recommendations
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
Cites work
- 10.1162/153244303765208377
- A comprehensive survey on safe reinforcement learning
- A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
- A logic for reasoning about time and reliability
- A review of the statistical theory of turbulence
- A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- Approximate model checking of stochastic hybrid systems
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Automated verification and strategy synthesis for probabilistic systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Bisimulation for labelled Markov processes
- Bisimulation for Markov decision processes through families of functional expressions
- Bisimulation through probabilistic testing
- Bounded-parameter Markov decision processes
- Characterization and computation of infinite-horizon specifications over Markov processes
- Compositional bisimulation minimization for interval Markov decision processes
- Concentration inequalities. A nonasymptotic theory of independence
- Controller Synthesis for Linear System With Reach-Avoid Specifications
- Data-driven distributionally robust optimization using the Wasserstein metric: performance guarantees and tractable reformulations
- Distributionally Robust Convex Optimization
- Distributionally robust optimization and its tractable approximations
- Dynamic Modeling and Control of Engineering Systems
- Efficiency through uncertainty
- Equivalence notions and model minimization in Markov decision processes
- Exploiting robust optimization for interval probabilistic bisimulation
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- scientific article; zbMATH DE number 3155334 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Introduction to the Scenario Approach
- Introduction to uncertainty quantification
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
- Near-optimal reinforcement learning in polynomial time
- On the Road Between Robust Optimization and the Scenario Approach for Chance Constrained Optimization Problems
- Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
- Probabilistic bisimulations for PCTL model checking of interval MDPs
- Probabilistic logical characterization
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Risk and complexity in scenario optimization
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- Robust optimization
- Sampling-Based Verification of CTMCs with Uncertain Rates
- SReachTools
- The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
- Theory and applications of robust optimization
- Uncertain convex programs: randomized solutions and confidence levels
- Unified Multirate Control: From Low-Level Actuation to High-Level Planning
- Validation of Stochastic Systems
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
Cited in
(9)- Sandboxing controllers for stochastic cyber-physical systems
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Data-driven abstraction-based control synthesis
- Data-driven certificate synthesis
- Scalable control synthesis for stochastic systems via structural imdp abstractions
- Learning algorithms for verification of Markov decision processes
- Data-driven abstractions for control systems via random exploration
- Hierarchical tight strip zonotope set-membership identification algorithm for RBF neural network
- A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
This page was built for publication: Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881801)
