On controllability and normality of discrete event dynamical systems

DOI10.1016/0167-6911(91)90061-IzbMath0759.93013OpenAlexW2131451245MaRDI QIDQ1190393

Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus

Publication date: 26 September 1992

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6911(91)90061-i

zbMATH Keywords

synchronous compositionDiscrete Event Dynamical Systemssupervisor synthesis problem

Mathematics Subject Classification ID

Controllability (93B05) Synthesis problems (93B50)

Related Items (12)

A class of non-deterministic specifications for supervisory control ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ Control of discrete-event systems with modular or distributed structure ⋮ Mutually nonblocking supervisory control of discrete event systems ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ On computation of supremal controllable, normal sublanguages ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Branching time controllers for discrete event systems ⋮ Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formulas for calculating supremal controllable and normal sublanguages
• On observability of discrete-event systems
• On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
• Modular supervisory control of discrete-event systems
• On the control of discrete-event dynamical systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations

This page was built for publication: On controllability and normality of discrete event dynamical systems