mLab http://mlab.seas.upenn.edu Real-Time & Embedded Systems Laboratory - University of Pennsylvania en-US daily 1 mLab Thu, 14 Jul 2016 09:53:22 +0000 mLab Towards Model Checking of Implantable Cardioverter Defibrillators HSCC, 2016. Houssam Abbas, Kuk Jin Jang, Zhihao Jiang,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=88 2016-03-02 Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees MedCPS Workshop, 2016. Zhihao Jiang, Houssam Abbas, Pieter Mosterman, Rahul Mangharam http://mlab.seas.upenn.edu?publication=91 2016-03-02 Topological conditions for in-network stabilization of dynamical systems 31, 4, Page(s): 794-807, 2013. Miroslav Pajic, Shreyas Sundaram, Rahul Mangharam, George J. Pappas http://mlab.seas.upenn.edu?publication=67 2013-04-01 Networked Realization of Discrete-Time Controllers American Control Conference (ACC), 2013. Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas http://mlab.seas.upenn.edu?publication=65 2013-03-21 Event-based Green Scheduling of Radiant Systems in Buildings 2013. Truong X. Nghiem, George J. Pappas, Rahul Mangharam http://mlab.seas.upenn.edu?publication=66 2013-03-21 ProtoDrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control 33rd IEEE Real-Time Systems Symposium (RTSS@Work Session), 2012Puerto Rico, . Stephanie Diaz, Harsh Jain, Yash Pant, William Price,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=70 2012-12-18 The Car and The Cloud: Automotive Architectures for 2020 The Bridge on Frontiers of Engineering, National Academy of Engineering, 42, 4, Page(s): 25-33, 2012. Rahul Mangharam http://mlab.seas.upenn.edu?publication=71 2012-11-01 MLE+: A Tool for Integrated Design and Deployment of Energy Efficient Building Controls 4th ACM Workshop On Embedded Sensing Systems For Energy-Efficiency In Buildings (BuildSys '12), 2012Toronto, Canada, . Willy Bernal, Madhur Behl, Truong X. Nghiem,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=69 2012-10-12 Scalable Scheduling of Building Control Systems for Peak Demand Reduction Proceedings of the American Control Conference, 2012. Truong Nghiem, Madhur Behl, Rahul Mangharam,, George Pappas http://mlab.seas.upenn.edu?publication=72 2012-06-15 AutoPlug: An Automotive Test-bed for Electronic Controller Unit Testing and Verification 2012. Utsav Drolia, Zhenyan Wang, Yash Pant,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=14 2012-06-05 AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems 2012. Yash Vardhan Pant, Miroslav Pajic,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=74 2012-06-05 Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants 2012. Madhur Behl, Truong X. Nghiem, Rahul Mangharam http://mlab.seas.upenn.edu?publication=68 2012-06-02 From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study 2012Beijing, China, . Miroslav Pajic, Zhihao Jiang, Oleg Sokolsky, Insup Lee, Rahul Mangharam http://mlab.seas.upenn.edu?publication=60 2012-04-04 Green Scheduling for Radiant Systems in Buildings IEEE Conference on Decision and Control (CDC), 2012Hawaii, USA, . Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas http://mlab.seas.upenn.edu?publication=73 2012-03-21 Modeling and Verification of a Dual Chamber Implantable Pacemaker 20127214, . Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam http://mlab.seas.upenn.edu?publication=55 2012-01-06 Network Synthesis for Dynamical System Stabilization Asilomar Conference on Signals, Systems, and Computers, 2011. Miroslav Pajic, Shreyas Sundaram, George Pappas,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=76 2011-12-07 Green Scheduling of Control Systems for Peak Demand Reduction 50th IEEE Conference on Decision and Control, CDC 2011, 2011. T Nghiem, M Behl, R Mangharam, G Pappas http://mlab.seas.upenn.edu?publication=9 2011-12-01 Green Scheduling: Scheduling of Control Systems for Peak Power Reduction 2nd International Green Computing Conference, 2011IEEE, Orlando, Florida, USA, . T. Nghiem, M. Behl, G. J. Pappas, R. Mangharam http://mlab.seas.upenn.edu?publication=4 2011-12-01 Anytime Algorithms for GPU Architectures IEEE Real-Time Systems Symposium (IEEE RTSS) 2011, 2011Vienna, Austria, . R. Mangharam, A.A. Saba http://mlab.seas.upenn.edu?publication=13 2011-11-17 On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem 2011Vienna, Austria, . Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George Pappas,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=75 2011-11-17 Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC {textquoteright}11), 2011. Zhihao Jiang, Rahul Mangharam http://mlab.seas.upenn.edu?publication=6 2011-06-20 Model-based Closed-loop Testing of Implantable Pacemakers 2011, ISBN: 978-1-61284-640-8 . Zhihao Jiang, Miroslav Pajic,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=58 2011-03-01 The Wireless Control Network: Monitoring for Malicious Behavior 49th IEEE Conference on Decision and Control, IEEE CDC'10, 2010. Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas http://mlab.seas.upenn.edu?publication=33 2010-12-15 Demo Abstract: A Platform for Implantable Medical Device Validation IPSN '10, 2010Stockholm, Sweden, . Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=77 2010-10-01 Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (IEEE EMBC), Page(s): 6690 - 6693 , 2010, ISBN: 1557-170X . Zhihao Jiang, Allison Connolly, Rahul Mangharam http://mlab.seas.upenn.edu?publication=57 2010-08-19 Real-time Heart Model for Implantable Cardiac Device Validation and Verification 22nd Euromicro Conference on Real-Time Systems, (IEEE ECRTS’10), Page(s): 239 - 248 , 2010, ISBN: 978-1-4244-7546-9 . Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam http://mlab.seas.upenn.edu?publication=56 2010-07-16 Toward Patient Safety in Closed-Loop Medical Device Systems ACM/IEEE First International Conference on Cyber-Physical Systems, ICCPS'10, Page(s): 139{textendash}148, 2010. David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky http://mlab.seas.upenn.edu?publication=26 2010-04-13 Mixed Reality, Now a Reality Network Virtualization for Real-Time Automotive-CPS Networks NSF-NCO/NITRD National Workshop on High Confidence Automotive Cyber-Physical Systems, 2010. Rahul Mangharam http://mlab.seas.upenn.edu?publication=79 2010-03-10 Embedded Virtual Machines for Robust Wireless Control and Actuation 16th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE RTAS'10, 2010. Miroslav Pajic, Rahul Mangharam http://mlab.seas.upenn.edu?publication=28 2010-01-01 The Wireless Control Network: Synthesis and Robustness 49th IEEE Conference on Decision and Control, IEEE CDC{textquoteright}10, 2010. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam http://mlab.seas.upenn.edu?publication=32 2010-01-01 Anti-Jamming for Embedded Wireless Networks ACM International Conference on Information Processing in Sensor Networks (IPSN'09), 2009. Miroslav Pajic http://mlab.seas.upenn.edu?publication=78 2009-04-10 Anti-Jamming for Wireless Sensor Networks International Conference on Information Processing in Sensor Networks (ACM IPSN{textquoteright}09), Page(s): 301{textendash}312, 2009. Miroslav Pajic, Rahul Mangharam http://mlab.seas.upenn.edu?publication=35 2009-01-01 Real-Time Traffic Congestion Prediction NSF-NCO/NITRD National Workshop on High Confidence Transportation Cyber-Physical Systems, 2008. Mangharam, R., Lee, I., Sokolsky, O. http://mlab.seas.upenn.edu?publication=80 2008-11-01 Bounded-Latency Alerts in Vehicular Networks 2007 Mobile Networking for Vehicular Environments, 2007. Rahul Mangharam, Rajkumar, R., Hamilton, M., Mudalige, P., Bai, F. http://mlab.seas.upenn.edu?publication=42 2007-05-01 Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility 32nd IEEE Conference on Local Computer Networks, IEEE LCN'07, Page(s): 635-642, 2007. Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam http://mlab.seas.upenn.edu?publication=43 2007-01-01 RT-Link: A Time-Synchronized Link Protocol for Energy Constrained Multi-hop Wireless Networks Third IEEE International Conference on Sensors, Mesh and Ad Hoc Communications and Networks (IEEE SECON), 2006Reston, VA, . Anthony Rowe, Rahul Mangharam, Raj Rajkumar http://mlab.seas.upenn.edu?publication=44 2006-08-01 Voice over Sensor Networks 27th IEEE Real-Time Systems Symposium (RTSS), 2006Rio de Janeiro, Brazil, . Rahul Mangharam, Anthony Rowe, Raj Rajkumar http://mlab.seas.upenn.edu?publication=47 2006-07-01 MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure IEEE Third International Conference on Broadband Communications, Networks and Systems (IEEE BROADNETS), 2006San Jose, CA, . Rahul Mangharam, Raj Rajkumar http://mlab.seas.upenn.edu?publication=45 2006-07-01 GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks Mobile and Ubiquitous Systems - Workshops, 2006. 3rd Annual International Conference on, 2006. Rahul Mangharam, Weller, Daniel, Raj Rajkumar, Mudalige, Priyantha, Bai, Fan http://mlab.seas.upenn.edu?publication=46 2006-07-01 Optimal fixed and scalable energy management for wireless networks INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings IEEE, 20051, . Rahul Mangharam, Rajkumar, R., Pollin, S., Catthoor, F., Bougard, B., Van der Perre, L., Moeman, I. http://mlab.seas.upenn.edu?publication=48 2005-08-22 GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks VANET {textquoteright}05: Proceedings of the 2nd ACM international workshop on Vehicular ad hoc networks, Page(s): 59{textendash}68, New York, NY, USA, ACM, 2005, ISSN: 1-59593-141-4. Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar,, General Motors Corporation http://mlab.seas.upenn.edu?publication=51 2005-01-01 A Multi-hop Mobile Networking Test-bed for Telematics Society for Automotive Engineers (SAE) World Congress, 2005Detroit, USA, . Rahul Mangharam, Jacob Meyers, Dr. Ragunathan Rajkumar, Daniel D. Stancil, General Motors Corporation, General Motors Corporation,, General Motors Corporation http://mlab.seas.upenn.edu?publication=52 2005-01-01 Size matters: Size-based scheduling for MPEG-4 over wireless channels SPIE & ACM Proceedings in Multimedia Computing and Networking, 2003San Jose, CA, . Rahul Mangharam, Mustafa Demirhan, Raj Rajkumar, Dipankar Raychaudhuri http://mlab.seas.upenn.edu?publication=53 2003-07-01 Performance and simulation analysis of 802.15.3 QoS IEEE 802 Standards Body Meeting. IEEE 802.15-02/297r1, 2002. R. Mangharam, M. Demirhan http://mlab.seas.upenn.edu?publication=54 2002-01-01