Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game

DOI10.1109/TAC.2022.3143108arXiv2007.01773OpenAlexW3040175145MaRDI QIDQ6137513

Anne-Kathrin Schmuck, Rupak Majumdar

Publication date: 4 September 2023

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

Full work available at URL: https://arxiv.org/abs/2007.01773

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game