2 citations · 5 across the 8 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
eess.SY2018★ 1 cited
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications
Zhiyu Liu, Bo Wu, Jin Dai +1
Control and communication are often tightly coupled in motion planning of networked mobile robots, due to the fact that robotic motions will affect the overall communication qualit…
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…