A unified approach to control problems in discrete event processes
From MaRDI portal
Publication:4304556
DOI10.1051/ita/1993270605551zbMath0807.93002OpenAlexW111931874MaRDI QIDQ4304556
No author found.
Publication date: 2 March 1995
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92466
Formal languages and automata (68Q45) Design techniques (robust design, computer-aided design, etc.) (93B51) General systems (93A10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (10)
Permissive strategies: from parity games to safety games ⋮ Supervisory control of discrete event systems ⋮ Synthesis of covert actuator and sensor attackers ⋮ Games for synthesis of controllers with partial observation. ⋮ Synthesis of optimal covert sensor-actuator attackers for discrete-event systems ⋮ Synthesis of covert actuator attackers for free ⋮ Sharing out control in distributed processes ⋮ Observation-assisted heuristic synthesis of covert attackers against unknown supervisors ⋮ Nivat's processes and their synchronization ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
Cites Work
This page was built for publication: A unified approach to control problems in discrete event processes