Rahul Mangharam

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

IMpACT: Inverse model accuracy and control performance toolbox for buildings.

[BibT_eX]

[DOI]

Madhur Behl

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Peak power reduction in hybrid energy systems with limited load forecasts.

[BibT_eX]

[DOI]

Yash Vardhan Pant

Proceedings of the American Control Conference, 2014

2013

ProtoDrive: an experimental platform for electric vehicle energy scheduling and control.

[BibT_eX]

[DOI]

SIGBED Rev., 2013

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

[BibT_eX]

[DOI]

SIGBED Rev., 2013

Topological Conditions for In-Network Stabilization of Dynamical Systems.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2013

Demo abstract: EnergyLab: building energy testbed for demand-response.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

George J. Pappas

Proceedings of the American Control Conference, 2013

Networked realization of discrete-time controllers.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Robust architectures for embedded wireless network control and actuation.

[BibT_eX]

[DOI]

Alexander Chernoguzov

ACM Trans. Embed. Comput. Syst., 2012

Cyber-Physical Modeling of Implantable Cardiac Medical Devices.

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

MLE+: design and deployment integration for energy-efficient building controls.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Madhur Behl

Truong Nghiem

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Green scheduling for radiant systems in buildings.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Scalable scheduling of building control systems for peak demand reduction.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

The Wireless Control Network: A New Approach for Control Over Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Anytime Algorithms for GPU Architectures.

[BibT_eX]

[DOI]

Aminreza Abrahimi Saba

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

AutoPlug: An automotive test-bed for electronic controller unit testing and verification.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Architecture for a fully distributed Wireless Control Network.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Paul D. Martin

William Etter

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract: Closed-loop testing for implantable cardiac pacemakers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

EnRoute: An energy router for energy-efficient buildings.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Model-Based Closed-Loop Testing of Implantable Pacemakers.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Green scheduling: Scheduling of control systems for peak power reduction.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Modeling cardiac pacemaker malfunctions with the Virtual Heart Model.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Topological conditions for wireless control networks.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Green scheduling of control systems for peak demand reduction.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Network synthesis for dynamical system stabilization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2010

A platform for implantable medical device validation: demo abstract.

[BibT_eX]

[DOI]

Proceedings of Wireless Health 2010, 2010

Embedded Virtual Machines for Robust Wireless Control and Actuation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

A platform for implantable medical device validation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Toward patient safety in closed-loop medical device systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

The wireless control network: Monitoring for malicious behavior.

[BibT_eX]

[DOI]

Shreyas Sundaram

Christoforos N. Hadjicostis

George J. Pappas

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The Wireless Control Network: Synthesis and robustness.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Anti-jamming for embedded wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Demo abstract: Embedded Virtual Machines for wireless industrial automation.

[BibT_eX]

[DOI]

Shivakumar Sastry

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Embedded Virtual Machines for Robust Wireless Control Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sofie Pollin

Bruno Bougard

Ingrid Moerman

Ragunathan Rajkumar

Francky Catthoor

IEEE Trans. Wirel. Commun., 2008

RT-Link: A global time-synchronized link protocol for sensor networks.

[BibT_eX]

[DOI]

Anthony Rowe

Ad Hoc Networks, 2008

2007

FireFly: a cross-layer platform for real-time embedded wireless networks.

[BibT_eX]

[DOI]

Anthony Rowe

Real Time Syst., 2007

Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Anthony Rowe

Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

Voice over Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2005

GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Vehicular Ad Hoc Networks, 2005

Optimal fixed and scalable energy management for wireless networks.

[BibT_eX]

[DOI]

Ingrid Moerman

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.

[BibT_eX]

[DOI]

Sofie Pollin

Bruno Bougard