eduzhai > Applied Sciences > Engineering >

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

  • king
  • (0) Download
  • 20210507
  • Save

... pages left unread,continue reading

Document pages: 11 pages

Abstract: 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.

Please select stars to rate!


0 comments Sign in to leave a comment.

    Data loading, please wait...