|
Avtomatika i Telemekhanika, 2011, Issue 9, Pages 173–189
(Mi at2283)
|
|
|
|
This article is cited in 6 scientific papers (total in 6 papers)
Logic Control
Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
A. A. Ambartsumyan Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia
Abstract:
We propose an approach for supervisor synthesis in a Petri net constructed from a structured discrete event model of a distributed object. Our approach is an extension of a basic synthesis method proposed by the author earlier as part of the interaction mechanism. We consider different possibilities of the interaction between a distributed object's components and propose standard schemes for transferring this interaction in the supervisor net. The supervisor synthesis method is based on analyzing the trigger matrix and constructing components of the net based on this analysis. We study how the complexity of a Petri net synthesized by this method depends on the description length of the discrete event method and prove the corresponding bounds.
Citation:
A. A. Ambartsumyan, “Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences”, Avtomat. i Telemekh., 2011, no. 9, 173–189; Autom. Remote Control, 72:9 (2011), 1951–1966
Linking options:
https://www.mathnet.ru/eng/at2283 https://www.mathnet.ru/eng/at/y2011/i9/p173
|
|