IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v11y2023i10p2313-d1147806.html
   My bibliography  Save this article

Language Recovery in Discrete-Event Systems against Sensor Deception Attacks

Author

Listed:
  • Abdeldjalil Labed

    (Institute of Systems Engineering, Macau University of Science and Technology, Taipa 999078, Macau SAR, China
    These authors contributed equally to this work.)

  • Ikram Saadaoui

    (Mediterranean Institute of Technology, South Mediterranean University, Tunis 99628, Tunisia
    These authors contributed equally to this work.)

  • Hanyu E

    (Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB T6R 2V4, Canada
    These authors contributed equally to this work.)

  • Mohammed A. El-Meligy

    (Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh 11421, Saudi Arabia
    These authors contributed equally to this work.)

  • Zhiwu Li

    (Institute of Systems Engineering, Macau University of Science and Technology, Taipa 999078, Macau SAR, China
    These authors contributed equally to this work.)

  • Mohamed Sharaf

    (Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh 11421, Saudi Arabia
    These authors contributed equally to this work.)

Abstract

Cyber-physical systems are characterized by the intrinsic combination of software and physical components that usually include (wired and wireless) communication devices, sensors, actuators, and control processing units. Some wireless devices communicate over insecure channels, rendering cyber-physical systems at risk of malicious attacks that might lead to catastrophic damage. This paper touches upon the problem of sensor deception attacks in supervisory control of discrete-event systems, where an attacker can insert, delete, or replace sensor readings to mislead the supervisor and induce system damage. We model potential attacks using nondeterministic finite-state transducers and then introduce a new defence strategy that utilizes insertion functions. Insertion functions are a type of monitoring interface that alters the system’s behaviour by adding extra observable events. Finally, we construct a nondeterministic finite-state transducer called a supervisor filter that recovers the original language generated by the plant by handling the altered language. The insertion function and the supervisor filter cooperate to control the system and confuse the intruder without confusing the supervisor.

Suggested Citation

  • Abdeldjalil Labed & Ikram Saadaoui & Hanyu E & Mohammed A. El-Meligy & Zhiwu Li & Mohamed Sharaf, 2023. "Language Recovery in Discrete-Event Systems against Sensor Deception Attacks," Mathematics, MDPI, vol. 11(10), pages 1-15, May.
    • Handle: RePEc:gam:jmathe:v:11:y:2023:i:10:p:2313-:d:1147806
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/11/10/2313/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/11/10/2313/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Masashi Wakaiki & Paulo Tabuada & João P. Hespanha, 2019. "Supervisory Control of Discrete-Event Systems Under Attacks," Dynamic Games and Applications, Springer, vol. 9(4), pages 965-983, December.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Zhenhua Yu & Xudong Duan & Xuya Cong & Xiangning Li & Li Zheng, 2023. "Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems," Mathematics, MDPI, vol. 11(4), pages 1-23, February.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:11:y:2023:i:10:p:2313-:d:1147806. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.