Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDRahul Mangharam
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j24]Yash Vardhan Pant, Houssam Abbas, Kartik Mohta
, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam:
Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. 29(2): 768-779 (2021)- [i8]Alena Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme. CoRR abs/2101.10404 (2021) - 2020
- [c89]Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake:
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. ICML 2020: 8992-9004 - [c88]Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam:
TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. ICRA 2020: 5356-5362 - [c87]Alena Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. ITSC 2020: 1-8 - [c86]Alena Rodionova, Ignacio Alvarez, Maria Soledad Elli, Fabian Oboril, Johannes Quast, Rahul Mangharam:
How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles. IV 2020: 1457-1464 - [c85]Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas:
Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum. SIGCSE 2020: 657-663 - [i7]Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake:
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. CoRR abs/2003.03900 (2020) - [i6]Alena Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. CoRR abs/2006.13267 (2020)
2010 – 2019
- 2019
- [c84]Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. EMBC 2019: 5941-5944 - [c83]Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam:
Temporal logic robustness for general signal classes. HSCC 2019: 45-56 - [c82]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS 2019: 13-22 - [c81]Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam:
Robustness evaluation of computer-aided clinical trials for medical devices. ICCPS 2019: 163-173 - [c80]Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam:
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. NFM 2019: 355-362 - [c79]Matthew O'Kelly, Hongrui Zheng, Dhruv Karthik, Rahul Mangharam:
F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning. Proceedings of Machine Learning Research 2019: 77-89 - [i5]Matthew O'Kelly, Varundev Sukhil, Houssam Abbas, Jack Harkins, Chris Kao, Yash Vardhan Pant, Rahul Mangharam, Dipshil Agarwal, Madhur Behl, Paolo Burgio, Marko Bertogna:
F1/10: An Open-Source Autonomous Cyber-Physical Platform. CoRR abs/1901.08567 (2019) - 2018
- [j23]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alena Rodionova:
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106(9): 1593-1615 (2018) - [j22]Achin Jain, Francesco Smarra, Madhur Behl, Rahul Mangharam:
Data-Driven Model Predictive Control with Regression Trees - An Application to Building Energy Management. ACM Trans. Cyber Phys. Syst. 2(1): 4:1-4:21 (2018) - [c78]Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo:
Data-driven Switched Affine Modeling for Model Predictive Control. ADHS 2018: 199-204 - [c77]Houssam Abbas, Rahul Mangharam:
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology. ACC 2018: 1592-1597 - [c76]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alena Rodionova:
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek 2018: 1-2 - [c75]Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC 2018: 1-4 - [c74]Achin Jain, Truong X. Nghiem, Manfred Morari, Rahul Mangharam:
Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems. ICCPS 2018: 140-149 - [c73]Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam:
Fly-by-logic: control of multi-drone fleets with temporal logic objectives. ICCPS 2018: 186-197 - [i4]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR abs/1810.03808 (2018) - 2017
- [j21]Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam:
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14(2): 15-23 (2017) - [c72]Achin Jain, Madhur Behl, Rahul Mangharam:
Data Predictive Control for building energy management. ACC 2017: 44-49 - [c71]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Smooth operator: Control using the smooth robustness of temporal logic. CCTA 2017: 1235-1240 - [c70]Achin Jain, Francesco Smarra, Rahul Mangharam:
Data predictive control using regression trees and ensemble learning. CDC 2017: 4446-4451 - [c69]Alena Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam:
An Autonomous Vehicle Control Stack. ARCH@CPSWeek 2017: 44-51 - [c68]Houssam Abbas, Matthew O'Kelly, Alena Rodionova, Rahul Mangharam:
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. CyPhy 2017: 94-106 - [c67]Houssam Abbas, Matthew O'Kelly, Rahul Mangharam:
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. HSCC 2017: 217-225 - [p1]Wendy Nilsen, Emre Ertin, Eric B. Hekler, Santosh Kumar, Insup Lee, Rahul Mangharam, Misha Pavel, James M. Rehg, William T. Riley, Daniel E. Rivera, Donna Spruijt-Metz:
Modeling Opportunities in mHealth Cyber-Physical Systems. Mobile Health - Sensors, Analytic Methods, and Applications 2017: 443-453 - [i3]Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas:
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology. CoRR abs/1705.01923 (2017) - 2016
- [j20]Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
The Challenges of High-Confidence Medical Device Software. Computer 49(1): 34-42 (2016) - [c66]Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka:
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 2016: 1445-1452 - [c65]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization. CDC 2016: 5694-5699 - [c64]Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang:
Three challenges in cyber-physical systems. COMSNETS 2016: 1-8 - [c63]Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. ARCH@CPSWeek 2016: 1-8 - [c62]Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
In-silico pre-clinical trials for implantable cardioverter defibrillators. EMBC 2016: 169-172 - [c61]Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam:
High-level modeling for computer-aided clinical trials of medical devices. HLDVT 2016: 85-92 - [c60]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Towards Model Checking of Implantable Cardioverter Defibrillators. HSCC 2016: 87-92 - [c59]Madhur Behl, Achin Jain, Rahul Mangharam:
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems. ICCPS 2016: 35:1-35:10 - [c58]Achin Jain, Rahul Mangharam, Madhur Behl:
Data Predictive Control for Peak Power Reduction. BuildSys@SenSys 2016: 109-118 - [c57]Achin Jain, Madhur Behl, Rahul Mangharam:
Data Predictive Control for Building Energy Management: Poster Abstract. BuildSys@SenSys 2016: 245-246 - [e4]Petru Eles, Rahul Mangharam:
2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016. ACM 2016, ISBN 978-1-4503-4485-2 [contents] - [i2]Madhur Behl, Achin Jain, Rahul Mangharam:
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems. CoRR abs/1601.05164 (2016) - 2015
- [j19]Paul Bogdan, Rahul Mangharam:
Guest Editors' Introduction: Cyber-Physical Systems for Medical Applications. IEEE Des. Test 32(5): 6-8 (2015) - [j18]Zhihao Jiang, Rahul Mangharam:
High-Confidence Medical Device Software Development. Found. Trends Electron. Des. Autom. 9(4): 309-391 (2015) - [c56]Kuk Jin Jang, Jungmin Ryoo, Orkan Telhan, Rahul Mangharam:
Cloud Mat: Context-Aware Personalization of Fitness Content. SCC 2015: 301-308 - [c55]Truong X. Nghiem, Rahul Mangharam:
Scalable scheduling of energy control systems. EMSOFT 2015: 137-146 - [c54]Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam:
Co-design of Anytime Computation and Robust Control. RTSS 2015: 43-52 - [c53]Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam:
Hardware Optimizations for Anytime Perception and Control. RTSS 2015: 380 - [c52]Madhur Behl, Rahul Mangharam:
Poster Abstract: A Data-Driven Demand Response Recommender System. BuildSys@SenSys 2015: 111-112 - [c51]Madhur Behl, Rahul Mangharam:
Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor. BuildSys@SenSys 2015: 137-146 - [e3]David E. Culler, Yuvraj Agarwal, Rahul Mangharam:
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, BuildSys 2015, Seoul, South Korea, November 4-5, 2015. ACM 2015, ISBN 978-1-4503-3981-0 [contents] - [i1]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Model Checking Implantable Cardioverter Defibrillators. CoRR abs/1512.08083 (2015) - 2014
- [j17]Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [j16]Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam:
Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. 16(2): 191-213 (2014) - [j15]Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam:
Editorial: Special issue on real-time and embedded technology and applications. ACM Trans. Embed. Comput. Syst. 13(4s): 119:1-119:2 (2014) - [j14]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [j13]Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee:
Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics 10(1): 3-16 (2014) - [c50]Yash Vardhan Pant, Truong X. Nghiem, Rahul Mangharam:
Peak power reduction in hybrid energy systems with limited load forecasts. ACC 2014: 4212-4217 - [c49]Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
IMpACT: Inverse model accuracy and control performance toolbox for buildings. CASE 2014: 1109-1114 - [c48]Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. ICCPS 2014: 13-24 - [c47]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:
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 2014: 356-364 - [c46]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:
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys@SenSys 2014: 172-173 - [e2]Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer:
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. OASICS 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-66-8 [contents] - [e1]Emmanuel Baccelli, Roozbeh Jafari, Rahul Mangharam, Rong Zheng:
Proceedings of the 4th ACM MobiHoc workshop on Pervasive wireless healthcare, MobileHealth@MobiHoc 2014, Philadelphia, Pennsylvania, USA, August 11, 2014. ACM 2014, ISBN 978-1-4503-2983-5 [contents] - 2013
- [j12]Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram:
Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. 31(4): 794-807 (2013) - [j11]William Price, Harsh Jain, Yash Pant, Rahul Mangharam:
ProtoDrive: an experimental platform for electric vehicle energy scheduling and control. SIGBED Rev. 10(2): 33 (2013) - [j10]Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam:
MLE+: a tool for integrated design and deployment of energy efficient building controls. SIGBED Rev. 10(2): 34 (2013) - [c45]Truong X. Nghiem, George J. Pappas, Rahul Mangharam:
Event-based Green scheduling of radiant systems in buildings. ACC 2013: 455-460 - [c44]Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas:
Networked realization of discrete-time controllers. ACC 2013: 2996-3001 - [c43]Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c42]Madhur Behl, Neel D. Shah, Larry Vadakedathu, Dan Wheeler, Rahul Mangharam:
Demo abstract: EnergyLab: building energy testbed for demand-response. IPSN 2013: 303-304 - 2012
- [j9]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE 100(1): 122-137 (2012) - [j8]Miroslav Pajic, Alexander Chernoguzov, Rahul Mangharam:
Robust architectures for embedded wireless network control and actuation. ACM Trans. Embed. Comput. Syst. 11(4): 82:1-82:24 (2012) - [c41]Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas:
Scalable scheduling of building control systems for peak demand reduction. ACC 2012: 3050-3055 - [c40]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
Green scheduling for radiant systems in buildings. CDC 2012: 7577-7582 - [c39]Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS 2012: 221 - [c38]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam:
Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36 - [c37]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 173-184 - [c36]Madhur Behl, Truong Nghiem, Rahul Mangharam:
Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants. RTSS 2012: 195-204 - [c35]Willy Bernal, Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
MLE+: a tool for integrated design and deployment of energy efficient building controls. BuildSys@SenSys 2012: 123-130 - [c34]Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam:
MLE+: design and deployment integration for energy-efficient building controls. BuildSys@SenSys 2012: 215-216 - [c33]Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam:
Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS 2012: 188-203 - 2011
- [j7]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. 56(10): 2305-2318 (2011) - [c32]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
Network synthesis for dynamical system stabilization. ACSCC 2011: 821-825 - [c31]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
Topological conditions for wireless control networks. CDC/ECC 2011: 2353-2360 - [c30]Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas:
Green scheduling of control systems for peak demand reduction. CDC/ECC 2011: 5131-5136 - [c29]Zhihao Jiang, Rahul Mangharam:
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. EMBC 2011: 263-266 - [c28]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
Green scheduling: Scheduling of control systems for peak power reduction. IGCC 2011: 1-8 - [c27]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS 2011: 131-140 - [c26]Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas:
Architecture for a fully distributed Wireless Control Network. IPSN 2011: 117-118 - [c25]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN 2011: 119-120 - [c24]Paul D. Martin, William Etter, Rahul Mangharam:
Demo abstract: R.A.V.E.N. - Remote autonomous vehicle explorer network. IPSN 2011: 123-124 - [c23]Madhur Behl, Mansimar Aneja, Harsh Jain, Rahul Mangharam:
EnRoute: An energy router for energy-efficient buildings. IPSN 2011: 125-126 - [c22]Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam:
Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification. IPSN 2011: 131-132 - [c21]Utsav Drolia, Zhenyan Wang, Yash Pant, Rahul Mangharam:
AutoPlug: An automotive test-bed for electronic controller unit testing and verification. ITSC 2011: 1187-1192 - [c20]Rahul Mangharam, Aminreza Abrahimi Saba:
Anytime Algorithms for GPU Architectures. RTSS 2011: 47-56 - [c19]Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS 2011: 295-304 - 2010
- [j6]Miroslav Pajic, Rahul Mangharam:
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [c18]Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas:
The wireless control network: Monitoring for malicious behavior. CDC 2010: 5979-5984 - [c17]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam:
The Wireless Control Network: Synthesis and robustness. CDC 2010: 7576-7581 - [c16]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS 2010: 239-248 - [c15]David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky:
Toward patient safety in closed-loop medical device systems. ICCPS 2010: 139-148 - [c14]Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation. IPSN 2010: 418-419 - [c13]Miroslav Pajic, Rahul Mangharam:
Embedded Virtual Machines for Robust Wireless Control and Actuation. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 79-88 - [c12]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation: demo abstract. Wireless Health 2010: 208-209
2000 – 2009
- 2009
- [c11]Rahul Mangharam, Miroslav Pajic:
Embedded Virtual Machines for Robust Wireless Control Systems. ICDCS Workshops 2009: 38-43 - [c10]Miroslav Pajic, Rahul Mangharam:
Anti-jamming for embedded wireless networks. IPSN 2009: 301-312 - [c9]Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry:
Demo abstract: Embedded Virtual Machines for wireless industrial automation. IPSN 2009: 413-414 - 2008
- [j5]Anthony Rowe, Rahul Mangharam, Raj Rajkumar:
RT-Link: A global time-synchronized link protocol for sensor networks. Ad Hoc Networks 6(8): 1201-1220 (2008) - [j4]Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor:
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks. IEEE Trans. Wirel. Commun. 7(1): 98-109 (2008) - 2007
- [j3]Rahul Mangharam, Anthony Rowe, Raj Rajkumar:
FireFly: a cross-layer platform for real-time embedded wireless networks. Real Time Syst. 37(3): 183-231 (2007) - [j2]Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor:
MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks. IEEE Trans. Wirel. Commun. 6(2): 617-628 (2007) - [c8]Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam:
Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility. LCN 2007: 635-642 - 2006
- [c7]Rahul Mangharam, Raj Rajkumar:
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure. BROADNETS 2006 - [c6]Rahul Mangharam, Daniel S. Weller, Raj Rajkumar, Priyantha Mudalige, Fan Bai:
GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks. MobiQuitous 2006: 1-8 - [c5]