Skip to content

Rahul Mangharam

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

35

Venues

20

Active years

2005–2025

Best venue rank

A*

Where they publish

Papers

35 indexed papers, newest first.

YearVenueTitleAuthors
2025IROSMulti-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications.Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2024ICRALearning Adaptive Safety for Multi-Agent Systems.Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu
2023ICRALocal_INN: Implicit Map Representation and Localization with Invertible Neural Networks.Zirui Zang, Hongrui Zheng, Johannes Betz, Rahul Mangharam
2022COMSNETSDeriving Spatial Policies for Overtaking Maneuvers with Autonomous Vehicles.Jayanth Bhargav, Johannes Betz, Hongrui Zheng, Rahul Mangharam
2020ICMLFormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis.Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake
2020ICRATUNERCAR: A Superoptimization Toolchain for Autonomous Racing.Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam
2020SIGCSETeaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum.Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas
2016COMSNETSThree challenges in cyber-physical systems.Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang
2016SENSYSData Predictive Control for Building Energy Management: Poster Abstract.Achin Jain, Madhur Behl, Rahul Mangharam
2016SENSYSData Predictive Control for Peak Power Reduction.Achin Jain, Rahul Mangharam, Madhur Behl
2015EMSOFTScalable scheduling of energy control systems.Truong X. Nghiem, Rahul Mangharam
2015SENSYSPoster Abstract: A Data-Driven Demand Response Recommender System.Madhur Behl, Rahul Mangharam
2015SENSYSSometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor.Madhur Behl, Rahul Mangharam
2015RTSSHardware Optimizations for Anytime Perception and Control.Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam
2015RTSSCo-design of Anytime Computation and Robust Control.Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2014ISoLACompositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka
2014SENSYSDistributed control of a swarm of buildings connected to a smart grid: demo abstract.Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donz, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh
2012SENSYSMLE+: a tool for integrated design and deployment of energy efficient building controls.Willy Bernal, Madhur Behl, Truong X. Nghiem, Rahul Mangharam
2012SENSYSMLE+: design and deployment integration for energy-efficient building controls.Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam
2012RTSSGreen Scheduling for Energy-Efficient Operation of Multiple Chiller Plants.Madhur Behl, Truong Nghiem, Rahul Mangharam
2012RTASFrom Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012TACASModeling and Verification of a Dual Chamber Implantable Pacemaker.Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
2011ACSSCNetwork synthesis for dynamical system stabilization.Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011RTSSOn the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem.Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2011RTSSAnytime Algorithms for GPU Architectures.Rahul Mangharam, Aminreza Abrahimi Saba
2010ECRTSReal-Time Heart Model for Implantable Cardiac Device Validation and Verification.Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010RTASEmbedded Virtual Machines for Robust Wireless Control and Actuation.Miroslav Pajic, Rahul Mangharam
2007LCNNode Connectivity in Vehicular Ad Hoc Networks with Structured Mobility.Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam
2006BroadnetsMAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure.Rahul Mangharam, Raj Rajkumar
2006MobiquitousGrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks.Rahul Mangharam, Daniel S. Weller, Raj Rajkumar, Priyantha Mudalige, Fan Bai
2006RTSSVoice over Sensor Networks.Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohei Suzuki
2006SECONRT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks.Anthony Rowe, Rahul Mangharam, Raj Rajkumar
2005EWSNOptimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks.Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, Ingrid Moerman
2005INFOCOMOptimal fixed and scalable energy management for wireless networks.Rahul Mangharam, Ragunathan Rajkumar, Sofie Pollin, Francky Catthoor, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman
2005MOBICOMGrooveSim: a topography-accurate simulator for geographic routing in vehicular networks.Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar, Jayendra S. Parikh