Rafael Rodrigues da Silva

Orcid: 0000-0003-1006-7738

According to our database1, Rafael Rodrigues da Silva authored at least 15 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Comprehensive Analysis of Model Predictive Control for Lane Keeping Assist System.
IEEE Access, 2023

2022
Automatic Trajectory Synthesis for Real-Time Temporal Logic.
IEEE Trans. Autom. Control., 2022

2021
idSTLPy: A Python Toolbox for Active Perception and Control.
CoRR, 2021

Active Perception and Control from PrSTL Specifications.
CoRR, 2021

2019
Active Perception and Control From Temporal Logic Specifications.
IEEE Control. Syst. Lett., 2019

Formal Connections between Template and Anchor Models via Approximate Simulation.
Proceedings of the 19th IEEE-RAS International Conference on Humanoid Robots, 2019

2018
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications.
CoRR, 2018

Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Reactive Integrated Mission and Motion planning.
CoRR, 2017

A hardware-in-the loop platform for designing and testing of electric power assisted steering.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016
Combined top-down and bottom-up design of cooperative multi-robot systems.
CoRR, 2016

SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments.
CoRR, 2016

Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications.
CoRR, 2016

Formal design of robot Integrated Task and Motion Planning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016


  Loading...