Formal controller synthesis for Markov jump linear systems with uncertain dynamics
From MaRDI portal
Recommendations
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems
- scientific article; zbMATH DE number 2163041
- Efficiency through uncertainty
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
Cites work
- A Detector-Based Approach for the <inline-formula> <tex-math notation="TeX">$H_{2} $</tex-math></inline-formula> Control of Markov Jump Linear Systems With Partial Information
- A logic for reasoning about time and reliability
- A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality
- A traverse algorithm approach to stochastic stability analysis of Markovian jump systems with unknown and uncertain transition rates
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- An LMI approach for \(\mathcal{H}_2\) and \(\mathcal{H}_\infty\) reduced-order filtering of uncertain discrete-time Markov and Bernoulli jump linear systems
- Approximate model checking of stochastic hybrid systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Bounded-parameter Markov decision processes
- Characterization and computation of infinite-horizon specifications over Markov processes
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Concentration inequalities. A nonasymptotic theory of independence
- Discrete-time LQ-optimal control problems for infinite Markov jump parameter systems
- Efficiency through uncertainty
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Formal methods for discrete-time dynamical systems
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- Handbook of Hybrid Systems Control
- scientific article; zbMATH DE number 4009825 (Why is no real title available?)
- scientific article; zbMATH DE number 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 2136426 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Logics of dynamical systems
- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
- Minimax Control of Discrete-Time Stochastic Systems
- On the connections between PCTL and dynamic programming
- On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints
- Output feedback control of Markov jump linear systems in continuous-time
- Performance evaluation of sampled-data control of Markov jump linear systems
- Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
- Probabilistic logical characterization
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- Robust control for Markovian jump systems with partially known transition probabilities and nonlinearities
- Robust partial sampled-data state feedback control of Markov jump linear systems
- Robust sampled-data control for Markovian jump linear systems
- Safe \& robust reachability analysis of hybrid systems
- Stability and stabilization of Markovian jump linear systems with partly unknown transition probabilities
- Stability of discrete-time linear systems with Markovian jumping parameters and constrained control
- The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
- Verification and Control of Hybrid Systems
Cited in
(2)
This page was built for publication: Formal controller synthesis for Markov jump linear systems with uncertain dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6546444)
