Sökning: id:"swepub:oai:DiVA.org:ltu-28541" >
Synthesis of Safety...
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems
-
- Dubinin, Victor N. (författare)
- University of Auckland, Penza State University, Department of Computer Science, University of Penza, Computer Science Department, Penza State University, Penza
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap
-
- Hanisch, Hans Michael (författare)
- 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
-
(creator_code:org_t)
- Piscataway, NJ : IEEE Communications Society, 2015
- 2015
- Engelska.
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 287-292
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas