Home

Biblio

Export 52 results:
Sort by: Author Keyword Type [ Year (Desc)]
2011
Pajic, M, Lee I, Mangharam R, Sokolsky O.  2011.  UPP2SF: Translating UPPAAL Models to Simulink, Technical Report.
Nghiem, T, Behl M, Pappas GJ, Mangharam R.  2011.  Green Scheduling: Scheduling of Control Systems for Peak Power Reduction. 2nd International Green Computing Conference.
Behl, M, Aneja M, Jain H, Mangharam R.  2011.  EnRoute: An Energy Router for Energy-Efficient Buildings. Demo and Poster at International Conference on Information Processing in Sensor Networks (IPSN).
Jiang, Z, Mangharam R.  2011.  Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model. 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC ’11). Abstract
Jiang, Z, Pajic M, Mangharam R.  2011.  Model-based Closed-loop Testing of Implantable Pacemakers. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). Abstract
Jiang, Z, Pajic M, Mangharam R.  2011.  Closed-loop Testing for Implantable Cardiac Pacemakers. Demo and Poster at IEEE/ACM CPSWeek.
Nghiem, T, Behl M, Mangharam R, Pappas GJ.  2011.  Green Scheduling of Control Systems for Peak Demand Reduction. 50th IEEE Conference on Decision and Control, CDC 2011.
Jiang, Z, Pajic M, Mangharam R.  2011.  Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE Special Issue on Cyber-Physical Systems. Abstract
Mangharam, R, Saba AA.  2011.  Anytime Algorithms for GPU Architectures. IEEE Real-Time Systems Symposium (IEEE RTSS) 2011.
Drolia, U, Wang Z, Mangharam R.  2011.  AutoPlug: An Automotive Test-bed for Electronic Controller Unit Testing and Verification. Intelligent Transportation Systems (ITS).
Drolia, U, Wang Z, Vemuri S, Behl M, Mangharam R.  2011.  AutoPlug - An Automotive Test-bed for ECU Testing, Validation and Verification. Demo and Poster at International Conference on Information Processing in Sensor Networks (IPSN).
Etter, W, Martin P, Mangharam R.  2011.  Cooperative Flight Guidance of Autonomous Unmanned Aerial Vehicles. CPS Week Workshop on Networks of Cooperating Objects (CONET).
Martin, P, Etter W, Mangharam R.  2011.  R.A.V.E.N. - Remote Autonomous Vehicle Explorer Network. Demo and Poster at International Conference on Information Processing in Sensor Networks (IPSN).
Pajic, M, Sundaram S, Pappas GJ, Mangharam R.  2011.  The Wireless Control Network: Topological Conditions for System Stabilization, Technical Report.
Pajic, M, Sundaram S, Pappas GJ, Mangharam R.  2011.  Topological Conditions for Wireless Control Networks. 50th IEEE Conference on Decision and Control, IEEE CDC’11, Submitted.
Pajic, M, Sundaram S, Aneja M, Srinivas V, Pappas GJ, Mangharam R.  2011.  Architecture for a Fully Distributed Wireless Control Network. Demo and Poster at IEEE/ACM CPSWeek 2011.
Pajic, M, Mangharam R, Sokolsky O, David Arney J GM, Lee I.  2011.  Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Transactions of Industrial Informatics (TII), Special Section on Cyber-Physical Systems. Submitted (Invited).
Pajic, M, Sundaram S, Pappas GJ, Mangharam R.  2011.  A Simple Distributed Method for Control over Wireless Networks. CPS Week Workshop on Real-Time Wireless for Industrial Applications, Real-WIN 2011.
Pajic, M, Sundaram S, Pappas GJ, Mangharam R.  2011.  The Wireless Control Network: A New Approach for Control Over Networks. IEEE Transactions on Automatic Control. Accepted. To be published.
Pajic, M, Chernoguzov A, Mangharam R.  2011.  Robust Architectures for Embedded Wireless Network Control and Actuation. ACM Transactions on Embedded Computing Systems. Accepted. To be published.
2010
Jiang, Z, Connolly A, Mangharam R.  2010.  Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker. 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC ’10). Abstract
Jiang, Z, Pajic M, Connolly AT, Dixit S, Mangharam R.  2010.  Real-time Heart Model for Implantable Cardiac Device Validation and Verification. 22st Euromicro Conference on Real-Time Systems, (IEEE ECRTS’10). Abstract
Voyles, R, Povilus S, Mangharam R, Li K.  2010.  RecoNode: A Reconfigurable Node for Heterogeneous Multi-Robot Search and Rescue. IEEE International Workshop on Safety, Security & Rescue Robotics, SSRR’10.
Arney, D, Pajic M, Goldman JM, Lee I, Mangharam R, Sokolsky O.  2010.  Toward Patient Safety in Closed-Loop Medical Device Systems. ACM/IEEE First International Conference on Cyber-Physical Systems, ICCPS’10. :139–148.
Saba, AA, Mohan S, Mangharam R.  2010.  Anytime Algorithms for Multicore Architectures. 22nd EUROMICRO Conference on Real-Time Systems (ECRTS’10). Work-in-Progress session. Abstract
Pajic, M, Mangharam R.  2010.  Embedded Virtual Machines for Robust Wireless Control and Actuation. 16th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE RTAS’10. :79–88.
Pajic, M, Mangharam R.  2010.  Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. EURASIP Journal on Wireless Communication and Networking.
Pajic, M, Jiang Z, Connolly AT, Mangharam R.  2010.  A Framework for Validation of Implantable Medical Devices. Demo, Poster and Work-in-Progress paper at IEEE/ACM CPSWeek.
Pajic, M, Sundaram S, Pappas GJ, Mangharam R.  2010.  The Wireless Control Network, Technical Report.
Pajic, M, Sundaram S, Ny J L, Pappas GJ, Mangharam R.  2010.  The Wireless Control Network: Synthesis and Robustness. 49th IEEE Conference on Decision and Control, IEEE CDC’10.