Zobrazeno 1 - 10
of 1 253
pro vyhledávání: '"Li, Zhiwu"'
As an information-flow privacy property, opacity characterizes whether a malicious external observer (referred to as an intruder) is able to infer the secret behavior of a system. This paper addresses the problem of opacity enforcement using edit fun
Externí odkaz:
http://arxiv.org/abs/2410.08471
In this paper, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition associated to a transitio
Externí odkaz:
http://arxiv.org/abs/2409.05810
Deep networks can usually depend on extracting more structural information to improve denoising results. However, they may ignore correlation between pixels from an image to pursue better denoising performance. Window transformer can use long- and sh
Externí odkaz:
http://arxiv.org/abs/2407.05709
This paper studies the problem of increasing the connectivity of an ad-hoc peer-to-peer network subject to cyber-attacks targeting the agents in the network. The adopted strategy involves the design of local interaction rules for the agents to locall
Externí odkaz:
http://arxiv.org/abs/2406.18467
Publikováno v:
South African Journal of Industrial Engineering, Vol 30, Iss 1, Pp 1-23 (2019)
Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs. However, it is important to convert the
Externí odkaz:
https://doaj.org/article/da548a429b0346279bfcf2f9660f80b4
In this paper, we investigate the verification and enforcement of strong state-based opacity (SBO) in discrete-event systems modeled as partially-observed (nondeterministic) finite-state automata, including strong K-step opacity (K-SSO), strong curre
Externí odkaz:
http://arxiv.org/abs/2401.10363
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step and infinite-step weak and strong opacity for partially observed nondet
Externí odkaz:
http://arxiv.org/abs/2310.11825
Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation
Inspired by privacy problems where the behavior of a system should not be revealed to an external curious observer, we investigate event concealment and concealability enforcement in discrete event systems modeled as non-deterministic finite automata
Externí odkaz:
http://arxiv.org/abs/2205.03170
In this paper, we revisit the verification of strong K-step opacity (K-SSO) for partially-observed discrete-event systems modeled as nondeterministic finite-state automata. As a stronger version of the standard K-step opacity, K-SSO requires that an
Externí odkaz:
http://arxiv.org/abs/2204.04698