Rahul Mangharam

According to our database1, Rahul Mangharam authored at least 108 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
F1/10: An Open-Source Autonomous Cyber-Physical Platform.
CoRR, 2019

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Synthesizing stealthy reprogramming attacks on cardiac devices.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Robustness evaluation of computer-aided clinical trials for medical devices.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Temporal logic robustness for general signal classes.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

2018
Data-Driven Model Predictive Control with Regression Trees - An Application to Building Energy Management.
TCPS, 2018

Real-Time Decision Policies With Predictable Performance.
Proceedings of the IEEE, 2018

Fly-by-logic: control of multi-drone fleets with temporal logic objectives.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology.
Proceedings of the 2018 Annual American Control Conference, 2018

Data-driven Switched Affine Modeling for Model Predictive Control.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Automated closed-loop model checking of implantable pacemakers using abstraction trees.
SIGBED Review, 2017

MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology.
CoRR, 2017

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

An Autonomous Vehicle Control Stack.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Data predictive control using regression trees and ensemble learning.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Smooth operator: Control using the smooth robustness of temporal logic.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

Data Predictive Control for building energy management.
Proceedings of the 2017 American Control Conference, 2017

Modeling Opportunities in mHealth Cyber-Physical Systems.
Proceedings of the Mobile Health - Sensors, Analytic Methods, and Applications, 2017

2016
The Challenges of High-Confidence Medical Device Software.
IEEE Computer, 2016

Data Predictive Control for Peak Power Reduction.
Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016

Data Predictive Control for Building Energy Management: Poster Abstract.
Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016

Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Towards Model Checking of Implantable Cardioverter Defibrillators.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

High-level modeling for computer-aided clinical trials of medical devices.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

In-silico pre-clinical trials for implantable cardioverter defibrillators.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue.
Proceedings of the ARCH@CPSWeek 2016, 2016

Three challenges in cyber-physical systems.
Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015
High-Confidence Medical Device Software Development.
Foundations and Trends in Electronic Design Automation, 2015

Guest Editors' Introduction: Cyber-Physical Systems for Medical Applications.
IEEE Design & Test, 2015

Model Checking Implantable Cardioverter Defibrillators.
CoRR, 2015

Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor.
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015

Poster Abstract: A Data-Driven Demand Response Recommender System.
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015

Co-design of Anytime Computation and Robust Control.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Hardware Optimizations for Anytime Perception and Control.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Scalable scheduling of energy control systems.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Cloud Mat: Context-Aware Personalization of Fitness Content.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Trans. Industrial Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.
ACM Trans. Embedded Comput. Syst., 2014

Editorial: Special issue on real-time and embedded technology and applications.
ACM Trans. Embedded Comput. Syst., 2014

Closed-loop verification of medical devices with model abstraction and refinement.
STTT, 2014

The Swarm at the Edge of the Cloud.
IEEE Design & Test, 2014

Distributed control of a swarm of buildings connected to a smart grid: demo abstract.
Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

IMpACT: Inverse model accuracy and control performance toolbox for buildings.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Peak power reduction in hybrid energy systems with limited load forecasts.
Proceedings of the American Control Conference, 2014

2013
ProtoDrive: an experimental platform for electric vehicle energy scheduling and control.
SIGBED Review, 2013

MLE+: a tool for integrated design and deployment of energy efficient building controls.
SIGBED Review, 2013

Topological Conditions for In-Network Stabilization of Dynamical Systems.
IEEE Journal on Selected Areas in Communications, 2013

Demo abstract: EnergyLab: building energy testbed for demand-response.
Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Event-based Green scheduling of radiant systems in buildings.
Proceedings of the American Control Conference, 2013

Networked realization of discrete-time controllers.
Proceedings of the American Control Conference, 2013

2012
Robust architectures for embedded wireless network control and actuation.
ACM Trans. Embedded Comput. Syst., 2012

Cyber-Physical Modeling of Implantable Cardiac Medical Devices.
Proceedings of the IEEE, 2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

MLE+: design and deployment integration for energy-efficient building controls.
Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Closing the loop: a simple distributed method for control over wireless networks.
Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Green scheduling for radiant systems in buildings.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Scalable scheduling of building control systems for peak demand reduction.
Proceedings of the American Control Conference, 2012

2011
The Wireless Control Network: A New Approach for Control Over Networks.
IEEE Trans. Automat. Contr., 2011

Anytime Algorithms for GPU Architectures.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

AutoPlug: An automotive test-bed for electronic controller unit testing and verification.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Architecture for a fully distributed Wireless Control Network.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract: R.A.V.E.N. - Remote autonomous vehicle explorer network.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract: Closed-loop testing for implantable cardiac pacemakers.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

EnRoute: An energy router for energy-efficient buildings.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Model-Based Closed-Loop Testing of Implantable Pacemakers.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Green scheduling: Scheduling of control systems for peak power reduction.
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Modeling cardiac pacemaker malfunctions with the Virtual Heart Model.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Topological conditions for wireless control networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Green scheduling of control systems for peak demand reduction.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Network synthesis for dynamical system stabilization.
Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

2010
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks.
EURASIP J. Wireless Comm. and Networking, 2010

A platform for implantable medical device validation: demo abstract.
Proceedings of Wireless Health 2010, 2010

Embedded Virtual Machines for Robust Wireless Control and Actuation.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

A platform for implantable medical device validation.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Toward patient safety in closed-loop medical device systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

The wireless control network: Monitoring for malicious behavior.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The Wireless Control Network: Synthesis and robustness.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Anti-jamming for embedded wireless networks.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Demo abstract: Embedded Virtual Machines for wireless industrial automation.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Embedded Virtual Machines for Robust Wireless Control Systems.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

2008
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks.
IEEE Trans. Wireless Communications, 2008

RT-Link: A global time-synchronized link protocol for sensor networks.
Ad Hoc Networks, 2008

2007
FireFly: a cross-layer platform for real-time embedded wireless networks.
Real-Time Systems, 2007

Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007

2006
RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks.
Proceedings of the Third Annual IEEE Communications Society Conference on Sensor, 2006

Voice over Sensor Networks.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks.
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure.
Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005
Optimizing Transmission and Shutdown for Energy-Efficient Real-time Packet Scheduling in Clustered Ad Hoc Networks.
EURASIP J. Wireless Comm. and Networking, 2005

GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks.
Proceedings of the Second International Workshop on Vehicular Ad Hoc Networks, 2005

Optimal fixed and scalable energy management for wireless networks.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks.
Proceedings of the Wireless Sensor Networks, Second European Workshop, 2005


  Loading...