Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Avtomatika i Telemekhanika, 2011, Issue 8, Pages 151–169 (Mi at2263)  

This article is cited in 7 scientific papers (total in 7 papers)

Logic Control

Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

A. A. Ambartsumyan

Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia
Full-text PDF (364 kB) Citations (7)
References:
Abstract: We describe a methodology of discrete event modeling for a class of distributed objects and their required behavior (specifications) for the design of real time automation systems. In our methodology, we use the structured discrete event system (SDES2) model: on the first stage, it is used to analyze the functionality and coherence of the object and its specification; on the second, we propose for SDES2 a basic synthesis method that works for the models of object and supervisor based on Petri nets (both modeling and controlling). At the same time, we propose to synthesize the supervisor as a Petri net embedded in SDES2 with a feedback circuit in order to restrict the object's operation according to specification requirements. We propose an interaction mechanism for the modeling and controlling Petri nets with the object and the external environment. In essence, the interaction mechanism is an object control scheme based on the constructed net. This mechanism analyzes the current state of the object and computes the controls that should be passed on to the object's actuators. Computations are done with a cyclic procedure looping over the matrix representation of the net.
Presented by the member of Editorial Board: O. P. Kuznetsov

Received: 02.08.2010
English version:
Automation and Remote Control, 2011, Volume 72, Issue 8, Pages 1718–1734
DOI: https://doi.org/10.1134/S0005117911080091
Bibliographic databases:
Document Type: Article
Language: Russian
Citation: A. A. Ambartsumyan, “Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method”, Avtomat. i Telemekh., 2011, no. 8, 151–169; Autom. Remote Control, 72:8 (2011), 1718–1734
Citation in format AMSBIB
\Bibitem{Amb11}
\by A.~A.~Ambartsumyan
\paper Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I.~Interaction mechanism and the basic method
\jour Avtomat. i Telemekh.
\yr 2011
\issue 8
\pages 151--169
\mathnet{http://mi.mathnet.ru/at2263}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2896194}
\zmath{https://zbmath.org/?q=an:1235.93097}
\transl
\jour Autom. Remote Control
\yr 2011
\vol 72
\issue 8
\pages 1718--1734
\crossref{https://doi.org/10.1134/S0005117911080091}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000297404200009}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-80052582876}
Linking options:
  • https://www.mathnet.ru/eng/at2263
  • https://www.mathnet.ru/eng/at/y2011/i8/p151
  • This publication is cited in the following 7 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Avtomatika i Telemekhanika
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024