Rafael Rodrigues da Silva

21 papers C 2Journal 16Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Design and Implementation of Parameterized MPC Strategies for Lane Keeping Assist Systems in Real-Time HIL Architecture. IEEE Access James Duvan Garcia Montoya, André Murilo, Evandro Leonardo Silva Teixeira, Rafael Rodrigues da Silva, Bruno Augusto Angélico
2025	J	`jnl`	Model-Based Design Framework for ESC Development and Validation in a High-Fidelity Simulation Environment. IEEE Access Lucas Raimundo, André Murilo, Rafael Rodrigues da Silva, Evandro Leonardo Silva Teixeira, Renato Vilela Lopes, Raul Breno Fiuza Bento, Lucas Alves Torres
2023	J	`jnl`	A Comprehensive Analysis of Model Predictive Control for Lane Keeping Assist System. IEEE Access James Duvan Garcia Montoya, Evandro Leonardo Silva Teixeira, André Murilo, Rafael Rodrigues da Silva
2022	J	`jnl`	Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Autom. Control. Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2021	J	`jnl`	Active Perception and Control from PrSTL Specifications. CoRR Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2021	J	`jnl`	idSTLPy: A Python Toolbox for Active Perception and Control. CoRR Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin
2020	J	`jnl`	Automatic Trajectory Synthesis for Real-Time Temporal Logic. CoRR Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2019	J	`jnl`	Active Perception and Control From Temporal Logic Specifications. IEEE Control. Syst. Lett. Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2019	J	`jnl`	Active Perception and Control from Temporal Logic Specifications. CoRR Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2019	—	`conf`	Formal Connections between Template and Anchor Models via Approximate Simulation. Humanoids Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
2019	J	`jnl`	Formal Connections between Template and Anchor Models via Approximate Simulation. CoRR Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
2018	C	`conf`	Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators. ACC Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
2018	J	`jnl`	Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications. CoRR Rafael Rodrigues da Silva, Hai Lin
2017	C	`conf`	A hardware-in-the loop platform for designing and testing of electric power assisted steering. IECON Rafael Rodrigues da Silva, Evandro Leonardo Silva Teixeira, André Murilo, Max Mauro Dias Santos
2017	J	`jnl`	Reactive Integrated Mission and Motion planning. CoRR Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
2016	J	`jnl`	Combined top-down and bottom-up design of cooperative multi-robot systems. CoRR Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
2016	—	`conf`	Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. AAAI Fall Symposia Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
2016	J	`jnl`	Formal Design of Robot Integrated Task and Motion Planning. CoRR Rafael Rodrigues da Silva, Bo Wu, Hai Lin
2016	—	`conf`	Formal design of robot Integrated Task and Motion Planning. CDC Rafael Rodrigues da Silva, Bo Wu, Hai Lin
2016	J	`jnl`	SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments. CoRR Rafael Rodrigues da Silva, Samuel Silva, Grigoriy Dubrovskiy, Hai Lin
2016	J	`jnl`	Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications. CoRR Rafael Rodrigues da Silva, Hai Lin