Synthesis of discrete-event controllers based on the signal environment
From MaRDI portal
Publication:1592441
DOI10.1023/A:1008311720696zbMath0960.93520OpenAlexW2169132374MaRDI QIDQ1592441
Paul Le Guernic, Hervé Marchand, Michel Le Borgne, Patricia Bournai
Publication date: 16 May 2001
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008311720696
Discrete event control/observation systems (93C65) Synthesis problems (93B50) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items
Integrating discrete controller synthesis into a reactive programming language compiler, Symbolic synthesis of masking fault-tolerant distributed programs, Automating the addition of fault tolerance with discrete controller synthesis, The complexity of automated addition of fault-tolerance without explicit legitimate states