Carlos Rodriguez

ORCID

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 19

Top Venues

CoRR

ACC

ETFA

IEEE Control. Syst. Lett.

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Shyam Jagannathan, Vijay Pothukuchi, Jesse Villarreal, Kumar Desappan, Manu Mathew, Rahul Ravikumar, Aniket Limaye, Mihir Mody, Pramod Swami, Piyali Goswami, Carlos Rodriguez, Emmanuel Madrigal, Marco Herrera
OpTIFlow - An optimized end-to-end dataflow for accelerating deep learning workloads on heterogeneous SoCs. Autonomous Vehicles and Machines (2023)
Carlos Rodriguez, Prashant Mhaskar, Vladimir Mahalec
Linear hybrid models of distillation towers. Comput. Chem. Eng. 171 (2023)
Domingos Alves Dias Júnior, Luana Batista da Cruz, João Otávio Bandeira Diniz, Aristófanes Corrêa Silva, Anselmo Cardoso de Paiva, Marcelo Gattass, Carlos Rodriguez, Roberto Quispe Quispe, Roberto Ribeiro, Vinicius Riguete
Detection of potential gas accumulations in 2D seismic images using spatio-temporal, PSO, and convolutional LSTM approaches. Expert Syst. Appl. 215 (2023)
Carlos Rodriguez, Jairo Viola, Joaquin Alvarez, YangQuan Chen
Global Monotonic Radio-Frequency Impedance Matching Via Control Lyapunov Function Under Safety Constraints. CDC (2022)
Carlos Rodriguez, Jairo Viola, Joaquin Alvarez, YangQuan Chen
Radio Frequency Impedance Matching Based on Control Lyapunov Function. ACC (2022)
Gautam Gala, Carlos Rodriguez, Veaceslav Monaco, Javier Castillo, Gerhard Fohler, Veaceslav Falico, Sergey Tverdyshev
Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms. DSD (2022)
Jairo Viola, Derek Hollenbeck, Carlos Rodriguez, YangQuan Chen
Fractional-Order Stochastic Extremum Seeking Control with Dithering Noise for Plasma Impedance Matching. CCTA (2021)
Hicham El Aiss, Karina A. Barbosa, Carlos Rodriguez
Input-Output Admissibility Analysis of Continuous Descriptor System With Time-Varying Delay. IEEE Control. Syst. Lett. 5 (5) (2021)
Hicham El Aiss, Karina A. Barbosa, Carlos Rodriguez
Input-Output Admissibility Analysis of Continuous Descriptor System with Time-Varying Delay. ACC (2021)
Jairo Viola, Carlos Rodriguez, YangQuan Chen
PHELP: Pixel Heating Experiment Learning Platform for Education and Research on IAI-based Smart Control Engineering. CoRR (2020)
Carlos Rodriguez, Karina A. Barbosa, Daniel Ferreira Coutinho
Robust Filtering for Discrete-Time Linear Parameter-Varying Descriptor Systems. Symmetry 12 (11) (2020)
Carlos Rodriguez, Alvaro Vidal, Phoevos Koukouvinis, Manolis Gavaises, Mark A. McHugh
Simulation of transcritical fluid jets using the PC-SAFT EoS. J. Comput. Phys. 374 (2018)
Carlos Rodriguez, Thierry Garaix, Xiaolan Xie, Vincent Augusto
Staff dimensioning in homecare services with uncertain demands. CoRR (2018)
Dion Bailey, Tom Pajak, Daoud Clarke, Carlos Rodriguez
Algorithms and Architecture for Real-Time Recommendations at News UK. SGAI Conf. (2017)
Dion Bailey, Tom Pajak, Daoud Clarke, Carlos Rodriguez
Algorithms and Architecture for Real-time Recommendations at News UK. CoRR (2017)
Karina A. Barbosa, Daniel Ferreira Coutinho, Carlos E. de Souza, Carlos Rodriguez
Bounded real lemma for discrete linear time-varying descriptor systems. ASCC (2017)
Carlos Rodriguez, Abiud Rojas-de-Silva, Raúl Suárez
Dual-arm framework for cooperative applications. ETFA (2016)
Carlos Rodriguez, Raúl Suárez
Combining motion planning and task assignment for a dual-arm system. IROS (2016)
Carlos Rodriguez, Raúl Suárez
Comparison of motion planners in an environment with removable obstacles. ETFA (2015)
José M. Chenlo, Jordi Atserias, Carlos Rodriguez, Roi Blanco
FBM-Yahoo! at RepLab 2012. CLEF (Online Working Notes/Labs/Workshop) (2012)
Jordi Atserias, Judith Domingo, Carlos Rodriguez, Teresa Suñol
Automatic Annotation of the Catalan Wikipedia: Exploring the Semantic Space via multiple NERC systems. Proces. del Leng. Natural 45 (2010)
Carlos Rodriguez, Jorge Jesus Gómez-Sanz, Juan Pavón
Modelling Self-Management in Service-Oriented Systems using SelfMML. MoSE@TOOLS (2010)
Scott Conrad, Carlos Rodriguez, Christopher Marberry, Philip Craiger
Forensic Analysis of the Sony Playstation Portable. IFIP Int. Conf. Digital Forensics (2009)
George Lee, Carlos Rodriguez, Anant Madabhushi
Investigating the Efficacy of Nonlinear Dimensionality Reduction Schemes in Classifying Gene and Protein Expression Studies. IEEE ACM Trans. Comput. Biol. Bioinform. 5 (3) (2008)
George Lee, Carlos Rodriguez, Anant Madabhushi
An Empirical Comparison of Dimensionality Reduction Methods for Classifying Gene and Protein Expression Datasets. ISBRA (2007)
Scott Doyle, Carlos Rodriguez, Anant Madabhushi, John E. Tomaszewski, Michael D. Feldman
Detecting Prostatic Adenocarcinoma From Digitized Histology Using a Multi-Scale Hierarchical Classification Approach. EMBC (2006)
Carlos Rodriguez
Metalinguistic Information Extraction for Terminology CoRR (2005)
Heng Cao, Feng Cheng, Haifeng Xi, Markus Ettl, Stephen J. Buckley, Carlos Rodriguez
Supply chain simulation: a simulation-based tool for inventory analysis in a server computer manufacturing environment. WSC (2003)
Julie Mason, Steve Mitchell, Margaret Mooney, Lynne Reasoner, Carlos Rodriguez
INFOMINE: Promising Directions in Virtual Library Development. First Monday 5 (6) (2000)
Lim Cheung, Richard Bird, Ashish Chitkara, Alan Rego, Carlos Rodriguez, Jonathan Yuen
Initial Operating and Clinical Results of a Full Field Mammography System. Digital Mammography / IWDM (1998)
S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. FTCS (1996)
J. L. Marion, Carlos Rodriguez, M. de Rougemont
The Evaluation of Strategies in Motion Planning with Uncertainty. ICRA (1994)
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. ICSE (1992)
Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis
Safety for Branching Time Semantics. ICALP (1991)
Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE (1990)
Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems (1989)
Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
Verification in XESAR of the Sliding Window Protocol. PSTV (1987)

Carlos Rodriguez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlos Rodriguez