Algorithmic Minimization of Uncertain Continuous-Time Markov Chains

DOI10.1109/TAC.2023.3244093MaRDI QIDQ6182729zbMATH OpenOpenAlexFDO

Authors Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Publication date 26 January 2024

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

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

zbMATH Keywords

Markov processesmodel/controller reductionmodelingoptimal controloptimization algorithms

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Algorithmic Minimization of Uncertain Continuous-Time Markov Chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182729)