English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Manufacturing systems may be subject to external attacks and failures, so itis important to deal with the recovery of the system after these situations.This paper deals with the problem of recovering a manufacturing system, modeledas a Discrete Event System (DES) using the Supervisory Control Theory (SCT),when the control structure, called supervisor, desynchronizes from the physicalplant. The desynchronization may be seen as plant and supervisor being inuncorresponding states. The recovery of the system may be attained if there isa 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 ofsynchronizing automata are used to do so. In this paper we show under whatconditions a set of synchronizing plants and specifications leads to asynchronizing supervisor obtained by the Supervisory Control Theory. Theproblem is extended to cope with multiple supervisors, proposing a localrecovery when possible. We also present a simple way to model problems,composed of machines and buffers, as synchronizing automata such that it isalways possible do restore synchronization between the control (supervisor) andthe plant.

Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory