research
∙
05/01/2020
A framework for the analysis of supervised discrete event systems under attack
This paper focuses on the problem of cyber attacks for discrete event sy...
share
research
∙
03/31/2020
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach
This paper proposes a semi-structural approach to verify the nonblocking...
research
∙
06/12/2019
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems
The problem of cyber attacks with bounded sensor reading edits for parti...
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