Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2021.04.048
Abstract: Abstract The problem of stealthy sensor attacks for labeled Petri nets is considered. An operator observes the plant to establish if a set of critical markings has been reached. The attacker can corrupt the sensor… read more here.
Keywords: sensor attacks; petri nets; labeled petri; attack ... See more keywords
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Sign Up to like & getrecommendations! Published in 2021 at "Nonlinear Analysis: Hybrid Systems"
DOI: 10.1016/j.nahs.2021.101087
Abstract: Abstract Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. Different notions of detectability have been proposed in the literature. In this… read more here.
Keywords: strong periodic; periodic detectability; petri nets; labeled petri ... See more keywords
Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2894352
Abstract: In the literature, researchers have been studying the minimum initial marking (MIM) estimation problem in the labeled Petri nets with observable transitions. This paper extends the results to labeled Petri nets with unobservable transitions (with… read more here.
Keywords: petri nets; labeled petri; initial marking; unobservable transitions ... See more keywords
Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3272404
Abstract: This paper deals with the supervisory control problem of discrete event systems modeled with labeled Petri nets. A transition priority matrix is proposed to control the firing of controllable transitions to prevent the system from… read more here.
Keywords: labeled petri; transition priority; control; control strategy ... See more keywords
Marking Estimation in a Class of Time Labeled Petri Nets
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2019.2907413
Abstract: This paper proposes an efficient marking estimation method for a subclass of time labeled Petri nets (TLPNs), in which each transition is associated with an infinite upper bound delay. The unobservable subnet of the considered… read more here.
Keywords: time labeled; petri nets; labeled petri; estimation ... See more keywords
Codiagnosability Enforcement in Labeled Petri Nets
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3173170
Abstract: This article aims to enforce codiagnosability in labeled Petri nets, which are monitored by a series of sites. A labeled Petri net is codiagnosable with respect to a certain fault, if the occurrence of such… read more here.
Keywords: codiagnosability enforcement; labeled petri; enforcement labeled; petri nets ... See more keywords