4.7 Article

Performance safety enforcement in strongly connected timed event graphs

Journal

AUTOMATICA
Volume 128, Issue -, Pages -

Publisher

PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2021.109605

Keywords

Discrete event system; Petri net; Timed event graphs; Performance safety

Funding

  1. National Natural Science Foundation of China [61703321, 61803246, 62073206]
  2. China Postdoctoral Science Foundation [2019M663608]
  3. Shaanxi Provincial Natural Science Foundation, China [2019JQ-022, 2020JQ733]
  4. Fundamental Research Funds for the Central Universities, China [JB190407, JB210413]

Ask authors/readers for more resources

This paper addresses the performance safety enforcing problem in plants modeled by timed event graphs, proposing two approaches for designing transition protecting policies under different scenarios.
In this paper, we tackle the performance safety enforcing problem in plants modeled by timed event graphs that are a subclass of timed Petri nets. We assume that a malicious intruder can increase the firing delay of transitions by adding delay in communication, or corrupt the transmitted data. Our target is to design a transition protecting policy to guarantee that the global performance does not drop below a given lower-bound threshold. Two classes of situations are considered: (1) the operator does not know the capability of the intruder, which means that all possible attacks must be taken into account; (2) the operator knows the upper bound of the capability of the intruder, e.g., the maximal number of transitions that can be simultaneously attacked. For the former case, we develop an algorithm using mixed integer linear programming to obtain an optimal protecting policy. For the latter situation, we develop a heuristic method to compute a protecting policy that is locally optimal. (C) 2021 Elsevier Ltd. All rights reserved.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.7
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available