9 citations · 32 across the 13 of their papers we have counts for
7 papers · 1 filter
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…
Barrier Certificates for Assured Machine Teaching
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen +2
Machine teaching can be viewed as optimal control for learning. Given a learner's model, machine teaching aims to determine the optimal training data to steer the learner towards a…
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj +1
Active classification, i.e., the sequential decision-making process aimed at data acquisition for classification purposes, arises naturally in many applications, including medical…
Privacy Verification in POMDPs via Barrier Certificates
Mohamadreza Ahmadi, Bo Wu, Hai Lin +1
Privacy is an increasing concern in cyber-physical systems that operates over a shared network. In this paper, we propose a method for privacy verification of cyber- physical syste…
Privacy Preserving Controller Synthesis via Belief Abstraction
Bo Wu, Hai Lin
Privacy is a crucial concern in many systems in addition to their given tasks. We consider a new notion of privacy based on beliefs of the system states, which is closely related t…
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…