Truong X. Nghiem

Publications (sorted by topics)

Control and Scheduling for Peak Demand Reduction

  1. Truong X. Nghiem, George J. Pappas and Rahul Mangharam, “Event-based Green Scheduling of Radiant Systems in Buildings,” in Proceedings of the American Control Conference (ACC), 6 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 = {Proceedings of the American Control Conference (ACC)},
      year = {2013}
    }
    
  2. Truong X. Nghiem, Madhur Behl and Rahul Mangharam, “Green Scheduling of Control Systems,” Submitted to IEEE Transactions on Automatic Control, 2013.
    [BibTeX]

    @article{nghiemetal13gsc,
      author = {Truong X. Nghiem and Madhur Behl and Rahul Mangharam},
      title = {Green Scheduling of Control Systems},
      journal = {Submitted to IEEE Transactions on Automatic Control},
      year = {2013}
    }
    
  3. Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants,” in Proceedings of the 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 = {Proceedings of the IEEE Real-Time Systems Symposium (RTSS)},
      year = {2012},
      pages = {195--204},
      doi = {http://dx.doi.org/10.1109/RTSS.2012.71}
    }
    
  4. Truong X. Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam, “Green scheduling for radiant systems in buildings,” in Proceedings of the 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 = {Proceedings of the IEEE Conference on Decision and Control (CDC)},
      year = {2012},
      pages = {7577--7582},
      doi = {http://dx.doi.org/10.1109/CDC.2012.6426318}
    }
    
  5. Truong X. Nghiem, Madhur Behl, Rahul Mangharam and George J. Pappas, “Scalable Scheduling of Building Control Systems for Peak Demand Reduction,” in Proceedings of the 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 = {Proceedings of the American Control Conference (ACC)},
      year = {2012},
      pages = {3050--3055}
    }
    
  6. 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 Proceedings of 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 = {Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS)},
      year = {2011},
      pages = {295--304}
    }
    
  7. Truong X. Nghiem, Madhur Behl, Rahul Mangharam and George J. Pappas, “Green Scheduling of Control Systems for Peak Demand Reduction,” in Proceedings of the 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 = {Proceedings of the IEEE Conference on Decision and Control (CDC)},
      year = {2011},
      pages = {5131-5136}
    }
    
  8. Truong X. Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam, “Green scheduling: Scheduling of control systems for peak power reduction,” in Proceedings of 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 = {Proceedings of International Green Computing Conference and Workshops (IGCC)},
      year = {2011},
      pages = {1--8}
    }
    
  9. Truong X. Nghiem and George J. Pappas, “Receding-horizon supervisory control of green buildings,” in Proceedings of the 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 = {Proceedings of the American Control Conference},
      year = {2011},
      pages = {4416--4421}
    }
    

Cyber-Physical Systems

  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}
    }
    
  2. Truong X. Nghiem and Georgios E. Fainekos, “Computing Schedules for Time-Triggered Control using Genetic Algorithms,” in Proceedings of the 18th IFAC World Congress, 8 2011.
    [BibTeX] [PDF]

    @inproceedings{nghiemetal11cst,
      author = {Truong X. Nghiem and Georgios E. Fainekos},
      title = {Computing Schedules for Time-Triggered Control using Genetic Algorithms},
      booktitle = {Proceedings of the 18th IFAC World Congress},
      year = {2011}
    }
    
  3. 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 Proceedings of 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 = {Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (HSCC)},
      publisher = {Springer},
      year = {2010},
      pages = {211--220},
      doi = {http://dx.doi.org/10.1145/1755952.1755983}
    }
    
  4. Truong X. Nghiem, George J. Pappas, Rajeev Alur and Antoine Girard, “Time-triggered implementations of dynamic controllers,” in Proceedings of 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 = {Proceedings of the 6th ACM & IEEE International conference on Embedded software (EMSOFT)},
      publisher = {ACM},
      year = {2006},
      pages = {2--11},
      doi = {http://dx.doi.org/10.1145/1176887.1176890}
    }
    

Other Topics

  1. Willy Bernal, Madhur Behl, Truong X. Nghiem and Rahul Mangharam, “MLE+: a tool for integrated design and deployment of energy efficient building controls,” in Proceedings of the 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys), 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 = {Proceedings of the 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys)},
      publisher = {ACM},
      year = {2012},
      pages = {123--130},
      doi = {http://dx.doi.org/10.1145/2422531.2422553}
    }
    
  2. 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] [PDF]

    @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}
    }
    
  3. 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}
    }
    
  4. 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}
    }
    

Theses

  1. 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}
    }
    

Miscellaneous

  1. Research in Building Energy: A Review
    Truong Nghiem
    Internal Presentation, University of Pennsylvania, 2010
    [PDF]

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
    Agents: NEC Laboratories America, Inc.
    Assignees: NEC Laboratories America, Inc.
    Patent application number: 20100094611