Truong X. Nghiem

|Software|

Research Software

  • MLE+: a Matlab-EnergyPlus Co-simulation Interface.

  • During my internship at NEC Laboratories, I developed a Matlab/Simulink toolbox which can automatically extract a linear hybrid dynamical system from a Simulink model. The Simulink model may contain linear blocks (e.g. gain, transfer function, linear state-space model), logic blocks (e.g. comparator), look-up tables, and Stateflow charts. The toolbox will automatically instrument the Simulink model to extract all linear transformations and discrete switchings occurring along one run of the model. The result is a collection of linear equations and switching conditions, which can be used for further analysis of the model such as robustness analysis and testing. The toolbox is covered by an NDA with NEC Laboratories and cannot be published by me. It became a part of the S-TaLiRo toolbox. For reference, check out my HSCC’10 paper.

  • My undergraduate thesis software: IEC 61131-3 SFC Software for Sequential Control.

Miscellaneous Software

PubList: JabRef's export to HTML List of Publications

This software is a custom export for JabRef to generate a list of publications in HTML code. To learn more about PubList and to download it, please visit its webpage.

Jemdoc export filter for JabRef

This software has retired. Please use PubList instead.

This is a custom export filter for JabRef which can be used to export references from JabRef to Jemdoc so that they can be included in your website. Feel free to modify it to suit your need, however it would be great if you share your work. Download.