Supervisor direct synthesis method for a structured discrete dynamical system

DOI10.1134/S000511791008014XzbMath1203.93070OpenAlexW1981218022MaRDI QIDQ612182

A. A. Ambartsumyan, E. E. Tomilin

Publication date: 3 January 2011

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

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

zbMATH Keywords

finite automatasupervisordiscrete event system (DES)event streamstructural knowledge

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (2)

Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Standard realization of an asynchronous automaton
• Supervisory control of the structured dynamic discrete-event systems
• Modular supervisory control of discrete-event systems
• Graphs of logical automata and their transformations
• A general architecture for decentralized supervisory control of discrete-event systems
• Introduction to Discrete Event Systems
• Supervisory Control of a Class of Discrete Event Processes

This page was built for publication: Supervisor direct synthesis method for a structured discrete dynamical system