Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis - Acikmese, Behcet; Demir, Nazli; Harris, Matthew W. (IEEE transactions on automatic control, 2015)
Keywords: Convergence; Convex programming; Density; Ergodic processes; Linear matrix inequalities; Markov analysis; Markov chains; Markov processes; Mathematical analysis; Mathematical models; Optimization; Probability distribution; Safety; Synthesis; Upper bound; Markov processes; linear matrix inequalities; Convex programming