Synthesis of discrete-event controllers based on the signal environment

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

Mathematics Subject Classification ID

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 (4)

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

This page was built for publication: Synthesis of discrete-event controllers based on the signal environment