Optimal Supervisory Control of Probabilistic Discrete Event Systems

DOI10.1109/TAC.2011.2173420zbMath1369.93381OpenAlexW2133435578MaRDI QIDQ5352801

Vera Pantelic, Mark Lawford

Publication date: 8 September 2017

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

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A pseudometric in supervisory control of probabilistic discrete event systems ⋮ Optimal supervisory control with mean payoff objectives and under partial observation

This page was built for publication: Optimal Supervisory Control of Probabilistic Discrete Event Systems