Truong X. Nghiem

Patents

  1. System and Method for Feedback-guided Test Generation for Cyber-physical Systems Using Monte-Carlo
    Inventors: Aarti Gupta, Franjo Ivancic, Sriram Sankaranarayanan, Truong Nghiem
    Assignees: NEC Laboratories America, Inc.
    Patent number: US8374840.
    Patent grant date: February 12, 2013.

Publications

Journal Papers

  1. Truong X. Nghiem, George J. Pappas, Rajeev Alur and Antoine Girard, “Time-triggered implementations of dynamic controllers,” ACM Transactions in Embedded Computing Systems, vol. 11, pp. 58:1-24, 8 2012.
    [BibTeX] [Download]

    @article{nghiemetal12tti,
      author = {Truong X. Nghiem and George J. Pappas and Rajeev Alur and Antoine Girard},
      title = {Time-triggered implementations of dynamic controllers},
      journal = {ACM Transactions in Embedded Computing Systems},
      year = {2012},
      volume = {11},
      pages = {58:1-24}
    }
    

Submitted and Working Journal Papers

  1. Truong X. Nghiem and Colin N. Jones, “Data-driven Modeling and Stochastic Control of Buildings for Demand Response and Ancillary Services,” 2016. In preparation for Applied Energy.
    [BibTeX]

    @unpublished{nghiemetal16gpjour,
      author = {Truong X. Nghiem and Colin N. Jones},
      title = {Data-driven Modeling and Stochastic Control of Buildings for Demand Response and Ancillary Services},
      year = {2016},
      note = {In preparation for Applied Energy}
    }
    
  2. Truong X. Nghiem, Altug Bitlislioglu and Colin N. Jones, “Large-scale Distributed Co-Simulation of Cyber-Physical Energy Systems with OpenBuildNet,” 2016. In preparation.
    [BibTeX]

    @unpublished{nghiemetal16obn,
      author = {Truong X. Nghiem and Altug Bitlislioglu and Colin N. Jones},
      title = {Large-scale Distributed Co-Simulation of Cyber-Physical Energy Systems with OpenBuildNet},
      year = {2016},
      note = {In preparation}
    }
    

Conference Papers

  1. Truong X. Nghiem and Colin N. Jones, “Data-driven Demand Response Modeling and Control of Buildings with Gaussian Processes,” 2017. Accepted to American Control Conference.
    [BibTeX]

    @conference{nghiemetal16gp,
      author = {Truong X. Nghiem and Colin N. Jones},
      title = {Data-driven Demand Response Modeling and Control of Buildings with Gaussian Processes},
      year = {2017},
      note = {Accepted to American Control Conference}
    }
    
  2. Truong X. Nghiem, Altug Bitlislioglu, Tomasz Gorecki, Faran A. Qureshi and Colin N. Jones, “OpenBuildNet Framework for Distributed Co-Simulation of Smart Energy Systems,” in International Conf. on Control, Automation, Robotics and Vision (ICARCV), 2016.
    [BibTeX]

    @inproceedings{nghiemetal16openbuildnet,
      author = {Truong X. Nghiem and Altug Bitlislioglu and Tomasz Gorecki and Faran A. Qureshi and Colin N. Jones},
      title = {OpenBuildNet Framework for Distributed Co-Simulation of Smart Energy Systems},
      booktitle = {International Conf. on Control, Automation, Robotics and Vision (ICARCV)},
      year = {2016}
    }
    
  3. Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “DR-Advisor: A Data Driven Demand Response Recommender System,” in International Conference CISBAT 2015 Future Buildings and Districts Sustainability from Nano to Urban Scale, 2015.
    [BibTeX]

    @inproceedings{behletal15dradvisor,
      author = {Behl, Madhur and Truong X. Nghiem and Mangharam, Rahul},
      title = {DR-Advisor: A Data Driven Demand Response Recommender System},
      booktitle = {International Conference CISBAT 2015 Future Buildings and Districts Sustainability from Nano to Urban Scale},
      year = {2015}
    }
    
  4. Willy Bernal, Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “Campus-Wide Integrated Building Energy Simulation,” in IBPSA International Building Simulation Conference (BS2015), 2015.
    [BibTeX]

    @inproceedings{bernaletal15campus,
      author = {Bernal, Willy and Behl, Madhur and Truong X. Nghiem and Mangharam, Rahul},
      title = {Campus-Wide Integrated Building Energy Simulation},
      booktitle = {IBPSA International Building Simulation Conference (BS2015)},
      year = {2015}
    }
    
  5. Ioannis Lymperopoulos, Faran A. Qureshi, Truong X. Nghiem, Ali Ahmadi Khatir and Colin N. Jones, “Providing ancillary service with commercial buildings: the Swiss perspective,” in International Symposium on Advanced Control of Chemical Processes (ADCHEM), 2015.
    [BibTeX]

    @inproceedings{lymperopoulosetal15pas,
      author = {Ioannis Lymperopoulos and Faran A. Qureshi and Truong X. Nghiem and Ali Ahmadi Khatir and Colin N. Jones},
      title = {Providing ancillary service with commercial buildings: the Swiss perspective},
      booktitle = {International Symposium on Advanced Control of Chemical Processes (ADCHEM)},
      year = {2015}
    }
    
  6. Truong X. Nghiem and Rahul Mangharam, “Scalable Scheduling of Energy Control Systems,” in ACM & IEEE International conference on Embedded software (EMSOFT), 2015.
    [BibTeX]

    @inproceedings{nghiemetal15sse,
      author = {Truong X. Nghiem and Rahul Mangharam},
      title = {Scalable Scheduling of Energy Control Systems},
      booktitle = {ACM & IEEE International conference on Embedded software (EMSOFT)},
      year = {2015}
    }
    
  7. Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X. Nghiem, Joseph Devietti and Rahul Mangharam, “Co-Design of Anytime Computation and Robust Control,” in IEEE Real-Time Systems Symposium (RTSS), 2015.
    [BibTeX]

    @inproceedings{pantetal15anytime,
      author = {Yash Vardhan Pant and Kartik Mohta and Houssam Abbas and Truong X. Nghiem and Joseph Devietti and Rahul Mangharam},
      title = {Co-Design of Anytime Computation and Robust Control},
      booktitle = {IEEE Real-Time Systems Symposium (RTSS)},
      year = {2015}
    }
    
  8. Baris Aksanli, Alper S. Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing and Jagannathan Venkatesh, “Distributed Control of a Swarm of Buildings Connected to a Smart Grid: Demo Abstract,” in The 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings (BuildSys'14), pp. 172-173, 2014.
    [BibTeX]

    @inproceedings{aksanlietal14dcs,
      author = {Aksanli, Baris and Akyurek, Alper S. and Behl, Madhur and Clark, Meghan and Donze, Alexandre and Dutta, Prabal and Lazik, Patrick and Maasoumy, Mehdi and Mangharam, Rahul and Nghiem, Truong X. and Raman, Vasumathi and Rowe, Anthony and Sangiovanni-Vincentelli, Alberto and Seshia, Sanjit and Rosing, Tajana Simunic and Venkatesh, Jagannathan},
      title = {Distributed Control of a Swarm of Buildings Connected to a Smart Grid: Demo Abstract},
      booktitle = {The 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings (BuildSys'14)},
      publisher = {ACM},
      year = {2014},
      pages = {172--173},
      doi = {http://doi.org/10.1145/2674061.2675019}
    }
    
  9. Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “IMpACT: Inverse Model Accuracy and Control Performance Toolbox for Buildings,” in IEEE International Conference on Automation Science and Engineering (CASE), 2014.
    [BibTeX]

    @inproceedings{behletal14iim,
      author = {Madhur Behl and Truong X. Nghiem and Rahul Mangharam},
      title = {IMpACT: Inverse Model Accuracy and Control Performance Toolbox for Buildings},
      booktitle = {IEEE International Conference on Automation Science and Engineering (CASE)},
      year = {2014}
    }
    
  10. Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “Model-IQ: Uncertainty Propagation from Sensing to Modeling and Control in Buildings,” in International Conference on Cyber-Physical Systems (ICCPS), 2014.
    [BibTeX]

    @inproceedings{behletal14miu,
      author = {Madhur Behl and Truong X. Nghiem and Rahul Mangharam},
      title = {Model-IQ: Uncertainty Propagation from Sensing to Modeling and Control in Buildings},
      booktitle = {International Conference on Cyber-Physical Systems (ICCPS)},
      year = {2014}
    }
    
  11. Yash V. Pant, Truong X. Nghiem and Rahul Mangharam, “Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts,” in American Control Conference, 2014.
    [BibTeX]

    @inproceedings{pantetal14ppr,
      author = {Yash V. Pant and Truong X. Nghiem and Rahul Mangharam},
      title = {Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts},
      booktitle = {American Control Conference},
      year = {2014}
    }
    
  12. Truong X. Nghiem, George J. Pappas and Rahul Mangharam, “Event-based Green Scheduling of Radiant Systems in Buildings,” in American Control Conference (ACC), 2013.
    [BibTeX] [Full paper]

    @inproceedings{nghiemetal13ebg,
      author = {Truong X. Nghiem and George J. Pappas and Rahul Mangharam},
      title = {Event-based Green Scheduling of Radiant Systems in Buildings},
      booktitle = {American Control Conference (ACC)},
      year = {2013}
    }
    
  13. Yash V. Pant, Truong X. Nghiem and Rahul Mangharam, “Knock NOx: Model-based Remote Diagnostics of a Diesel Exhaust Control System,” in Work-in-Progress IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 17-20, 2013.
    [BibTeX]

    @inproceedings{pantetal13knm,
      author = {Yash V. Pant and Truong X. Nghiem and Rahul Mangharam},
      title = {Knock NOx: Model-based Remote Diagnostics of a Diesel Exhaust Control System},
      booktitle = {Work-in-Progress IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
      year = {2013},
      pages = {17--20}
    }
    
  14. Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants,” in IEEE Real-Time Systems Symposium (RTSS), pp. 195-204, 2012.
    [BibTeX] [PDF]

    @inproceedings{behletal12gse,
      author = {Madhur Behl and Truong X. Nghiem and Rahul Mangharam},
      title = {Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants},
      booktitle = {IEEE Real-Time Systems Symposium (RTSS)},
      year = {2012},
      pages = {195--204},
      doi = {http://doi.org/10.1109/RTSS.2012.71}
    }
    
  15. Willy Bernal, Madhur Behl, Truong Nghiem and Rahul Mangharam, “MLE+: Design and Deployment Integration for Energy-efficient Building Controls (Demo Abstract),” in The Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys'12), pp. 215-216, 2012. Demo Abstract -- Best Demo Award.
    [BibTeX]

    @inproceedings{bernaletal12mda,
      author = {Bernal, Willy and Behl, Madhur and Nghiem, Truong and Mangharam, Rahul},
      title = {MLE+: Design and Deployment Integration for Energy-efficient Building Controls (Demo Abstract)},
      booktitle = {The Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys'12)},
      publisher = {ACM},
      year = {2012},
      pages = {215--216},
      note = {Demo Abstract -- Best Demo Award},
      doi = {http://doi.org/10.1145/2422531.2422577}
    }
    
  16. Willy Bernal, Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “MLE+: a tool for integrated design and deployment of energy efficient building controls,” in The 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys'12), pp. 123-130, 2012.
    [BibTeX] [Download]

    @inproceedings{bernaletal12mti,
      author = {Bernal, Willy and Behl, Madhur and Nghiem, Truong X. and Mangharam, Rahul},
      title = {MLE+: a tool for integrated design and deployment of energy efficient building controls},
      booktitle = {The 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys'12)},
      publisher = {ACM},
      year = {2012},
      pages = {123--130},
      doi = {http://doi.org/10.1145/2422531.2422553}
    }
    
  17. Truong X. Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam, “Green Scheduling for Radiant Systems in Buildings,” in IEEE Conference on Decision and Control (CDC), pp. 7577-7582, 2012.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal12gsr,
      author = {Truong X. Nghiem and Madhur Behl and George J. Pappas and Rahul Mangharam},
      title = {Green Scheduling for Radiant Systems in Buildings},
      booktitle = {IEEE Conference on Decision and Control (CDC)},
      year = {2012},
      pages = {7577--7582},
      doi = {http://doi.org/10.1109/CDC.2012.6426318}
    }
    
  18. Truong X. Nghiem, Madhur Behl, Rahul Mangharam and George J. Pappas, “Scalable Scheduling of Building Control Systems for Peak Demand Reduction,” in American Control Conference (ACC), pp. 3050-3055, 2012.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal12ssb,
      author = {Truong X. Nghiem and Madhur Behl and Rahul Mangharam and George J. Pappas},
      title = {Scalable Scheduling of Building Control Systems for Peak Demand Reduction},
      booktitle = {American Control Conference (ACC)},
      year = {2012},
      pages = {3050--3055}
    }
    
  19. Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong X. Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam, “On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem,” in The 32nd IEEE Real-Time Systems Symposium (RTSS), pp. 295-304, 2011.
    [BibTeX] [Download]

    @inproceedings{lietal11fld,
      author = {Zheng Li and Pei-Chi Huang and Aloysius K. Mok and Truong X. Nghiem and Madhur Behl and George J. Pappas and Rahul Mangharam},
      title = {On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem},
      booktitle = {The 32nd IEEE Real-Time Systems Symposium (RTSS)},
      year = {2011},
      pages = {295--304}
    }
    
  20. Truong X. Nghiem and Georgios E. Fainekos, “Computing Schedules for Time-Triggered Control using Genetic Algorithms,” in The 18th IFAC World Congress, 2011.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal11cst,
      author = {Truong X. Nghiem and Georgios E. Fainekos},
      title = {Computing Schedules for Time-Triggered Control using Genetic Algorithms},
      booktitle = {The 18th IFAC World Congress},
      year = {2011}
    }
    
  21. Truong X. Nghiem, Madhur Behl, Rahul Mangharam and George J. Pappas, “Green Scheduling of Control Systems for Peak Demand Reduction,” in IEEE Conference on Decision and Control (CDC), pp. 5131-5136, 2011.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal11gso,
      author = {Truong X. Nghiem and Madhur Behl and Rahul Mangharam and George J. Pappas},
      title = {Green Scheduling of Control Systems for Peak Demand Reduction},
      booktitle = {IEEE Conference on Decision and Control (CDC)},
      year = {2011},
      pages = {5131-5136}
    }
    
  22. Truong X. Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam, “Green scheduling: Scheduling of control systems for peak power reduction,” in International Green Computing Conference and Workshops (IGCC), pp. 1-8, 2011.
    [BibTeX] [Download]

    @inproceedings{nghiemetal11gss,
      author = {Truong X. Nghiem and Madhur Behl and George J. Pappas and Rahul Mangharam},
      title = {Green scheduling: Scheduling of control systems for peak power reduction},
      booktitle = {International Green Computing Conference and Workshops (IGCC)},
      year = {2011},
      pages = {1--8}
    }
    
  23. Truong X. Nghiem and George J. Pappas, “Receding-horizon supervisory control of green buildings,” in American Control Conference, pp. 4416-4421, 2011.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal11rsc,
      author = {Truong X. Nghiem and George J. Pappas},
      title = {Receding-horizon supervisory control of green buildings},
      booktitle = {American Control Conference},
      year = {2011},
      pages = {4416--4421}
    }
    
  24. Truong X. Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George J. Pappas, “Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems,” in The 13th ACM international conference on Hybrid systems: computation and control (HSCC), pp. 211-220, 2010.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal10mtf,
      author = {Nghiem, Truong X. and Sankaranarayanan, Sriram and Fainekos, Georgios and Ivancic, Franjo and Gupta, Aarti and Pappas, George J.},
      title = {Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems},
      booktitle = {The 13th ACM international conference on Hybrid systems: computation and control (HSCC)},
      publisher = {Springer},
      year = {2010},
      pages = {211--220},
      doi = {http://doi.org/10.1145/1755952.1755983}
    }
    
  25. Truong X. Nghiem, George J. Pappas, Rajeev Alur and Antoine Girard, “Time-triggered implementations of dynamic controllers,” in The 6th ACM & IEEE International conference on Embedded software (EMSOFT), pp. 2-11, 2006.
    [BibTeX] [PDF] [Code]

    @inproceedings{nghiemetal06tio,
      author = {Nghiem, Truong X. and Pappas, George J. and Alur, Rajeev and Girard, Antoine},
      title = {Time-triggered implementations of dynamic controllers},
      booktitle = {The 6th ACM & IEEE International conference on Embedded software (EMSOFT)},
      publisher = {ACM},
      year = {2006},
      pages = {2--11},
      doi = {http://doi.org/10.1145/1176887.1176890}
    }
    

Technical Reports and Other Publications

  1. Truong X. Nghiem, Yash V. Pant and Rahul Mangharam, “Robust Model Predictive Control with Anytime Estimation,” 2014.
    [BibTeX]

    @techreport{nghiemetal14robust,
      author = {Truong X. Nghiem and Yash V. Pant and Rahul Mangharam},
      title = {Robust Model Predictive Control with Anytime Estimation},
      school = {Department of Electrical and Systems Engineering, University of Pennsylvania},
      year = {2014},
      number = {ESE-UPenn-14-TR12}
    }
    
  2. Yash V. Pant, Truong X. Nghiem and Rahul Mangharam, “Peak Power Control of Battery and Super-capacitor Energy Systems in Electric Vehicles,” 2014.
    [BibTeX]

    @techreport{pantetal14ppc,
      author = {Yash V. Pant and Truong X. Nghiem and Rahul Mangharam},
      title = {Peak Power Control of Battery and Super-capacitor Energy Systems in Electric Vehicles},
      school = {Department of Electrical and Systems Engineering, University of Pennsylvania},
      year = {2014}
    }
    
  3. M. Behl, Truong X. Nghiem and R. Mangharam, “Uncertainty Propagation from Sensing to Modeling and Control in Buildings,” 2013.
    [BibTeX]

    @techreport{behletal13upf,
      author = {Behl, M. and Truong X. Nghiem and Mangharam, R.},
      title = {Uncertainty Propagation from Sensing to Modeling and Control in Buildings},
      school = {University of Pennsylvania},
      year = {2013}
    }
    
  4. Truong X. Nghiem, Green Scheduling of Control Systems. PhD thesis , University of Pennsylvania , 2012.
    [BibTeX]

    @phdthesis{nghiem12gsc,
      author = {Truong X. Nghiem},
      title = {Green Scheduling of Control Systems},
      school = {University of Pennsylvania},
      year = {2012}
    }
    
  5. Truong Xuan Nghiem and Son Minh Hoang, “Real-Time and Interactive Simulation of Industrial Processes for Education and Research,” in The 6th Vietnam Conference on Automation (VICA VI), 2005. In Vietnamese.
    [BibTeX]

    @inproceedings{nghiemetal05rai,
      author = {Truong Xuan Nghiem and Son Minh Hoang},
      title = {Real-Time and Interactive Simulation of Industrial Processes for Education and Research},
      booktitle = {The 6th Vietnam Conference on Automation (VICA VI)},
      year = {2005},
      note = {In Vietnamese}
    }
    
  6. Son Minh Hoang and Truong Xuan Nghiem, “PLCs and the IEC 61131-3 standard (Part 2),” Automation Today (Vietnamese), vol. 7, 7 2004. In Vietnamese.
    [BibTeX]

    @article{hoangetal04pai,
      author = {Son Minh Hoang and Truong Xuan Nghiem},
      title = {PLCs and the IEC 61131-3 standard (Part 2)},
      journal = {Automation Today (Vietnamese)},
      year = {2004},
      volume = {7},
      note = {In Vietnamese}
    }
    
  7. Son Minh Hoang and Truong Xuan Nghiem, “PLCs and the IEC 61131-3 standard (Part 1),” Automation Today (Vietnamese), vol. 5, 5 2004. In Vietnamese.
    [BibTeX]

    @article{hoangetal04paia,
      author = {Son Minh Hoang and Truong Xuan Nghiem},
      title = {PLCs and the IEC 61131-3 standard (Part 1)},
      journal = {Automation Today (Vietnamese)},
      year = {2004},
      volume = {5},
      note = {In Vietnamese}
    }