research
∙
04/10/2022
Verification of Strong K-Step Opacity for Discrete-Event Systems
In this paper, we revisit the verification of strong K-step opacity (K-S...
share
research
∙
11/03/2021
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems
Discrete-event systems usually consist of discrete states and transition...
research
∙
09/12/2021
Strong current-state and initial-state opacity of discrete-event systems
Opacity, as an important property in information-flow security, characte...
research
∙
01/14/2020
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
The state inference problem and fault diagnosis/prediction problem are f...
research
∙
02/21/2018
On detectability of labeled Petri nets and finite automata
Detectability is a basic property of dynamic systems: when it holds one ...
research
∙
02/21/2018
On detectability of labeled Petri nets with inhibitor arcs
Detectability is a basic property of dynamic systems: when it holds one ...
research
∙
02/09/2018