no code implementations • 17 May 2024 • Qianqian Chen, ShaoYuan Li
This paper investigates the distributed model predictive control for an asynchronous nonlinear multi-agent system with external interference via a self-triggered generator and a prediction horizon regulator.
no code implementations • 17 May 2024 • Qianqian Chen, ShaoYuan Li
This paper investigates an aperiodic distributed model predictive control approach for multi-agent systems (MASs) in which parameterized synchronization constraints is considered and an innovative self-triggered criterion is constructed.
no code implementations • 27 Mar 2024 • Yu Chen, Xuanyuan Yin, ShaoYuan Li, Xiang Yin
Our objective is to synthesize a control policy that ensures the surveillance task while maximizes the efficiency.
no code implementations • 26 Mar 2024 • Bowen Ye, Jianing Zhao, ShaoYuan Li, Xiang Yin
Simultaneously, we aim to maintain a pre-determined order in the values of the objective function for each agent, which we refer to as the ordering constraints.
no code implementations • 8 Feb 2024 • Peng Lv, ShaoYuan Li, Xiang Yin
To solve this problem, we propose a game-theoretical approach by converting the cDES as a consumption two-player graph game (cTPG) and reformulate the optimal supervisory control problem in game theory.
1 code implementation • 10 Dec 2023 • Siqi Wang, ShaoYuan Li, Li Yin, Xiang Yin
The second objective is to maximize the worst-case spatial robustness value within a bounded time shift.
no code implementations • 10 Oct 2023 • Dingran Yuan, Xinyi Yu, ShaoYuan Li, Xiang Yin
In order to tackle the overtaking task in such challenging scenarios, we introduce a novel integrated framework tailored for vehicle overtaking maneuvers.
no code implementations • 25 Sep 2023 • Ruijia Liu, ShaoYuan Li, Xiang Yin
In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications.
no code implementations • 20 Sep 2023 • Tiange Yang, Yuanyuan Zou, Jinfeng Liu, Tianyu Jia, ShaoYuan Li
This paper focuses on the heterogeneous multi-agent control problem under global temporal logic tasks.
no code implementations • 23 Nov 2022 • Yu Chen, ShaoYuan Li, Xiang Yin
We consider the problem of synthesizing optimal policies for Markov decision processes (MDP) for both utility objective and security constraint.
1 code implementation • 15 Nov 2022 • Xinyi Yu, Chuwei Wang, Dingran Yuan, ShaoYuan Li, Xiang Yin
However, instead of applying MPC directly for the entire task horizon, we decompose the STL formula into several sub-formulae with disjoint time horizons, and shrinking horizon MPC is applied for each short-horizon sub-formula iteratively.
1 code implementation • 26 Sep 2022 • Xinyi Yu, Weijie Dong, Xiang Yin, ShaoYuan Li
To this end, effective approaches for the computation of feasible sets of STL formulae are provided.
no code implementations • 3 May 2022 • Jianing Zhao, Xiang Yin, ShaoYuan Li
However, in contrast to existing results, where different verification procedures are developed for different properties case-by-case, in this work, we provide a unified framework for verifying all these properties by reducing each of them as an instance of HyperLTL model checking.
no code implementations • 27 Apr 2022 • Weijie Dong, Xiang Yin, ShaoYuan Li
In this work, we propose a novel \emph{uniform framework} for diagnosability of DES subject to, not only sensor failures, but also a very general class of unreliable sensors.
no code implementations • 6 Apr 2022 • Weijie Dong, Shang Gao, Xiang Yin, ShaoYuan Li
Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations.
no code implementations • 31 Mar 2022 • Bohan Cui, Xiang Yin, ShaoYuan Li, Alessandro Giua
In this paper, we consider a new type of secret related to the knowledge of the system user.
no code implementations • 31 Mar 2022 • Jingshi Yao, Xiang Yin, ShaoYuan Li
Specifically, we consider an active attacker that can tamper with the observations received by the supervisor by, e. g., hacking on the communication channel between the sensors and the supervisor.
no code implementations • 30 Mar 2022 • Xinyi Yu, Weijie Dong, Xiang Yin, ShaoYuan Li
We show that, by explicitly utilizing the model information of the dynamic system, the proposed online monitoring algorithm can falsify or certify of the specification in advance compared with existing algorithms, where no model information is used.
no code implementations • 21 Feb 2022 • Ting Bai, Alexander Johansson, ShaoYuan Li, Jonas Mårtensson
To evaluate the effect of the pricing on the platooning system, we perform a simulation over the Swedish road network.
no code implementations • 2 Feb 2021 • Yifan Xie, Xiang Yin, ShaoYuan Li
We assume that the system has a "secret" that does not want to be revealed to the intruder.
no code implementations • 9 Dec 2020 • Junyao Hou, Xiang Yin, ShaoYuan Li
In this paper, we investigate the verification of current-state opacity for discrete-event systems under Orwellian-type observations, i. e., the system is allowed to re-interpret the observation of an event based on its future suffix.
no code implementations • 20 Oct 2020 • Yifan Xie, Xiang Yin, ShaoYuan Li
Compared with the standard deterministic control mechanism, such a non-deterministic control mechanism can enhance the plausible deniability of the controlled system as the online control decision is a random realization and cannot be implicitly inferred from the control policy.