2 papers
eess.SP2018
Reactive Supervisory Control of Open Discrete-event Systems
Alireza Partovi, Hai Lin
The conventional Wonham-Ramadge supervisory control framework of discrete event systems enforces a closed discrete event system to generate correct behaviors under certain environm…
cs.CR2018
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems
Bo Wu, Jin Dai, Hai Lin
Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enfor…