45 citations · 205 across the 65 of their papers we have counts for
4 papers · 1 filter
Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications
Rafael Rodrigues da Silva, Hai Lin
Cooperative adaptive cruise control(CACC) system provides a great promise to significantly reduce traffic congestion while maintaining a high level of safety. Recent years have see…
SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
Rafael Rodrigues da Silva, Samuel Silva, Grigoriy Dubrovskiy +1
An autonomous navigation with proven collision avoidance in unknown and dynamic environments is still a challenge, particularly when there are moving obstacles. A popular approach…
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…
Formal Design of Robot Integrated Task and Motion Planning
Rafael Rodrigues da Silva, Bo Wu, Hai Lin
Integrated Task and Motion Planning (ITMP) for mobile robots in a dynamic environment with moving obstacles is a challenging research question and attracts more and more attentions…