Synthesis of covert actuator and sensor attackers as supervisor synthesis

Synthesis of covert actuator and sensor attackers as supervisor synthesis

In this work, we investigate the problem of covert attacker synthesis for supervisory control of discrete-event systems. In particular, we consider attackers that exercise both actuator attacks and sensor attacks, where the (partial-observation) attackers may or may not eavesdrop the control comm...

Saved in:

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

相似書籍

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

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

Synthesis of the supremal covert attacker against unknown supervisors by using observations
由: Tai, Ruochen, et al.
出版: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

Designing communicating transaction processes by supervisory control theory
由: Feng, L., et al.
出版: (2013)

Enhanced supervisory control system design of an unmanned ground vehicle
由: Feng, X., et al.
出版: (2014)

A general architecture for reliable decentralized supervisory control of discrete event systems
由: Liu, F., et al.
出版: (2014)

Reliable decentralized supervisory control of discrete event systems with communication delays
由: Liu, F., et al.
出版: (2014)

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

Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
由: Chen, P.C.Y., et al.
出版: (2014)

A General Framework for Robot Programming Using a Matrix-based Supervisory Controller
由: KOH NIAK WU
出版: (2010)

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

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

Towards decentralized and parameterized supervisor synthesis
由: Lin, Liyong
出版: (2015)

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

Synthesis of covert sensor-actuator attacker for networked DES with non-FIFO channels
由: Wang Siyi
出版: (2025)

Hybrid Formation Control of Unmanned Helicopters
由: ALI KARIMODDINI
出版: (2013)

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

An efficient method of matrix multiplication for heaps of pieces
由: Ware, Simon, et al.
出版: (2018)

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

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

Remarks on the difficulty of top-down supervisor synthesis
由: Lin, Liyong., et al.
出版: (2013)

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

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

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

Design automation for smart building systems
由: Jia, Ruoxi, et al.
出版: (2020)

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

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

Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines
由: Lin, Liyong, et al.
出版: (2016)