36 citations · 82 across the 11 of their papers we have counts for
4 papers · 1 filter
On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model
Dawei Sun, Minhyun Cho, Inseok Hwang
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack…
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems
Jingkai Chen, Jiaoyang Li, Yijiang Huang +7
Multi-robot assembly systems are becoming increasingly appealing in manufacturing due to their ability to automatically, flexibly, and quickly construct desired structural designs.…
Multi-agent Motion Planning from Signal Temporal Logic Specifications
Dawei Sun, Jingkai Chen, Sayan Mitra +1
We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonh…
SABLAS: Learning Safe Control for Black-box Dynamical Systems
Zengyi Qin, Dawei Sun, Chuchu Fan
Control certificates based on barrier functions have been a powerful tool to generate probably safe control policies for dynamical systems. However, existing methods based on barri…