research
∙
07/24/2020
Opacity of Discrete Event Systems with Active Intruder
Opacity is a security property formalizing the information leakage of a ...
share
research
∙
02/24/2020
Ensuring Privacy in Location-Based Services: A Model-based Approach
In recent years, the widespread of mobile devices equipped with GPS and ...
research
∙
03/30/2018
Reactive Supervisory Control of Open Discrete-event Systems
Traditional supervisory control theory of discrete-event systems mainly ...
research
∙
11/06/2017
