Effective Control Synthesis for Partially Observed Discrete-Event Systems

DOI10.1137/060673862zbMath1282.93178OpenAlexW2017253339MaRDI QIDQ3566990

H. M. Lamouchi, J. G. Thistle

Publication date: 10 June 2010

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/060673862

zbMATH Keywords

discrete-event systemscontrol synthesis\(\omega\)-automatapartial observations

Mathematics Subject Classification ID

Controllability (93B05) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Automata and formal grammars in connection with logical questions (03D05) Attainable sets, reachability (93B03)

Related Items (7)

Undecidable problems of decentralized observation and control on regular languages ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Games for synthesis of controllers with partial observation. ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ System theory for system identification. ⋮ Control of discrete-event systems with modular or distributed structure ⋮ A hierarchical and modular control architecture for sequential behaviours

This page was built for publication: Effective Control Synthesis for Partially Observed Discrete-Event Systems