Characterization of all M-controllable subpredicates of a given predicate

DOI10.1080/002071798222190zbMath0930.93055OpenAlexW1985574352MaRDI QIDQ4259049

Shigemasa Takai, Shinzo Kodama

Publication date: 22 August 1999

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/002071798222190

zbMATH Keywords

discrete event systempartial observation\(M\)-controllability\(M\)-controllable subpredicates

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (4)

Control of parameterized discrete event systems ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Decentralized control of infinite systems ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution

This page was built for publication: Characterization of all M-controllable subpredicates of a given predicate