2 citations · 5 across the 8 of their papers we have counts for
8 papers
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…
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…
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…
Coordination and Control of Distributed Discrete Event Systems under Actuator and Sensor Faults
Jin Dai, Hai Lin
We investigate the coordination and control problems of distributed discrete event systems that are composed of multiple subsystems subject to potential actuator and/or sensor faul…
Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications
Zhiyu Liu, Jin Dai, Bo Wu +1
We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-…
Learning-based Formal Synthesis of Cooperative Multi-agent Systems
Jin Dai, Alessandro Benini, Hai Lin +3
We propose a formal design framework for synthesizing coordination and control policies for cooperative multi-agent systems to accomplish a global mission. The global performance r…
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications
Zhiyu Liu, Bo Wu, Jin Dai +1
In future intelligent transportation systems, networked vehicles coordinate with each other to achieve safe operations based on an assumption that communications among vehicles and…
Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
Rafael Rodrigues da Silva, Bo Wu, Jin Dai +1
We propose a hierarchical design framework to automatically synthesize coordination schemes and control policies for cooperative multi-agent systems to fulfill formal performance r…