Publications

2024

  • [1]
    Conformal Off-Policy Prediction for Multi-Agent Systems.
    By Kuipers, T., Tumu, R., Yang, S., Kazemi, M., Mangharam, R. and Paoletti, N.
    In arXiv preprint arXiv:2403.16871, 2024.
  • [2]
    Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments.
    By Zheng, H., Zhuang, Z., Wu, S., Yang, S. and Mangharam, R.
    In arXiv preprint arXiv:2403.11334, 2024.
  • [3]
    Learning Local Control Barrier Functions for Safety Control of Hybrid Systems.
    By Yang, S., Chen, Y., Yin, X. and Mangharam, R.
    In arXiv preprint arXiv:2401.14907, 2024.
  • [4]
    Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions.
    By Yang, S., Black, M., Fainekos, G., Hoxha, B., Okamoto, H. and Mangharam, R.
    In American Control Conference (ACC), 2024.
  • [5]
    Learning adaptive safety for multi-agent systems.
    By Berducci, L., Yang, S., Mangharam, R. and Grosu, R.
    In IEEE International Conference on Robotics and Automation (ICRA), 2024.

    • 2023

  • [1]
    Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications.
    By Wang, J., Yang, S., An, Z., Han, S., Zhang, Z., Mangharam, R., Ma, M. and Miao, F.
    In arXiv preprint arXiv:2306.06808, 2023.
  • [2]
    Differentiable Trajectory Generation for Car-like Robots with Interpolating Radial Basis Function Networks.
    By Zheng, H. and Mangharam, R.
    In arXiv preprint arXiv:2303.00981, 2023.
  • [3]
    A benchmark comparison of imitation learning-based control policies for autonomous racing.
    By Sun, X., Zhou, M., Zhuang, Z., Yang, S., Betz, J. and Mangharam, R.
    In 2023 IEEE Intelligent Vehicles Symposium (IV), , pp. 1–5, , 2023.
  • [4]
    You don’t know when i will arrive: Unpredictable controller synthesis for temporal logic tasks.
    By Chen, Y., Yang, S., Mangharam, R. and Yin, X.
    In IFAC-PapersOnLine, vol. 56, no. 2, pp. 3591–3597, 2023.
  • [5]
    Physics constrained motion prediction with uncertainty quantification.
    By Tumu, R., Lindemann, L., Nghiem, T. and Mangharam, R.
    In arXiv preprint arXiv:2302.01060, 2023.
  • [6]
    Drive Right: Promoting Autonomous Vehicle Education Through an Integrated Simulation Platform.
    By Qiao, Z., Loeb, H., Gurrla, V., Lebermann, M., Betz, J. and Mangharam, R.
    In arXiv preprint arXiv:2302.08613, 2023.
  • [7]
    MEGA-DAgger: Imitation Learning with Multiple Imperfect Experts.
    By Sun, X., Yang, S. and Mangharam, R.
    In arXiv preprint arXiv:2303.00638, 2023.
  • [8]
    Ensemble Gaussian Processes for Adaptive Autonomous Driving on Multi-friction Surfaces.
    By Nagy, T., Amine, A., Nghiem, T.X., Rosolia, U., Zang, Z. and Mangharam, R.
    In arXiv preprint arXiv:2303.13694, 2023.
  • [9]
    Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction.
    By Yang, S., Pappas, G.J., Mangharam, R. and Lindemann, L.
    In 62nd IEEE Conference on Decision and Control (CDC), 2023.

    • 2022

  • [1]
    Stress testing autonomous racing overtake maneuvers with rrt.
    By Bak, S., Betz, J., Chawla, A., Zheng, H. and Mangharam, R.
    In 2022 IEEE Intelligent Vehicles Symposium (IV), , pp. 806–812, , 2022.
  • [2]
    Autonomous vehicles on the edge: A survey on autonomous vehicle racing.
    By Betz, J., Zheng, H., Liniger, A., Rosolia, U., Karle, P., Behl, M., Krovi, V. and Mangharam, R.
    In IEEE Open Journal of Intelligent Transportation Systems, vol. 3, pp. 458–488, 2022.
  • [3]
    Gradient-free multi-domain optimization for autonomous systems.
    By Zheng, H., Betz, J. and Mangharam, R.
    In arXiv preprint arXiv:2202.13525, 2022.
  • [4]
    Deriving spatial policies for overtaking maneuvers with autonomous vehicles.
    By Bhargav, J., Betz, J., Zehng, H. and Mangharam, R.
    In 2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS), , pp. 859–864, , 2022.
  • [5]
    Winning the 3rd Japan Automotive AI Challenge-Autonomous Racing with the Autoware. Auto Open Source Software Stack.
    By Zang, Z., Tumu, R., Betz, J., Zheng, H. and Mangharam, R.
    In 2022 IEEE Intelligent Vehicles Symposium (IV), , pp. 1757–1764, , 2022.
  • [6]
    Game-theoretic Objective Space Planning.
    By Zheng, H., Zhuang, Z., Betz, J. and Mangharam, R.
    In arXiv preprint arXiv:2209.07758, 2022.
  • [7]
    Combinatorial and Parametric Gradient-Free Optimization for Cyber-Physical System Design.
    By Zheng, H., Betz, J., Ramamurthy, A., Jin, H. and Mangharam, R.
    In 2022 IEEE Workshop on Design Automation for CPS and IoT (DESTION), , pp. 34–41, , 2022.
  • [8]
    Accelerating Online Reinforcement Learning via Supervisory Safety Systems.
    By Evans, B., Betz, J., Zheng, H., Engelbrecht, H.A., Mangharam, R. and Jordaan, H.W.
    In arXiv preprint arXiv:2209.11082, 2022.
  • [9]
    Teaching autonomous systems hands-on: Leveraging modular small-scale hardware in the robotics classroom.
    By Betz, J., Zheng, H., Zang, Z., Sauerbeck, F., Walas, K., Dimitrov, V., Behl, M., Zheng, R., Biswas, J., Krovi, V. and others.
    In arXiv preprint arXiv:2209.11181, 2022.
  • [10]
    Local_INN: Implicit Map Representation and Localization with Invertible Neural Networks.
    By Zang, Z., Zheng, H., Betz, J. and Mangharam, R.
    In arXiv preprint arXiv:2209.11925, 2022.
  • [11]
    Towards Explainability in Modular Autonomous Vehicle Software.
    By Zheng, H., Zang, Z., Yang, S. and Mangharam, R.
    In arXiv preprint arXiv:2212.00544, 2022.
  • [12]Systems of stacking interlocking blocks. Jan-2022
  • [13]Control of multi-drone fleets with temporal logic objectives. Aug-2022
  • [14]
    Drive Right: Autonomous Vehicle Education through an Integrated Simulation Platform.
    By Qiao, Z., Loeb, H., Gurrla, V., Lebermann, M., Betz, J. and Mangharam, R.
    In SAE International Journal of Connected and Automated Vehicles, vol. 5, no. 12-05-04-0028, 2022.
  • [15]
    Drive Right: Shaping Public’s Trust, Understanding, and Preference Towards Autonomous Vehicles Using a Virtual Reality Driving Simulator.
    By Qiao, Z., Sun, X., Loeb, H. and Mangharam, R.
    In arXiv preprint arXiv:2208.02939, 2022.
  • [16]
    Differentiable safe controller design through control barrier functions.
    By Yang, S., Chen, S., Preciado, V.M. and Mangharam, R.
    In IEEE Control Systems Letters, vol. 7, pp. 1207–1212, 2022.
  • [17]
    Teaching autonomous systems hands-on: Leveraging modular small-scale hardware in the robotics classroom.
    By Betz, J., Zheng, H., Zang, Z., Sauerbeck, F., Walas, K., Dimitrov, V., Behl, M., Zheng, R., Biswas, J., Krovi, V. and others.
    In arXiv preprint arXiv:2209.11181, 2022.
  • [18]
    Fiber Organization has Little Effect on Electrical Activation Patterns during Focal Arrhythmias in the Left Atrium.
    By He, J., Pertsov, A.M., Cherry, E.M., Fenton, F.H., Roney, C.H., Niederer, S.A., Zang, Z. and Mangharam, R.
    In IEEE Transactions on Biomedical Engineering, 2022.
  • [19]
    Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    In 2022 IEEE Conference on Control Technology and Applications (CCTA), , pp. 476–483, , 2022.

    • 2021

  • [1]
    Track based offline policy learning for overtaking maneuvers with autonomous racecars.
    By Bhargav, J., Betz, J., Zheng, H. and Mangharam, R.
    In arXiv preprint arXiv:2107.09782, 2021.
  • [2]
    Learning-‘N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.
    By Rodionova, A., Pant, Y.V., Kurtz, C., Jang, K., Abbas, H. and Mangharam, R.
    In ACM Transactions on Cyber-Physical Systems (TCPS), vol. 5, no. 4, pp. 1–26, 2021.
  • [3]
    Patient-specific heart model towards atrial fibrillation.
    By He, J., Pertsov, A., Dixit, S., Walsh, K., Toolan, E. and Mangharam, R.
    In Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, , pp. 33–43, , 2021.
  • [4]
    FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning.
    By Pant, Y.V., Li, M.Z., Rodionova, A., Quaye, R.A., Abbas, H., Ryerson, M.S. and Mangharam, R.
    In Transportation Research Part C: Emerging Technologies, vol. 130, p. 103275, 2021.

    • 2020

  • [1]
    TUNERCAR: A Superoptimization Toolchain for Autonomous Racing.
    By O’Kelly, M., Zheng, H., Auckley, J., Jain, A., Luong, K. and Mangharam, R.
    In Proceedings of the International Conference on Robotics and Automation (ICRA), 2020.
  • [2]
    FormulaZero: Distributionally robust online adaptation via offline population synthesis.
    By Sinha, A., O’Kelly, M., Zheng, H., Mangharam, R., Duchi, J. and Tedrake, R.
    In International Conference on Machine Learning, , pp. 8992–9004, , 2020.
  • [3]
    F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning.
    By O’Kelly, M., Zheng, H., Karthik, D. and Mangharam, R.
    In NeurIPS 2019 Competition and Demonstration Track, , pp. 77–89, , 2020.
  • [4]Methods, systems, and computer readable media involving a content coupled physical activity surface. May-2020
  • [5]
    Teaching autonomous systems at 1/10th-scale: Design of the f1/10 racecar, simulators and curriculum.
    By Agnihotri, A., O’Kelly, M., Mangharam, R. and Abbas, H.
    In Proceedings of the 51st ACM Technical Symposium on Computer Science Education, , pp. 657–663, , 2020.
  • [6]
    Data-driven switching modeling for mpc using regression trees and random forests.
    By Smarra, F., Di Girolamo, G.D., De Iuliis, V., Jain, A., Mangharam, R. and D’Innocenzo, A.
    In Nonlinear Analysis: Hybrid Systems, vol. 36, p. 100882, 2020.
  • [7]
    Anytime computation and control for autonomous systems.
    By Pant, Y.V., Abbas, H., Mohta, K., Quaye, R.A., Nghiem, T.X., Devietti, J. and Mangharam, R.
    In IEEE Transactions on Control Systems Technology, vol. 29, no. 2, pp. 768–779, 2020.
  • [8]
    Learning-to-fly: Learning-based collision avoidance for scalable urban air mobility.
    By Rodionova, A., Pant, Y.V., Jang, K., Abbas, H. and Mangharam, R.
    In 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), , pp. 1–8, , 2020.
  • [9]
    Learning-to-Fly RL: Reinforcement Learning-based Collision Avoidance for Scalable Urban Air Mobility.
    By Jang, K., Pant, Y.V., Rodionova, A. and Mangharam, R.
    In 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), , pp. 1–10, , 2020.
  • [10]
    Towards automated comprehension and alignment of cardiac models at the system invariant level.
    By Huang, S., Diep, M., Jang, K., Cherry, E.M., Fenton, F.H., Cleaveland, R., Lindvall, M., Mangharam, R. and Porter, A.
    In CSBio’20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, , pp. 18–28, , 2020.
  • [11]
    How safe is safe enough? Automatic safety constraints boundary estimation for decision-making in automated vehicles.
    By Rodionova, A., Alvarez, I., Elli, M.S., Oboril, F., Quast, J. and Mangharam, R.
    In 2020 IEEE Intelligent Vehicles Symposium (IV), , pp. 1457–1464, , 2020.

    • 2019

  • [1]
    Safe at any speed: A simulation-based test harness for autonomous vehicles.
    By Abbas, H., O’Kelly, M., Rodionova, A. and Mangharam, R.
    In Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers 7, , pp. 94–106, , 2019.
  • [2]
    Synthesizing stealthy reprogramming attacks on cardiac devices.
    By Paoletti, N., Jiang, Z., Islam, M.A., Abbas, H., Mangharam, R., Lin, S., Gruber, Z. and Smolka, S.A.
    In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, , pp. 13–22, , 2019.
  • [3]
    F1/10: An open-source autonomous cyber-physical platform.
    By O’Kelly, M., Sukhil, V., Abbas, H., Harkins, J., Kao, C., Pant, Y.V., Mangharam, R., Agarwal, D., Behl, M., Burgio, P. and others.
    In arXiv preprint arXiv:1901.08567, 2019.
  • [4]
    Robustness evaluation of computer-aided clinical trials for medical devices.
    By Jang, K.J., Pant, Y.V., Zhang, B., Weimer, J. and Mangharam, R.
    In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, , pp. 163–173, , 2019.
  • [5]
    Temporal logic robustness for general signal classes.
    By Abbas, H., Pant, Y.V. and Mangharam, R.
    In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, , pp. 45–56, , 2019.
  • [6]
    Fly-by-logic: A tool for unmanned aircraft system fleet planning using temporal logic.
    By Pant, Y.V., Quaye, R.A., Abbas, H., Varre, A. and Mangharam, R.
    In NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings 11, , pp. 355–362, , 2019.
  • [7]
    Technical report: Anytime computation and control for autonomous systems.
    By Pant, Y.V., Abbas, H., Mohta, K., Quaye, R.A., Nghiem, T.X., Devietti, J. and Mangharam, R.
    2019.
  • [8]
    Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.
    By Mangharam, R.
    In Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, vol. 11267, , , p. 94, , 2019.
  • [9]
    Electroanatomic mapping to determine scar regions in patients with atrial fibrillation.
    By He, J., Jang, K.J., Walsh, K., Liang, J., Dixit, S. and Mangharam, R.
    In 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), , pp. 5941–5944, , 2019.

    • 2018

  • [1]
    Learning and control using Gaussian processes.
    By Jain, A., Nghiem, T., Morari, M. and Mangharam, R.
    In 2018 ACM/IEEE 9th international conference on cyber-physical systems (ICCPS), , pp. 140–149, , 2018.
  • [2]
    Fly-by-logic: Control of multi-drone fleets with temporal logic objectives.
    By Pant, Y.V., Abbas, H., Quaye, R.A. and Mangharam, R.
    In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), , pp. 186–197, , 2018.
  • [3]
    Data-driven model predictive control with regression trees—an application to building energy management.
    By Jain, A., Smarra, F., Behl, M. and Mangharam, R.
    In ACM Transactions on Cyber-Physical Systems, vol. 2, no. 1, pp. 1–21, 2018.
  • [4]
    Real-time decision policies with predictable performance.
    By Abbas, H., Alur, R., Mamouras, K., Mangharam, R. and Rodionova, A.
    In Proceedings of the IEEE, vol. 106, no. 9, pp. 1593–1615, 2018.
  • [5]
    Generalized robust MTL semantics for problems in cardiac electrophysiology.
    By Abbas, H. and Mangharam, R.
    In 2018 Annual American Control Conference (ACC), , pp. 1592–1597, , 2018.
  • [6]
    Tech report: Fly-by-logic: Control of multi-drone fleets with temporal logic objectives.
    By Pant, Y.V., Abbas, H., Quaye, R.A. and Mangharam, R.
    2018.
  • [7]
    Data-driven model predictive control using random forests for building energy optimization and climate control.
    By Smarra, F., Jain, A., De Rubeis, T., Ambrosini, D., D’Innocenzo, A. and Mangharam, R.
    In Applied energy, vol. 226, pp. 1252–1272, 2018.
  • [8]
    Data-driven switched affine modeling for model predictive control.
    By Smarra, F., Jain, A., Mangharam, R. and D’Innocenzo, A.
    In IFAC-PapersOnLine, vol. 51, no. 16, pp. 199–204, 2018.
  • [9]
    A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators.
    By Abbas, H., Mamouras, K., Rodionova, A., Rajeev, A., Liang, J., Dixit, S. and Mangharam, R.
    2018.
  • [10]
    Protodrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control, DOT UTC Final Report.
    By Mangharam, R. and others.
    2018.
  • [11]
    Quantitative regular expressions for monitoring cardiac arrhythmias.
    By Abbas, H., Alur, R., Mamouras, K., Mangharam, R. and Rodionova, A.
    In 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), , pp. 1–2, , 2018.
  • [12]
    Digital twins for efficient modeling and control of buildings: An integrated solution with scada systems.
    By Jain, A., Nong, D., Nghiem, T.X. and Mangharam, R.
    In 2018 Building Performance Analysis Conference and SimBuild, 2018.
  • [13]
    Computer aided clinical trials for implantable cardiac devices.
    By Jang, K., Weimer, J., Abbas, H., Jiang, Z., Liang, J., Dixit, S. and Mangharam, R.
    In 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), , pp. 1–4, , 2018.
  • [14]
    2016-2018 Index—Proceedings of the IEEE Vol. 104-106.
    By Abbas, H., Alur, R., Mamouras, K., Mangharam, R., Rodionova, A., Abrol, S., Mehmani, A., Kerman, M., Meinrenken, C.J. and Culligan, P.J.
    In Proceedings of the IEEE, vol. 106, no. 12, p. 1, 2018.

    • 2017

  • [1]
    Automated closed-loop model checking of implantable pacemakers using abstraction trees.
    By Jiang, Z., Abbas, H., Mosterman, P.J. and Mangharam, R.
    In ACM SIGBED Review, vol. 14, no. 2, pp. 15–23, 2017.
  • [2]
    Technical report: Control using the smooth robustness of temporal logic.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    2017.
  • [3]
    Relaxed decidability and the robust semantics of metric temporal logic.
    By Abbas, H., O’Kelly, M. and Mangharam, R.
    In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, , pp. 217–225, , 2017.
  • [4]
    Computer-aided design for safe autonomous vehicles.
    By O’Kelly, M., Abbas, H. and Mangharam, R.
    In 2017 Resilience Week (RWS), , pp. 90–96, , 2017.
  • [5]
    MOBILITY21: Strategic investments for transportation infrastructure & technology.
    By Mangharam, R., Reyerson, M., Viscelli, S., Balakrishanan, H., Bayen, A., Amin, S., Richards, L., Bagley, L. and Pappas, G.
    In arXiv preprint arXiv:1705.01923, 2017.
  • [6]
    Smooth operator: Control using the smooth robustness of temporal logic.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    In 2017 IEEE Conference on Control Technology and Applications (CCTA), , pp. 1235–1240, , 2017.
  • [7]
    Data-Driven Modeling, Control, and Tools for Smart Cities.
    By Behl, M. and Mangharam, R.
    In Smart Cities: Foundations, Principles, and Applications, pp. 243–274, 2017.
  • [8]Methods, systems, and computer readable media for a data-driven demand response (dr) recommender. Jun-2017
  • [9]
    Modeling opportunities in mhealth cyber-physical systems.
    By Nilsen, W., Ertin, E., Hekler, E.B., Kumar, S., Lee, I., Mangharam, R., Pavel, M., Rehg, J.M., Riley, W., Rivera, D.E. and others.
    In Mobile Health: Sensors, Analytic Methods, and Applications, pp. 443–453, 2017.
  • [10]
    Data predictive control using regression trees and ensemble learning.
    By Jain, A., Smarra, F. and Mangharam, R.
    In 2017 IEEE 56th annual conference on decision and control (CDC), , pp. 4446–4451, , 2017.
  • [11]
    A driver’s license test for driverless vehicles.
    By Abbas, H., O’Kelly, M.E., Rodionova, A. and Mangharam, R.
    In Mechanical Engineering, vol. 139, no. 12, pp. S13–S16, 2017.
  • [12]
    An autonomous vehicle control stack.
    By Rodionova, A., O’Kelly, M., Abbas, H., Pacelli, V. and Mangharam, R.
    In EPiC Series in Computing, vol. 48, pp. 44–51, 2017.
  • [13]
    Nonlinear hybrid automata model of excitable cardiac tissue.
    By Abbas, H., Jang, K.J. and Mangharam, R.
    In EPiC Series in Computing, vol. 43, pp. 1–8, 2017.
  • [14]
    Automated closed-loop model checking of implantable pacemakers using abstraction trees.
    By Jiang, Z., Abbas, H., Mosterman, P.J. and Mangharam, R.
    In ACM SIGBED Review, vol. 14, no. 2, pp. 15–23, 2017.
  • [15]
    Relaxed decidability and the robust semantics of metric temporal logic.
    By Abbas, H., O’Kelly, M. and Mangharam, R.
    In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, , pp. 217–225, , 2017.
  • [16]
    Computer-aided design for safe autonomous vehicles.
    By O’Kelly, M., Abbas, H. and Mangharam, R.
    In 2017 Resilience Week (RWS), , pp. 90–96, , 2017.
  • [17]
    MOBILITY21: Strategic investments for transportation infrastructure & technology.
    By Mangharam, R., Reyerson, M., Viscelli, S., Balakrishanan, H., Bayen, A., Amin, S., Richards, L., Bagley, L. and Pappas, G.
    In arXiv preprint arXiv:1705.01923, 2017.
  • [18]
    Smooth operator: Control using the smooth robustness of temporal logic.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    In 2017 IEEE Conference on Control Technology and Applications (CCTA), , pp. 1235–1240, , 2017.
  • [19]
    Data-Driven Modeling, Control, and Tools for Smart Cities.
    By Behl, M. and Mangharam, R.
    In Smart Cities: Foundations, Principles, and Applications, pp. 243–274, 2017.
  • [20]Methods, systems, and computer readable media for a data-driven demand response (dr) recommender. Jun-2017
  • [21]
    Modeling opportunities in mhealth cyber-physical systems.
    By Nilsen, W., Ertin, E., Hekler, E.B., Kumar, S., Lee, I., Mangharam, R., Pavel, M., Rehg, J.M., Riley, W., Rivera, D.E. and others.
    In Mobile Health: Sensors, Analytic Methods, and Applications, pp. 443–453, 2017.
  • [22]
    Data predictive control using regression trees and ensemble learning.
    By Jain, A., Smarra, F. and Mangharam, R.
    In 2017 IEEE 56th annual conference on decision and control (CDC), , pp. 4446–4451, , 2017.
  • [23]
    A driver’s license test for driverless vehicles.
    By Abbas, H., O’Kelly, M.E., Rodionova, A. and Mangharam, R.
    In Mechanical Engineering, vol. 139, no. 12, pp. S13–S16, 2017.
  • [24]
    An autonomous vehicle control stack.
    By Rodionova, A., O’Kelly, M., Abbas, H., Pacelli, V. and Mangharam, R.
    In EPiC Series in Computing, vol. 48, pp. 44–51, 2017.
  • [25]
    Nonlinear hybrid automata model of excitable cardiac tissue.
    By Abbas, H., Jang, K.J. and Mangharam, R.
    In EPiC Series in Computing, vol. 43, pp. 1–8, 2017.

    • 2016

  • [1]
    DR-Advisor: A data-driven demand response recommender system.
    By Behl, M., Smarra, F. and Mangharam, R.
    In Applied Energy, vol. 170, pp. 30–46, 2016.
  • [2]
    The challenges of high-confidence medical device software.
    By Jiang, Z., Abbas, H., Jang, K.J. and Mangharam, R.
    In Computer, vol. 49, no. 1, pp. 34–42, 2016.
  • [3]
    Data-driven modeling, control and tools for cyber-physical energy systems.
    By Behl, M., Jain, A. and Mangharam, R.
    In 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), , pp. 1–10, , 2016.
  • [4]
    APEX: Autonomous vehicle plan verification and execution.
    By O’Kelly, M., Abbas, H., Gao, S., Shiraishi, S., Kato, S. and Mangharam, R.
    2016.
  • [5]
    Towards model checking of implantable cardioverter defibrillators.
    By Abbas, H., Jiang, K.J., Jiang, Z. and Mangharam, R.
    In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, , pp. 87–92, , 2016.
  • [6]
    Tech report: Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    2016.
  • [7]
    Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue.
    By Abbas, H., Jang, K.J. and Mangharam, R.
    2016.
  • [8]
    Three challenges in cyber-physical systems.
    By Mangharam, R., Abbas, H., Behl, M., Jang, K., Pajic, M. and Jiang, Z.
    In 2016 8th International Conference on Communication Systems and Networks (COMSNETS), , pp. 1–8, , 2016.
  • [9]
    Interactive analytics for smart cities infrastructures.
    By Behl, M. and Mangharam, R.
    In 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC)(SCOPE-GCTC), , pp. 1–6, , 2016.
  • [10]
    In-silico pre-clinical trials for implantable cardioverter defibrillators.
    By Jiang, Z., Abbas, H., Jang, K.J., Beccani, M., Liang, J., Dixit, S. and Mangharam, R.
    In 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), , pp. 169–172, , 2016.
  • [11]
    Data predictive control for peak power reduction.
    By Jain, A., Mangharam, R. and Behl, M.
    In Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, , pp. 109–118, , 2016.
  • [12]
    Data Predictive Control for building energy management.
    By Jain, A., Behl, M. and Mangharam, R.
    In Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, , pp. 245–246, , 2016.
  • [13]
    Computer aided clinical trials for implantable cardiac devices.
    By Abbas, H., Jiang, Z., Jang, K.J., Beccani, M., Liang, J., Dixit, S. and Mangharam, R.
    2016.
  • [14]
    Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    In 2016 IEEE 55th Conference on Decision and Control (CDC), , pp. 5694–5699, , 2016.
  • [15]
    High-level modeling for computer-aided clinical trials of medical devices.
    By Abbas, H., Jiang, Z., Jang, K.J., Beccani, M., Liangy, J. and Mangharam, R.
    In 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT), , pp. 85–92, , 2016.
  • [16]
    Cybercardia project: modeling, verification and validation of implantable cardiac devices.
    By Islam, M.A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., Cyranka, J., Cleaveland, R., Gao, S., Clarke, E., Grosu, R. and others.
    In 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), , pp. 1445–1452, , 2016.
  • [17]
    DR-Advisor: A data-driven demand response recommender system.
    By Behl, M., Smarra, F. and Mangharam, R.
    In Applied Energy, vol. 170, pp. 30–46, 2016.
  • [18]
    The challenges of high-confidence medical device software.
    By Jiang, Z., Abbas, H., Jang, K.J. and Mangharam, R.
    In Computer, vol. 49, no. 1, pp. 34–42, 2016.
  • [19]
    Data-driven modeling, control and tools for cyber-physical energy systems.
    By Behl, M., Jain, A. and Mangharam, R.
    In 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), , pp. 1–10, , 2016.
  • [20]
    Towards model checking of implantable cardioverter defibrillators.
    By Abbas, H., Jiang, K.J., Jiang, Z. and Mangharam, R.
    In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, , pp. 87–92, , 2016.
  • [21]
    Tech report: Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    2016.
  • [22]
    Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue.
    By Abbas, H., Jang, K.J. and Mangharam, R.
    2016.
  • [23]
    Three challenges in cyber-physical systems.
    By Mangharam, R., Abbas, H., Behl, M., Jang, K., Pajic, M. and Jiang, Z.
    In 2016 8th International Conference on Communication Systems and Networks (COMSNETS), , pp. 1–8, , 2016.
  • [24]
    Interactive analytics for smart cities infrastructures.
    By Behl, M. and Mangharam, R.
    In 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC)(SCOPE-GCTC), , pp. 1–6, , 2016.
  • [25]
    In-silico pre-clinical trials for implantable cardioverter defibrillators.
    By Jiang, Z., Abbas, H., Jang, K.J., Beccani, M., Liang, J., Dixit, S. and Mangharam, R.
    In 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), , pp. 169–172, , 2016.
  • [26]
    Data predictive control for peak power reduction.
    By Jain, A., Mangharam, R. and Behl, M.
    In Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, , pp. 109–118, , 2016.
  • [27]
    Data Predictive Control for building energy management.
    By Jain, A., Behl, M. and Mangharam, R.
    In Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, , pp. 245–246, , 2016.
  • [28]
    Computer aided clinical trials for implantable cardiac devices.
    By Abbas, H., Jiang, Z., Jang, K.J., Beccani, M., Liang, J., Dixit, S. and Mangharam, R.
    2016.
  • [29]
    Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
    By Pant, Y.V., Abbas, H. and Mangharam, R.
    In 2016 IEEE 55th Conference on Decision and Control (CDC), , pp. 5694–5699, , 2016.
  • [30]
    High-level modeling for computer-aided clinical trials of medical devices.
    By Abbas, H., Jiang, Z., Jang, K.J., Beccani, M., Liangy, J. and Mangharam, R.
    In 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT), , pp. 85–92, , 2016.
  • [31]
    Cybercardia project: modeling, verification and validation of implantable cardiac devices.
    By Islam, M.A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., Cyranka, J., Cleaveland, R., Gao, S., Clarke, E., Grosu, R. and others.
    In 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), , pp. 1445–1452, , 2016.

    • 2015

  • [1]
    Abstraction-Tree For Closed-loop Model Checking of Medical Devices.
    By Jiang, Z., Abbas, H., Mosterman, P. and Mangharam, R.
    Tech Report: http://repository. upenn. edu/mlab_papers
    2015
  • [2]
    Co-design of anytime computation and robust control (supplemental).
    By Pant, Y.V., Mohta, K., Abbas, H., Nghiem, T.X., Deveitti, J. and Mangharam, R.
    2015.
  • [3]
    Cloud Mat: Context-aware personalization of fitness content.
    By Jang, K.J., Ryoo, J., Telhan, O. and Mangharam, R.
    In 2015 IEEE International Conference on Services Computing, , pp. 301–308, , 2015.
  • [4]
    Guest Editors’ Introduction: Cyber-Physical Systems for Medical Applications.
    By Bogdan, P. and Mangharam, R.
    In IEEE Des. Test, vol. 32, no. 5, pp. 6–8, 2015.
  • [5]
    Scalable scheduling of energy control systems.
    By Nghiem, T.X. and Mangharam, R.
    In 2015 International Conference on Embedded Software (EMSOFT), , pp. 137–146, , 2015.
  • [6]
    Sometimes, money does grow on trees: Data-driven demand response with dr-advisor.
    By Behl, M. and Mangharam, R.
    In Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, , pp. 137–146, , 2015.
  • [7]
    A data-driven demand response recommender system.
    By Behl, M. and Mangharam, R.
    In Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, , pp. 111–112, , 2015.
  • [8]
    High-confidence medical device software development.
    By Jiang, Z., Mangharam, R. and others.
    In Foundations and Trends&#0174 in Electronic Design Automation, vol. 9, no. 4, pp. 309–391, 2015.
  • [9]
    Model Checking Implantable Cardioverter Defibrillators.
    By Abbas, H., Jang, K.J., Jiang, Z. and Mangharam, R.
    In arXiv preprint arXiv:1512.08083, 2015.
  • [10]
    Sometimes, money does grow on trees: Dr-advisor, a data driven demand response recommender system.
    By Behl, M. and Mangharam, R.
    2015.
  • [11]
    Campus-wide integrated building energy simulation.
    By Bernal, W., Behl, M., Nghiem, T.X. and Mangharam, R.
    2015.
  • [12]
    Hardware optimizations for anytime perception and control.
    By Nischal, K.N., Kelkar, P., Kumar, D., Pant, Y.V., Abbas, H., Devietti, J. and Mangharam, R.
    In 2015 IEEE Real-Time Systems Symposium, , pp. 380–380, , 2015.
  • [13]
    Co-design of anytime computation and robust control.
    By Pant, Y.V., Abbas, H., Mohta, K., Nghiem, T.X., Devietti, J. and Mangharam, R.
    In 2015 IEEE Real-Time Systems Symposium, , pp. 43–52, , 2015.
  • [14]
    Power-efficient algorithms for autonomous navigation.
    By Pant, Y.V., Abbas, H., Nischal, K.N., Kelkar, P., Kumar, D., Devietti, J. and Mangharam, R.
    In 2015 International Conference on Complex Systems Engineering (ICCSE), , pp. 1–6, , 2015.
  • [15]
    DR-Advisor: A data driven demand response recommender system.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    2015.
  • [16]
    Cyber-Physical Systems for Medical Applications Publication date: September/October 2015.
    By Bogdan, P. and Mangharam, R.
    2015.
  • [17]
    Abstraction-Tree For Closed-loop Model Checking of Medical Devices.
    By Jiang, Z., Abbas, H., Mosterman, P. and Mangharam, R.
    Tech Report: http://repository. upenn. edu/mlab_papers
    2015
  • [18]
    Co-design of anytime computation and robust control (supplemental).
    By Pant, Y.V., Mohta, K., Abbas, H., Nghiem, T.X., Deveitti, J. and Mangharam, R.
    2015.
  • [19]
    Cloud Mat: Context-aware personalization of fitness content.
    By Jang, K.J., Ryoo, J., Telhan, O. and Mangharam, R.
    In 2015 IEEE International Conference on Services Computing, , pp. 301–308, , 2015.
  • [20]
    Guest Editors’ Introduction: Cyber-Physical Systems for Medical Applications.
    By Bogdan, P. and Mangharam, R.
    In IEEE Des. Test, vol. 32, no. 5, pp. 6–8, 2015.
  • [21]
    Scalable scheduling of energy control systems.
    By Nghiem, T.X. and Mangharam, R.
    In 2015 International Conference on Embedded Software (EMSOFT), , pp. 137–146, , 2015.
  • [22]
    Sometimes, money does grow on trees: Data-driven demand response with dr-advisor.
    By Behl, M. and Mangharam, R.
    In Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, , pp. 137–146, , 2015.
  • [23]
    A data-driven demand response recommender system.
    By Behl, M. and Mangharam, R.
    In Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, , pp. 111–112, , 2015.
  • [24]
    High-confidence medical device software development.
    By Jiang, Z., Mangharam, R. and others.
    In Foundations and Trends&#0174 in Electronic Design Automation, vol. 9, no. 4, pp. 309–391, 2015.
  • [25]
    Model Checking Implantable Cardioverter Defibrillators.
    By Abbas, H., Jang, K.J., Jiang, Z. and Mangharam, R.
    In arXiv preprint arXiv:1512.08083, 2015.
  • [26]
    Sometimes, money does grow on trees: Dr-advisor, a data driven demand response recommender system.
    By Behl, M. and Mangharam, R.
    2015.
  • [27]
    Campus-wide integrated building energy simulation.
    By Bernal, W., Behl, M., Nghiem, T.X. and Mangharam, R.
    2015.
  • [28]
    Hardware optimizations for anytime perception and control.
    By Nischal, K.N., Kelkar, P., Kumar, D., Pant, Y.V., Abbas, H., Devietti, J. and Mangharam, R.
    In 2015 IEEE Real-Time Systems Symposium, , pp. 380–380, , 2015.
  • [29]
    Co-design of anytime computation and robust control.
    By Pant, Y.V., Abbas, H., Mohta, K., Nghiem, T.X., Devietti, J. and Mangharam, R.
    In 2015 IEEE Real-Time Systems Symposium, , pp. 43–52, , 2015.
  • [30]
    Power-efficient algorithms for autonomous navigation.
    By Pant, Y.V., Abbas, H., Nischal, K.N., Kelkar, P., Kumar, D., Devietti, J. and Mangharam, R.
    In 2015 International Conference on Complex Systems Engineering (ICCSE), , pp. 1–6, , 2015.
  • [31]
    DR-Advisor: A data driven demand response recommender system.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    2015.
  • [32]
    Cyber-Physical Systems for Medical Applications Publication date: September/October 2015.
    By Bogdan, P. and Mangharam, R.
    2015.

    • 2014

  • [1]
    Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers.
    By Jiang, Z., Radhakrishnan, S., Sampath, V., Sarode, S. and Mangharam, R.
    2014.
  • [2]
    Closed-loop verification of medical devices with model abstraction and refinement.
    By Jiang, Z., Pajic, M., Alur, R. and Mangharam, R.
    In International Journal on Software Tools for Technology Transfer, vol. 16, no. 2, pp. 191–213, 2014.
  • [3]
    Safety-critical medical device development using the UPP2SF model translation tool.
    By Pajic, M., Jiang, Z., Lee, I., Sokolsky, O. and Mangharam, R.
    In ACM Transactions on Embedded Computing Systems (TECS), vol. 13, no. 4s, pp. 1–26, 2014.
  • [4]
    Model-iq: Uncertainty propagation from sensing to modeling and control in buildings.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    In 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), , pp. 13–24, , 2014.
  • [5]
    IMpACT: Inverse model accuracy and control performance toolbox for buildings.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    In 2014 IEEE International Conference on Automation Science and Engineering (CASE), , pp. 1109–1114, , 2014.
  • [6]
    Peak power reduction in hybrid energy systems with limited load forecasts.
    By Pant, Y.V., Nghiem, T.X. and Mangharam, R.
    In 2014 American Control Conference, , pp. 4212–4217, , 2014.
  • [7]
    Peak power control of battery and super-capacitor energy systems in electric vehicles.
    By Pant, Y.V., Nghiem, T.X. and Mangharam, R.
    2014.
  • [8]Special issue on real-time and embedded technology and applications, ACM Transactions on Embedded Computing Systems (TECS), vol. 13, no. 4s. ACM New York, NY, USA, pp. pp. 1–2, 2014
  • [9]
    OR. NET-approaches for risk analysis and measures of dynamically interconnected medical devices.
    By Kühn, F., Leucker, M. and Mildner, A.
    In 5th Workshop on Medical Cyber-Physical Systems, 2014.
  • [10]
    An approach to integrate distributed systems of medical devices in high acuity environments.
    By Gregorczyk, D., Fischer, S., Busshaus, T., Schlichting, S. and Pöhlsen, S.
    In 5th Workshop on Medical Cyber-Physical Systems, 2014.
  • [11]
    OASIcs, Volume 36, MCPS’14, Complete Volume.
    By Turau, V., Kwiatkowska, M., Mangharam, R. and Weyer, C.
    In 5th Workshop on Medical Cyber-Physical Systems, 2014.
  • [12]
    Compositional, approximate, and quantitative reasoning for medical cyber-physical systems with application to patient-specific cardiac dynamics and devices.
    By Grosu, R., Cherry, E., Clarke, E.M., Cleaveland, R., Dixit, S., Fenton, F.H., Gao, S., Glimm, J., Gray, R.A., Mangharam, R. and others.
    In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 6, , pp. 356–364, , 2014.
  • [13]
    Distributed control of a swarm of buildings connected to a smart grid: demo abstract.
    By Aksanli, B., Akyurek, A.S., Behl, M., Clark, M., Donzé, A., Dutta, P., Lazik, P., Maasoumy, M., Mangharam, R., Nghiem, T.X. and others.
    In Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, , pp. 172–173, , 2014.
  • [14]
    The swarm at the edge of the cloud.
    By Lee, E.A., Hartmann, B., Kubiatowicz, J., Rosing, T.S., Wawrzynek, J., Wessel, D., Rabaey, J., Pister, K., Sangiovanni-Vincentelli, A., Seshia, S.A. and others.
    In IEEE Design & Test, vol. 31, no. 3, pp. 8–20, 2014.
  • [15]
    Requirement-guided model refinement.
    By Jiang, Z., Mosterman, P. and Mangharam, R.
    2014.
  • [16]
    5th Workshop on Medical Cyber-Physical Systems.
    By Turau, V., Kwiatkowska, M., Mangharam, R., Weyer, C., Masci, P., Zhang, Y., Jones, P., Thimbleby, H., Curzon, P., Gregorczyk, D. and others.
    2014.
  • [17]
    Robust Model Predictive Control with Anytime Estimation.
    By Nghiem, T.X., Pant, Y.V. and Mangharam, R.
    2014.
  • [18]
    Evaluation of dr-advisor on the ashrae great energy predictor shootout challenge.
    By Behl, M. and Mangharam, R.
    2014.
  • [19]
    Demo Abstract: Distributed Control of a Swarm of Buildings Connected to Smart Grid.
    By Aksanli, B., Akyurek, A.S., Clark, M., Donzé, A., Dutta, P., Lazik, P., Maasoumy, M., Mangharam, R., Murray, R., Nghiem, T. and others.
    2014.
  • [20]
    Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers.
    By Jiang, Z., Radhakrishnan, S., Sampath, V., Sarode, S. and Mangharam, R.
    2014.
  • [21]
    Closed-loop verification of medical devices with model abstraction and refinement.
    By Jiang, Z., Pajic, M., Alur, R. and Mangharam, R.
    In International Journal on Software Tools for Technology Transfer, vol. 16, no. 2, pp. 191–213, 2014.
  • [22]
    Safety-critical medical device development using the UPP2SF model translation tool.
    By Pajic, M., Jiang, Z., Lee, I., Sokolsky, O. and Mangharam, R.
    In ACM Transactions on Embedded Computing Systems (TECS), vol. 13, no. 4s, pp. 1–26, 2014.
  • [23]
    Model-iq: Uncertainty propagation from sensing to modeling and control in buildings.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    In 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), , pp. 13–24, , 2014.
  • [24]
    IMpACT: Inverse model accuracy and control performance toolbox for buildings.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    In 2014 IEEE International Conference on Automation Science and Engineering (CASE), , pp. 1109–1114, , 2014.
  • [25]
    Peak power reduction in hybrid energy systems with limited load forecasts.
    By Pant, Y.V., Nghiem, T.X. and Mangharam, R.
    In 2014 American Control Conference, , pp. 4212–4217, , 2014.
  • [26]
    Peak power control of battery and super-capacitor energy systems in electric vehicles.
    By Pant, Y.V., Nghiem, T.X. and Mangharam, R.
    2014.
  • [27]Special issue on real-time and embedded technology and applications, ACM Transactions on Embedded Computing Systems (TECS), vol. 13, no. 4s. ACM New York, NY, USA, pp. pp. 1–2, 2014
  • [28]
    Compositional, approximate, and quantitative reasoning for medical cyber-physical systems with application to patient-specific cardiac dynamics and devices.
    By Grosu, R., Cherry, E., Clarke, E.M., Cleaveland, R., Dixit, S., Fenton, F.H., Gao, S., Glimm, J., Gray, R.A., Mangharam, R. and others.
    In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 6, , pp. 356–364, , 2014.
  • [29]
    The swarm at the edge of the cloud.
    By Lee, E.A., Hartmann, B., Kubiatowicz, J., Rosing, T.S., Wawrzynek, J., Wessel, D., Rabaey, J., Pister, K., Sangiovanni-Vincentelli, A., Seshia, S.A. and others.
    In IEEE Design & Test, vol. 31, no. 3, pp. 8–20, 2014.
  • [30]
    Requirement-guided model refinement.
    By Jiang, Z., Mosterman, P. and Mangharam, R.
    2014.
  • [31]
    5th Workshop on Medical Cyber-Physical Systems.
    By Turau, V., Kwiatkowska, M., Mangharam, R., Weyer, C., Masci, P., Zhang, Y., Jones, P., Thimbleby, H., Curzon, P., Gregorczyk, D. and others.
    2014.
  • [32]
    Robust Model Predictive Control with Anytime Estimation.
    By Nghiem, T.X., Pant, Y.V. and Mangharam, R.
    2014.
  • [33]
    Evaluation of dr-advisor on the ashrae great energy predictor shootout challenge.
    By Behl, M. and Mangharam, R.
    2014.
  • [34]
    Demo Abstract: Distributed Control of a Swarm of Buildings Connected to Smart Grid.
    By Aksanli, B., Akyurek, A.S., Clark, M., Donzé, A., Dutta, P., Lazik, P., Maasoumy, M., Mangharam, R., Murray, R., Nghiem, T. and others.
    2014.

    • 2013

  • [1]
    Robust architectures for embedded wireless network control and actuation.
    By Pajic, M., Chernoguzov, A. and Mangharam, R.
    In ACM Transactions on Embedded Computing Systems (TECS), vol. 11, no. 4, pp. 1–24, 2013.
  • [2]
    Networked realization of discrete-time controllers.
    By Miao, F., Pajic, M., Mangharam, R. and Pappas, G.J.
    In 2013 American Control Conference, , pp. 2996–3001, , 2013.
  • [3]
    Topological conditions for in-network stabilization of dynamical systems.
    By Pajic, M., Mangharam, R., Pappas, G.J. and Sundaram, S.
    In IEEE Journal on Selected Areas in Communications, vol. 31, no. 4, pp. 794–807, 2013.
  • [4]
    Event-based green scheduling of radiant systems in buildings.
    By Nghiem, T.X., Pappas, G.J. and Mangharam, R.
    In 2013 American Control Conference, , pp. 455–460, , 2013.
  • [5]
    Towards synthesis of platform-aware attack-resilient control systems.
    By Pajic, M., Bezzo, N., Weimer, J., Alur, R., Mangharam, R., Michael, N., Pappas, G.J., Sokolsky, O., Tabuada, P., Weirich, S. and others.
    In Proceedings of the 2nd ACM international conference on High confidence networked systems, , pp. 75–76, , 2013.
  • [6]
    Demo abstract: EnergyLab: building energy testbed for demand-response.
    By Behl, M., Shah, N.D., Vadakedathu, L., Wheeler, D. and Mangharam, R.
    In Proceedings of the 12th international conference on Information processing in sensor networks, , pp. 303–304, , 2013.
  • [7]
    ProtoDrive: An experimental platform for electric vehicle energy scheduling and control.
    By Price, W., Jain, H., Pant, Y. and Mangharam, R.
    In ACM Sigbed Review, vol. 10, no. 2, pp. 33–33, 2013.
  • [8]
    Distributed control for cyber-physical systems.
    By Mangharam, R. and Pajic, M.
    2013.
  • [9]
    Uncertainty propagation from sensing to modeling and control in buildings-technical report.
    By Behl, M., Nghiem, T. and Mangharam, R.
    2013.
  • [10]
    Model-Based Conformance Testing for Implantable Pacemakers.
    By Chen, G., Jiang, Z. and Mangharam, R.
    2013.
  • [11]
    Multi-scale modeling of the heart for closed-loop evaluation of pacemaker software.
    By Jiang, Z. and Mangharam, R.
    In Frontiers in Biomedical Devices, vol. 56000, , , p. V001T10A051, , 2013.
  • [12]University of Pennsylvania develops electrophysiological heart model for real-time closed-loop testing of pacemakers. Mathworks, 2013
  • [13]
    Knock NOx: Model-based Remote Diagnostics of a Diesel Exhaust Control System.
    By Pant, Y.V., Nghiem, T.X. and Mangharam, R.
    In WorkǦinǦProgress Proceedings, p. 17, 2013.
  • [14]
    AUTOPLUG: Remote Diagnostics Automotive Architecture for Control Software Safety.
    By Mangharam, R., Pant, Y.V. and Nghiem, T.X.
    2013.
  • [15]
    Anytime Algorithms for Automotive Architectures.
    By Mangharam, R.
    2013.
  • [16]
    Anytime Algorithms for Automotive Architectures: UTC Final Report.
    By Mangharam, R. and others.
    2013.
  • [17]
    Robust architectures for embedded wireless network control and actuation.
    By Pajic, M., Chernoguzov, A. and Mangharam, R.
    In ACM Transactions on Embedded Computing Systems (TECS), vol. 11, no. 4, pp. 1–24, 2013.
  • [18]
    Networked realization of discrete-time controllers.
    By Miao, F., Pajic, M., Mangharam, R. and Pappas, G.J.
    In 2013 American Control Conference, , pp. 2996–3001, , 2013.
  • [19]
    Topological conditions for in-network stabilization of dynamical systems.
    By Pajic, M., Mangharam, R., Pappas, G.J. and Sundaram, S.
    In IEEE Journal on Selected Areas in Communications, vol. 31, no. 4, pp. 794–807, 2013.
  • [20]
    Event-based green scheduling of radiant systems in buildings.
    By Nghiem, T.X., Pappas, G.J. and Mangharam, R.
    In 2013 American Control Conference, , pp. 455–460, , 2013.
  • [21]
    Towards synthesis of platform-aware attack-resilient control systems.
    By Pajic, M., Bezzo, N., Weimer, J., Alur, R., Mangharam, R., Michael, N., Pappas, G.J., Sokolsky, O., Tabuada, P., Weirich, S. and others.
    In Proceedings of the 2nd ACM international conference on High confidence networked systems, , pp. 75–76, , 2013.
  • [22]
    Demo abstract: EnergyLab: building energy testbed for demand-response.
    By Behl, M., Shah, N.D., Vadakedathu, L., Wheeler, D. and Mangharam, R.
    In Proceedings of the 12th international conference on Information processing in sensor networks, , pp. 303–304, , 2013.
  • [23]
    ProtoDrive: An experimental platform for electric vehicle energy scheduling and control.
    By Price, W., Jain, H., Pant, Y. and Mangharam, R.
    In ACM Sigbed Review, vol. 10, no. 2, pp. 33–33, 2013.
  • [24]
    Distributed control for cyber-physical systems.
    By Mangharam, R. and Pajic, M.
    2013.
  • [25]
    Uncertainty propagation from sensing to modeling and control in buildings-technical report.
    By Behl, M., Nghiem, T. and Mangharam, R.
    2013.
  • [26]
    Model-Based Conformance Testing for Implantable Pacemakers.
    By Chen, G., Jiang, Z. and Mangharam, R.
    2013.
  • [27]
    Multi-scale modeling of the heart for closed-loop evaluation of pacemaker software.
    By Jiang, Z. and Mangharam, R.
    In Frontiers in Biomedical Devices, vol. 56000, , , p. V001T10A051, , 2013.
  • [28]University of Pennsylvania develops electrophysiological heart model for real-time closed-loop testing of pacemakers. Mathworks, 2013
  • [29]
    Knock NOx: Model-based Remote Diagnostics of a Diesel Exhaust Control System.
    By Pant, Y.V., Nghiem, T.X. and Mangharam, R.
    In WorkǦinǦProgress Proceedings, p. 17, 2013.
  • [30]
    AUTOPLUG: Remote Diagnostics Automotive Architecture for Control Software Safety.
    By Mangharam, R., Pant, Y.V. and Nghiem, T.X.
    2013.
  • [31]
    Anytime Algorithms for Automotive Architectures.
    By Mangharam, R.
    2013.

    • 2012

  • [1]
    Modeling and verification of a dual chamber implantable pacemaker.
    By Jiang, Z., Pajic, M., Moarref, S., Alur, R. and Mangharam, R.
    In Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24–April 1, 2012. Proceedings 18, , pp. 188–203, , 2012.
  • [2]
    Closing the loop: A simple distributed method for control over wireless networks.
    By Pajic, M., Sundaram, S., Le Ny, J., Pappas, G.J. and Mangharam, R.
    In Proceedings of the 11th international conference on Information Processing in Sensor Networks, , pp. 25–36, , 2012.
  • [3]
    From verification to implementation: A model translation tool and a pacemaker case study.
    By Pajic, M., Jiang, Z., Lee, I., Sokolsky, O. and Mangharam, R.
    In 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, , pp. 173–184, , 2012.
  • [4]
    Green scheduling for radiant systems in buildings.
    By Nghiem, T.X., Behl, M., Pappas, G.J. and Mangharam, R.
    In 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), , pp. 7577–7582, , 2012.
  • [5]
    Demo abstract: Model-based testing of implantable cardiac devices.
    By Sarode, S., Radhakrishnan, S., Sampath, V., Jiang, Z., Pajic, M. and Mangharam, R.
    In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, , pp. 221–221, , 2012.
  • [6]
    AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems.
    By Pant, Y.V., Pajic, M. and Mangharam, R.
    2012.
  • [7]
    Green scheduling for energy-efficient operation of multiple chiller plants.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    In 2012 IEEE 33rd Real-Time Systems Symposium, , pp. 195–204, , 2012.
  • [8]
    Scalable scheduling of building control systems for peak demand reduction.
    By Nghiem, T.X., Behl, M., Mangharam, R. and Pappas, G.J.
    In 2012 American Control Conference (ACC), , pp. 3050–3055, , 2012.
  • [9]
    MLE+ a tool for integrated design and deployment of energy efficient building controls.
    By Bernal, W., Behl, M., Nghiem, T.X. and Mangharam, R.
    In Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, , pp. 123–130, , 2012.
  • [10]
    Model-driven safety analysis of closed-loop medical systems.
    By Pajic, M., Mangharam, R., Sokolsky, O., Arney, D., Goldman, J. and Lee, I.
    In IEEE Transactions on Industrial Informatics, vol. 10, no. 1, pp. 3–16, 2012.
  • [11]
    Protodrive: An experimental platform for electric vehicle energy scheduling and control.
    By Diaz, S., Jain, H., Pant, Y., Price, W. and Mangharam, R.
    2012.
  • [12]
    MLE+ design and deployment integration for energy-efficient building controls.
    By Bernal, W., Behl, M., Nghiem, T. and Mangharam, R.
    In Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, , pp. 215–216, , 2012.
  • [13]
    The car and the cloud: Automotive architectures for 2020.
    By Mangharam, R.
    2012.
  • [14]
    Protodrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control.
    By Mangharam, R.
    2012.
  • [15]
    Modeling and verification of a dual chamber implantable pacemaker.
    By Jiang, Z., Pajic, M., Moarref, S., Alur, R. and Mangharam, R.
    In Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24–April 1, 2012. Proceedings 18, , pp. 188–203, , 2012.
  • [16]
    Closing the loop: A simple distributed method for control over wireless networks.
    By Pajic, M., Sundaram, S., Le Ny, J., Pappas, G.J. and Mangharam, R.
    In Proceedings of the 11th international conference on Information Processing in Sensor Networks, , pp. 25–36, , 2012.
  • [17]
    From verification to implementation: A model translation tool and a pacemaker case study.
    By Pajic, M., Jiang, Z., Lee, I., Sokolsky, O. and Mangharam, R.
    In 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, , pp. 173–184, , 2012.
  • [18]
    Green scheduling for radiant systems in buildings.
    By Nghiem, T.X., Behl, M., Pappas, G.J. and Mangharam, R.
    In 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), , pp. 7577–7582, , 2012.
  • [19]
    Demo abstract: Model-based testing of implantable cardiac devices.
    By Sarode, S., Radhakrishnan, S., Sampath, V., Jiang, Z., Pajic, M. and Mangharam, R.
    In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, , pp. 221–221, , 2012.
  • [20]
    AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems.
    By Pant, Y.V., Pajic, M. and Mangharam, R.
    2012.
  • [21]
    Green scheduling for energy-efficient operation of multiple chiller plants.
    By Behl, M., Nghiem, T.X. and Mangharam, R.
    In 2012 IEEE 33rd Real-Time Systems Symposium, , pp. 195–204, , 2012.
  • [22]
    Scalable scheduling of building control systems for peak demand reduction.
    By Nghiem, T.X., Behl, M., Mangharam, R. and Pappas, G.J.
    In 2012 American Control Conference (ACC), , pp. 3050–3055, , 2012.
  • [23]
    MLE+ a tool for integrated design and deployment of energy efficient building controls.
    By Bernal, W., Behl, M., Nghiem, T.X. and Mangharam, R.
    In Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, , pp. 123–130, , 2012.
  • [24]
    Model-driven safety analysis of closed-loop medical systems.
    By Pajic, M., Mangharam, R., Sokolsky, O., Arney, D., Goldman, J. and Lee, I.
    In IEEE Transactions on Industrial Informatics, vol. 10, no. 1, pp. 3–16, 2012.
  • [25]
    Protodrive: An experimental platform for electric vehicle energy scheduling and control.
    By Diaz, S., Jain, H., Pant, Y., Price, W. and Mangharam, R.
    2012.
  • [26]
    The car and the cloud: Automotive architectures for 2020.
    By Mangharam, R.
    2012.
  • [27]
    Protodrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control.
    By Mangharam, R.
    2012.

    • 2011

  • [1]
    Model-based closed-loop testing of implantable pacemakers.
    By Jiang, Z., Pajic, M. and Mangharam, R.
    In 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, , pp. 131–140, , 2011.
  • [2]
    The wireless control network: A new approach for control over networks.
    By Pajic, M., Sundaram, S., Pappas, G.J. and Mangharam, R.
    In IEEE transactions on automatic control, vol. 56, no. 10, pp. 2305–2318, 2011.
  • [3]
    Topological conditions for wireless control networks.
    By Pajic, M., Sundaram, S., Pappas, G.J. and Mangharam, R.
    In 2011 50th IEEE Conference on Decision and Control and European Control Conference, , pp. 2353–2360, , 2011.
  • [4]
    Autoplug: An automotive test-bed for electronic controller unit testing and verification.
    By Drolia, U., Wang, Z., Pant, Y. and Mangharam, R.
    In 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), , pp. 1187–1192, , 2011.
  • [5]
    Modeling cardiac pacemaker malfunctions with the virtual heart model.
    By Jiang, Z. and Mangharam, R.
    In 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, , pp. 263–266, , 2011.
  • [6]
    Cyber–physical modeling of implantable cardiac medical devices.
    By Jiang, Z., Pajic, M. and Mangharam, R.
    In Proceedings of the IEEE, vol. 100, no. 1, pp. 122–137, 2011.
  • [7]
    The wireless control network: Topological conditions for system stabilization.
    By Pajic, M., Sundaram, S., Mangharam, R. and Pappas, G.J.
    In University of Pennsylvania, Tech. Rep, 2011.
  • [8]
    Green scheduling of control systems for peak demand reduction.
    By Nghiem, T.X., Behl, M., Mangharam, R. and Pappas, G.J.
    In 2011 50th IEEE Conference on Decision and Control and European Control Conference, , pp. 5131–5136, , 2011.
  • [9]
    Demo abstract: AutoPlug—An automotive test-bed for ECU testing, validation and verification.
    By Drolia, U., Wang, Z., Vemuri, S., Behl, M. and Mangharam, R.
    In Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, , pp. 131–132, , 2011.
  • [10]
    UPP2SF: Translating UPPAAL models to Simulink.
    By Pajic, M., Lee, I., Mangharam, R. and Sokolsky, O.
    In University of Pennsylvania, Tech. Rep, 2011.
  • [11]
    Architecture for a fully distributed wireless control network.
    By Pajic, M., Sundaram, S., Aneja, M., Vemuri, S., Mangharam, R. and Pappas, G.J.
    In Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, , pp. 117–118, , 2011.
  • [12]
    Anytime algorithms for GPU architectures.
    By Mangharam, R. and Saba, A.A.
    In 2011 IEEE 32nd Real-Time Systems Symposium, , pp. 47–56, , 2011.
  • [13]
    A simple distributed method for control over wireless networks.
    By Pajic, M., Sundaram, S., Pappas, G. and Mangharam, R.
    2011.
  • [14]
    Demo abstract: RAVEN—Remote autonomous vehicle explorer network.
    By Martin, P., Etter, W. and Mangharam, R.
    In Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, , pp. 123–124, , 2011.
  • [15]
    Green Scheduling: Scheduling of Control Systems for Peak Power Reduction.
    By Mangharam, R., Nghiem, T., Behl, M. and Pappas, G.J.
    2011.
  • [16]
    On the feasibility of linear discrete-time systems of the green scheduling problem.
    By Li, Z., Huang, P.-C., Mok, A.K., Nghiem, T., Behl, M., Pappas, G. and Mangharam, R.
    In 2011 IEEE 32nd Real-Time Systems Symposium, , pp. 295–304, , 2011.
  • [17]
    Demo abstract: Closed-loop testing for implantable cardiac pacemakers.
    By Jiang, Z., Pajic, M. and Mangharam, R.
    In Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, , pp. 119–120, , 2011.
  • [18]
    Green scheduling: Scheduling of control systems for peak power reduction.
    By Nghiem, T., Behl, M., Pappas, G.J. and Mangharam, R.
    In 2011 International Green Computing Conference and Workshops, , pp. 1–8, , 2011.
  • [19]
    EnRoute: An energy router for energy-efficient buildings.
    By Behl, M., Aneja, M., Jain, H. and Mangharam, R.
    In Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, , pp. 125–126, , 2011.
  • [20]
    Cooperative flight guidance of autonomous unmanned aerial vehicles.
    By Etter Jr, W.H., Martin, P. and Mangharam, R.
    2011.
  • [21]
    Network synthesis for dynamical system stabilization.
    By Pajic, M., Sundaram, S., Pappas, G.J. and Mangharam, R.
    In 2011 Conference Record of the Forty Fifth Asilomar Conference on Signals, Systems and Computers (ASILOMAR), , pp. 821–825, , 2011.

    • 2010

    2009

  • [1]
    Anti-jamming for embedded wireless networks.
    By Pajic, M. and Mangharam, R.
    In 2009 International Conference on Information Processing in Sensor Networks, , pp. 301–312, , 2009.
  • [2]
    Demo abstract: Embedded Virtual Machines for wireless industrial automation.
    By Mangharam, R., Pajic, M. and Sastry, S.
    In 2009 International Conference on Information Processing in Sensor Networks, , pp. 413–414, , 2009.
  • [3]
    Embedded Virtual Machines for Wireless Industrial Automation.
    By Pajic, M. and Mangharam, R.
    2009.

    • 2008

  • [1]
    MEERA: Cross-layer methodology for energy efficient resource allocation in wireless networks.
    By Pollin, S., Mangharam, R., Bougard, B., Perre, L. Van der, Moerman, I., Rajkumar, R. and Catthoor, F.
    In IEEE Transactions on Wireless Communications, vol. 7, no. 1, pp. 98–109, 2008.
  • [2]
    Wispernet: Anti-jamming for wireless sensor networks.
    By Pajic, M. and Mangharam, R.
    2008.
  • [3]
    Mixed Reality, Now a Reality Network Virtualization for Real-Time Automotive-CPS Networks.
    By Mangharam, R.
    2008.
  • [4]
    Real-time embedded wireless networks: Algorithms and experiences
    PhD thesis Carnegie Mellon University 2008
  • [5]
    Real-Time Traffic Congestion Prediction.
    By Mangharam, R., Lee, I. and Sokolsky, O.
    2008.

    • 2007

  • [1]
    FireFly: a cross-layer platform for real-time embedded wireless networks.
    By Mangharam, R., Rowe, A. and Rajkumar, R.
    In Real-Time Systems, vol. 37, pp. 183–231, 2007.
  • [2]
    Bounded-latency alerts in vehicular networks.
    By Mangharam, R., Rajkumar, R., Hamilton, M., Mudaliget, P. and Bait, F.
    In 2007 Mobile Networking for Vehicular Environments, , pp. 55–60, , 2007.
  • [3]
    Node connectivity in vehicular ad hoc networks with structured mobility.
    By Ho, I.W.H., Leung, K.K., Polak, J.W. and Mangharam, R.
    In 32nd IEEE Conference on Local Computer Networks (LCN 2007), , pp. 635–642, , 2007.
  • [4]Bounded-latency alerts in vehicular networks. In 2007 Mobile Networking for Vehicular Environments. IEEE, 2007

    • 2006

  • [1]
    RT-Link: A time-synchronized link protocol for energy-constrained multi-hop wireless networks.
    By Rowe, A., Mangharam, R. and Rajkumar, R.
    In 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, vol. 2, , , pp. 402–411, , 2006.
  • [2]
    Voice over sensor networks.
    By Mangharam, R., Rowe, A., Rajkumar, R. and Suzuki, R.
    In 2006 27th IEEE International Real-Time Systems Symposium (RTSS’06), , pp. 291–302, , 2006.
  • [3]
    Groovenet: A hybrid simulator for vehicle-to-vehicle networks.
    By Mangharam, R., Weller, D., Rajkumar, R., Mudalige, P. and Bai, F.
    In 2006 Third Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services, , pp. 1–8, , 2006.
  • [4]
    FireFly: A time synchronized real-time sensor networking platform.
    By Rowe, A., Mangharam, R. and Rajkumar, R.
    In Wireless Ad Hoc Networking: Personal-Area, Local-Area, and the Sensory-Area Networks, CRC Press Book, 2006.
  • [5]
    Max: A maximal transmission concurrency mac for wireless networks with regular structure.
    By Mangharam, R. and Rajkumar, R.
    In 2006 3rd International Conference on Broadband Communications, Networks and Systems, , pp. 1–10, , 2006.
  • [6]
    RT-Link: A Time-Synchronized Link Protocol for Energy-Constrained Multi-hop Wireless Networks.
    By Mangharam, R., Rowe, A. and Rajkumar, R.
    2006.

    • 2005

  • [1]
    GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks.
    By Mangharam, R., Weller, D.S., Stancil, D.D., Rajkumar, R. and Parikh, J.S.
    In Proceedings of the 2nd ACM international workshop on Vehicular ad hoc networks, , pp. 59–68, , 2005.
  • [2]
    Optimal fixed and scalable energy management for wireless networks.
    By Mangharam, R., Rajkumar, R., Pollin, S., Catthoor, F., Bougard, B., Perre, L. Van der and Moeman, I.
    In Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies., vol. 1, , , pp. 114–125, , 2005.
  • [3]
    Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks.
    By Pollin, S., Bougard, B., Mangharam, R., Perre, L. Van der, Catthoor, F., Rajkumar, R. and Moerman, I.
    In Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005., , pp. 290–301, , 2005.
  • [4]
    Optimizing transmission and shutdown for energy-efficient real-time packet scheduling in clustered ad hoc networks.
    By Pollin, S., Bougard, B., Mangharam, R., Catthoor, F., Moerman, I., Rajkumar, R. and Perre, L. Van der.
    In EURASIP Journal on wireless communications and networking, vol. 2005, no. 5, pp. 1–14, 2005.
  • [5]
    A multi-hop mobile networking test-bed for telematics.
    By Mangharam, R., Meyers, J.J., Rajkumar, R., Stancil, D.D., Parikh, J.S., Krishnan, H. and Kellum, C.
    In SAE transactions, pp. 441–447, 2005.