Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory
Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This paper deals with the problem of recovering a manufacturing system, modeled as a Discrete Event System (DES) using the Supervisory Control Theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant. The desynchronization may be seen as plant and supervisor being in uncorresponding states. The recovery of the system may be attained if there is a word, the synchronizing word, that regardless the state of each one of them, brings the system and supervisor back to a known state. The concepts of synchronizing automata are used to do so. In this paper we show under what conditions a set of synchronizing plants and specifications leads to a synchronizing supervisor obtained by the Supervisory Control Theory. The problem is extended to cope with multiple supervisors, proposing a local recovery when possible. We also present a simple way to model problems, composed of machines and buffers, as synchronizing automata such that it is always possible do restore synchronization between the control (supervisor) and the plant.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Dense Correspondences between Human Bodies via Learning Transformation Synchronization on Graphs
We introduce an approach for establishing dense correspondences between partial scans of human models and a complete template model. Our approach's key novelty lies in formulating dense correspondence computation as init…
STARdom: an architecture for trusted and secure human-centered manufacturing systems
There is a lack of a single architecture specification that addresses the needs of trusted and secure Artificial Intelligence systems with humans in the loop, such as human-centered manufacturing systems at the core of t…
Active LearningDecision MakingDemand ForecastingExplainable artificial intelligenceProcess signature-driven high spatio-temporal resolution alignment of multimodal data
We present HiRA-Pro, a novel procedure to align, at high spatio-temporal resolutions, multimodal signals from real-world processes and systems that exhibit diverse transient, nonlinear stochastic dynamics, such as manufa…
Blockchain-based Access Control for Secure Smart Industry Management Systems
Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for fa…
Cloud ComputingManagementRF-PUF: Enhancing IoT Security through Authentication of Wireless Nodes using In-situ Machine Learning
Traditional authentication in radio-frequency (RF) systems enable secure data communication within a network through techniques such as digital signatures and hash-based message authentication codes (HMAC), which suffer …
BIG-bench Machine Learning