Formal controller synthesis for Markov jump linear systems with uncertain dynamics

Related Items (1)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Characterization and computation of infinite-horizon specifications over Markov processes
Robust control for Markovian jump systems with partially known transition probabilities and nonlinearities
A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality
Probabilistic logical characterization
Approximate model checking of stochastic hybrid systems
Robust sampled-data control for Markovian jump linear systems
Stability and stabilization of Markovian jump linear systems with partly unknown transition probabilities
A logic for reasoning about time and reliability
Bounded-parameter Markov decision 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
Performance evaluation of sampled-data control of Markov jump linear systems
Safe \& robust reachability analysis of hybrid systems
Formal methods for discrete-time dynamical systems
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
Automated verification and synthesis of stochastic hybrid systems: a survey
A traverse algorithm approach to stochastic stability analysis of Markovian jump systems with unknown and uncertain transition rates
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
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
On the connections between PCTL and dynamic programming
Logics of Dynamical Systems
The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
Verification and Control of Hybrid Systems
Minimax Control of Discrete-Time Stochastic Systems
Output feedback control of Markov jump linear systems in continuous-time
Discrete-time LQ-optimal control problems for infinite Markov jump parameter systems
Robust partial sampled-data state feedback control of Markov jump linear systems
Efficiency through uncertainty
Stability of discrete-time linear systems with Markovian jumping parameters and constrained control
Handbook of Hybrid Systems Control
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints
Formal controller synthesis for Markov jump linear systems with uncertain dynamics

This page was built for publication: Formal controller synthesis for Markov jump linear systems with uncertain dynamics