Synthesis of the supremal covert attacker against unknown supervisors by using observations

Synthesis of the supremal covert attacker against unknown supervisors by using observations

In this paper, we consider the problem of synthesizing the supremal covert damage-reachable attacker, in the setup where the model of the supervisor is unknown to the adversary but the adversary has recorded a (prefix-closed) finite set of observations of the runs of the closed-loop system. The synt...

Saved in:

書目詳細資料
Main Authors:	Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong
其他作者:	School of Electrical and Electronic Engineering
格式:	Article
語言:	English
出版:	2023
主題:	Engineering::Electrical and electronic engineering Cyber-Physical System Discrete-Event System
在線閱讀:	https://hdl.handle.net/10356/166617
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Nanyang Technological University
語言:	English

相似書籍

Synthesis of covert actuator and sensor attackers as supervisor synthesis
由: Lin, Liyong, et al.
出版: (2021)

Synthesis of covert actuator attackers for free
由: Lin, Liyong, et al.
出版: (2022)

Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels
由: Zhu, Yuting, et al.
出版: (2021)

Synthesis of covert actuator and sensor attackers
由: Lin, Liyong, et al.
出版: (2022)

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
由: Su, Rong
出版: (2020)

On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
由: Su, Rong
出版: (2023)

What information really matters in supervisor reduction?
由: Su, Rong, et al.
出版: (2020)

Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
由: Han, Xiaoguang, et al.
出版: (2020)

Synthesis of optimal covert sensor–actuator attackers for discrete-event systems
由: Tai, Ruochen, et al.
出版: (2023)

A cyber attack model with bounded sensor reading alterations
由: Su, Rong
出版: (2020)

Synchronous composition of finite interval automata
由: Lin, Liyong, et al.
出版: (2020)

Model checking in isomorphic module systems
由: Wang, Weilin, et al.
出版: (2020)

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
由: Lin, Liyong, et al.
出版: (2022)

Design of privacy-preserving control strategy for data opacity of industrial internet (面向工业互联网中数据不透明性的隐私保护控制策略设计)
由: Shen, Yi, et al.
出版: (2022)

Distributed Secure Coordinated Control for Multiagent Systems Under Strategic Attacks
由: Feng, Zhi, et al.
出版: (2017)

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
由: Lin, Liyong, et al.
出版: (2020)

Analysis of moving target defense against false data injection attacks on power grid
由: Zhang, Z., et al.
出版: (2021)

Towards crash-free autonomous driving: anomaly detection and control for resilience to stealthy sensor attacks
由: Yang, Tianci, et al.
出版: (2024)

Attack detection for cyber-physical systems: a zonotopic approach
由: Li, Jitao, et al.
出版: (2023)

A discrete event formulation for multi-robot collision avoidance on pre-planned trajectories
由: Deplano, Diego, et al.
出版: (2021)

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
由: Liu, F., et al.
出版: (2014)

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach
由: Zhou, Yuan, et al.
出版: (2017)

Bisimilarity enforcing supervisory control for deterministic specifications
由: Sun, Y., et al.
出版: (2014)

Controller Synthesis for Bisimulation Equivalence
由: SUN YAJUAN
出版: (2013)

Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
由: Ao, Wei, et al.
出版: (2020)

On reliability analysis of smart grids under topology attacks : a stochastic Petri net approach
由: Li, Beibei, et al.
出版: (2021)

A distributed approach to robust control of multi-robot systems
由: Zhou, Yuan, et al.
出版: (2020)

Decentralized bisimilarity control of discrete event systems
由: Sun, Y., et al.
出版: (2014)

Secure fusion estimation for bandwidth constrained cyber-physical systems under replay attacks
由: Chen, Bo, et al.
出版: (2020)

Assessing and mitigating impact of time delay attack : case studies for power grid controls
由: Lou, Xin, et al.
出版: (2021)

About existence of resilient supervisors against smart sensor attacks
由: Su, Rong
出版: (2023)

Distributed secure state estimation and control for CPSs under sensor attacks
由: Ao, Wei, et al.
出版: (2021)

Identification of system vulnerability under a smart sensor attack via attack model reduction
由: Tai, Ruochen, et al.
出版: (2023)

Bisimilarity control of nondeterministic discrete event systems
由: Liu, F., et al.
出版: (2014)

Privacy-preserving co-synthesis against sensor–actuator eavesdropping intruder
由: Tai, Ruochen, et al.
出版: (2023)

CYBER ATTACK DETECTION USING MACHINE LEARNING TECHNIQUES
由: QI PANPAN
出版: (2022)

Convergence rate analysis for optimal computing budget allocation algorithms
由: Li, Yanwen, et al.
出版: (2023)

A hierarchical consistency framework for real-time supervisory control
由: Ngo, Quang Ha, et al.
出版: (2019)

MODELLING AND ANALYSIS OF CYBER-SECURITY AND RELIABILITY OF ENERGY DELIVERY FOR RESILIENT SMART GRID SYSTEMS
由: GU CHAOJUN
出版: (2016)

Backdoor attacks in neural networks
由: Liew, Sher Yun
出版: (2024)