The Verification and Control of Interacting Similar Discrete-Event Systems

DOI10.1137/040610209zbMath1109.93032OpenAlexW2004141156MaRDI 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

zbMATH Keywords

controldiscrete-event systemsdistributed systemsisomorphic behavior

Mathematics Subject Classification ID

Decentralized systems (93A14) Discrete event control/observation systems (93C65)

Related Items (7)

Modular control of discrete-event systems using similarity ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ Exploiting symmetry of state tree structures for discrete-event systems with parallel components ⋮ Supervisory control of modular systems with global specification languages ⋮ Control of discrete-event systems with modular or distributed structure ⋮ Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems

This page was built for publication: The Verification and Control of Interacting Similar Discrete-Event Systems