2 citations · 5 across the 8 of their papers we have counts for
4 papers · 1 filter
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…