The Verification and Control of Interacting Similar Discrete-Event Systems
From MaRDI portal
Publication:3427785
DOI10.1137/040610209zbMath1109.93032MaRDI QIDQ3427785
Kurt R. Rohloff, Stéphane Lafortune
Publication date: 27 March 2007
Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/292b9f72700ad1a8c21945f1958b7a922aab611a
Related Items
On the invariance property of reduced supervisors from the perspective of vector discrete-event systems, Exploiting symmetry of state tree structures for discrete-event systems with parallel components, Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates, Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates, Supervisory control of modular systems with global specification languages, Control of discrete-event systems with modular or distributed structure