Hasil Pencarian - Abdeldjalil Labed

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  1. 1
    Current-state opacity verification in discrete event systems using an observer net

    Current-state opacity verification in discrete event systems using an observer net oleh Abdeldjalil Labed, Ikram Saadaoui, Naiqi Wu, Jiaxin Yu, Zhiwu Li

    Diterbitkan 2022-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints

    Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints oleh Ikram Saadaoui, Abdeldjalil Labed, Zhiwu Li, Ahmed M. El-Sherbeeny, Huiran Du

    Diterbitkan 2023-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Language Recovery in Discrete-Event Systems against Sensor Deception Attacks

    Language Recovery in Discrete-Event Systems against Sensor Deception Attacks oleh Abdeldjalil Labed, Ikram Saadaoui, Hanyu E, Mohammed A. El-Meligy, Zhiwu Li, Mohamed Sharaf

    Diterbitkan 2023-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: