Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis

DOI10.1109/TAC.2015.2400712zbMath1360.90176OpenAlexW2047360753MaRDI QIDQ2982574

Behçet Açıkmeşe, Matthew W. Harris, Nazlı Demir

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2015.2400712

Mathematics Subject Classification ID

Convex programming (90C25) Stochastic programming (90C15) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10)

Related Items (2)

Safe Metropolis-Hastings algorithm and its application to swarm control ⋮ Markov decision processes with sequential sensor measurements

This page was built for publication: Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis