Exploiting symmetry in the synthesis of supervisors for discrete event systems

DOI10.1109/9.948486zbMATH Open1011.93070OpenAlexW2101178868MaRDI QIDQ4540504FDOQ4540504

Authors: José M. Eyzell, José E. R. Cury 

Publication date: 21 July 2002

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.948486

Recommendations

• Supervisor reduction for discrete-event systems
• Supervisory Control with Complete Observations
• On controllability and normality of discrete event dynamical systems
• Supervisory control of discrete event systems with distinguishers
• Modular control of discrete-event systems using similarity
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• On observability of discrete-event systems
• Supervisory control of discrete event systems
• Supervisory control of discrete-event systems
• Supervisory control of deterministic Petri nets with regular specification languages

zbMATH Keywords

automatadiscrete-event systemsgroup theoryproduction linesupervisory controllanguage symmetry

Mathematics Subject Classification ID

Production models (90B30) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Cited In (9)

• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• On efficient relabeling of symmetric discrete-event systems
• Study on relabeling observer property in symmetric discrete-event systems
• Title not available (Why is that?)
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• Control of parameterized discrete event systems
• Modular control of discrete-event systems using similarity
• Invariance property of the control functions in symmetric discrete-event systems modeled by state tree structures
• Composite supervisory control for symmetric discrete-event systems

This page was built for publication: Exploiting symmetry in the synthesis of supervisors for discrete event systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540504)