Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification

DOI10.1109/TAC.2019.2905220zbMath1482.93375WikidataQ128255097 ScholiaQ128255097MaRDI QIDQ5211238

Chen Chen, Hesuan Hu

Publication date: 28 January 2020

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

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)