45 citations · 205 across the 65 of their papers we have counts for
10 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…
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance
Vincent Kurtz, Hai Lin
Next generation Unmanned Aerial Vehicles (UAVs) must reliably avoid moving obstacles. Existing dynamic collision avoidance methods are effective where obstacle trajectories are lin…
Perfectly Controllable Multi-Agent Networks
Shaobin Cao, Zhijian Ji, Hai Lin +1
This note investigates how to design topology structures to ensure the controllability of multi-agent networks (MASs) under any selection of leaders. We put forward a concept of pe…
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…
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…
POMDP Model Learning for Human Robot Collaboration
Wei Zheng, Bo Wu, Hai Lin
Recent years have seen human robot collaboration (HRC) quickly emerged as a hot research area at the intersection of control, robotics, and psychology. While most of the existing w…