Generating conditions for preserving the properties of controlled discrete event systems

DOI10.1134/S0005117916040111zbMath1346.93260OpenAlexW2346643470MaRDI QIDQ329088

N. V. Nagul

Publication date: 21 October 2016

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0005117916040111

zbMATH Keywords

controlled discrete event systemsfinite state machinelogic-algebraic equationsreduction methodssupervisor

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) System structure simplification (93B11)

Cites Work

• Discrete-event models of a railway network
• Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
• Properties preserved under homomorphism
• Stability of solutions in different variables
• Supervisory control of the structured dynamic discrete-event systems
• Why event observation: Observability revisited
• Supervisor reduction for discrete-event systems
• Special issue on recent advances in control of discrete event systems
• Stability of dynamical systems. Continuous, discontinuous, and discrete systems
• The reduction method. I:
• An Interpolation Theorem
• The logic-algebraic equations method in system dynamics
• Supervisory Control of a Class of Discrete Event Processes
• Decentralized redistribution for cooperative patrol
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generating conditions for preserving the properties of controlled discrete event systems