Control of Modular and Distributed Discrete-Event Systems
From MaRDI portal
Publication:3591395
DOI10.1007/11804192_3zbMath1196.93049MaRDI QIDQ3591395
Jan Komenda, Jan H. van Schuppen
Publication date: 11 September 2007
Published in: Formal Methods for Components and Objects (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11804192_3
68Q25: Analysis of algorithms and problem complexity
93C65: Discrete event control/observation systems
93B50: Synthesis problems
68M14: Distributed systems
93A15: Large-scale systems
Related Items