4 citations · 8 across the 5 of their papers we have counts for
8 papers
Generalized Current-State Opacity With Dynamically Changing Secrets
Dan You, Shouguang Wang, Carla Seatzu
Opacity, an information-flow property related to the privacy and security of a system, has been extensively studied in the context of discrete event systems. Although various notio…
A framework for the analysis of supervised discrete event systems under attack
Qi Zhang, Carla Seatzu, Zhiwu Li +1
This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation o…
Tracking Control by the Newton-Raphson Method with Output Prediction and Controller Speedup
Yorai Wardi, Carla Seatzu, Jorge Cortes +3
This paper presents a control technique for output tracking of reference signals in continuous-time dynamical systems. The technique is comprised of the following three elements: (…
Verification of infinite-step and K-step opacity Using Petri Nets
Hao Lan, Yin Tong, Jin Guo +1
This paper addresses the problem of infinite-step opacity and K-step opacity of discrete event systems modeled with Petri nets. A Petri net system is said to be infinite-step/K-ste…
Verification of Detectability Using Petri Nets and Detector
Hao Lan, Yin Tong, Jin Guo +1
Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and subsequent states. In this paper, to reduce the compl…
Verification of C-detectability Using Petri Nets
Hao Lan, Yin Tong, Jin Guo +1
Detectability describes the property of an system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we relax…