5 papers
Active Perception and Control from Temporal Logic Specifications
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about th…
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Rafael Rodrigues da Silva, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…
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…