Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems
University of Auckland, Penza State University, Department of Computer Science, University of Penza, Computer Science Department, Penza State University, Penza.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0002-9315-9920
Institute of Information Sciences, Martin Luther University of Halle-Wittenberg, Department of Engineering Sciences, Martin Luther University Halle-Wittenberg, Institute for Automation Technology, Department of Electrical Engineering, Otto-von-Guericke University, Magdeburg.
Number of Authors: 32015 (English)In: IEEE TrustCom-BigDataSE-ISPA 2015: Helsinki, 20-22 Aug. 2015, Piscataway, NJ: IEEE Communications Society, 2015, p. 287-292, article id 7345662Conference paper, Published paper (Refereed)
Abstract [en]

Ensuring safe operation is one of the basic requirements of the design of discrete event systems (DES), for example, discrete industrial automation systems. The most elegant approach to solve this problem is the synthesis of the safety controller on the basis of a sound theory. The current research for safety controller synthesis is performed using the description of plant and forbidden behavior, but the problem of adjusting the behavior of the existing control systems is not considered. In this paper, we propose a method of synthesis of adaptive safety controller models for distributed control systems based on reverse safe Net Condition/Event Systems (RsNCES), allowing to generate prohibiting rules to prevent the movement of closed loop systems to forbidden states. The method is based on backward search in the state space of the model. The method is illustrated by means of an example of a simple mechatronic system

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2015. p. 287-292, article id 7345662
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-28541DOI: 10.1109/Trustcom.2015.646ISI: 000380431400041Scopus ID: 2-s2.0-84969277598Local ID: 25edaf69-d140-41b3-a0a7-6249f33f4bf8ISBN: 9781467379519 (print)OAI: oai:DiVA.org:ltu-28541DiVA, id: diva2:1001741
Conference
IEEE TrustCom-BigDataSE-ISPA : 20/08/2015 - 22/08/2015
Note

Validerad; 2016; Nivå 1; 2016-10-11 (andbra)

Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 5 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf