RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
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


Avtomat. i Telemekh., 2016, Issue 4, Pages 153–172 (Mi at14437)  

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

Intellectual Control Systems

Generating conditions for preserving the properties of controlled discrete event systems

N. V. Nagul

Matrosov Institute for System Dynamics and Control Theory, Siberian Branch, Russian Academy of Sciences, Irkutsk, Russia

Abstract: We show how to apply the method of logic-algebraic equations as a representative of reduction methods that preserve system properties after a transformation. We study the problem of preserving properties of a supervisor for a controllable discrete event system represented as a finite state machine: completeness, non-rejecting property, and others. We relax previously known requirements imposed on mappings between supervisors.

Funding Agency Grant Number
Russian Foundation for Basic Research 14-07-00740
14-07-31192--


Full text: PDF file (245 kB)
References: PDF file   HTML file

English version:
Automation and Remote Control, 2016, 77:4, 672–686

Bibliographic databases:

Document Type: Article
Presented by the member of Editorial Board: S. N. Vassilyev

Received: 10.06.2015

Citation: N. V. Nagul, “Generating conditions for preserving the properties of controlled discrete event systems”, Avtomat. i Telemekh., 2016, no. 4, 153–172; Autom. Remote Control, 77:4 (2016), 672–686

Citation in format AMSBIB
\Bibitem{Nag16}
\by N.~V.~Nagul
\paper Generating conditions for preserving the properties of controlled discrete event systems
\jour Avtomat. i Telemekh.
\yr 2016
\issue 4
\pages 153--172
\mathnet{http://mi.mathnet.ru/at14437}
\elib{http://elibrary.ru/item.asp?id=25996308}
\transl
\jour Autom. Remote Control
\yr 2016
\vol 77
\issue 4
\pages 672--686
\crossref{https://doi.org/10.1134/S0005117916040111}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000376122500011}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84966453582}


Linking options:
  • http://mi.mathnet.ru/eng/at14437
  • http://mi.mathnet.ru/eng/at/y2016/i4/p153

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. N. Nagul, I. Bychkov, “On the problem of discrete-event systems properties preservation”, ICNPAA 2016 World Congress: 11th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (La Rochelle, France, 4–8 July 2016), AIP Conf. Proc., 1798, ed. S. Sivasundaram, Amer. Inst. Phys., 2017, UNSP 020107  crossref  isi  scopus
    2. A. Davydov, A. Larionov, N. Nagul, “The formal description of discrete-event systems using positively constructed formulas”, 40Th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017, eds. P. Biljanovic, M. Koricic, K. Skala, T. Grbac, M. Cicin-Sain, V. Sruk, S. Ribaric, S. Gros, B. Vrdol, IEEE, 2017, 1161–1165  crossref  isi
    3. I. Bychkov, A. Davydov, N. Nagul, S. Ulyanov, “Hybrid control approach to multi-AUV system in a surveillance mission”, Inf. Technol. Ind., 6:1 (2018), 20–26  isi
  • Avtomatika i Telemekhanika
    Number of views:
    This page:68
    Full text:3
    References:24
    First page:18

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019