Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. - Truong Nghiem; Sriram Sankaranarayanan 001; Georgios Fainekos; Franjo Ivancic; Aarti Gupta; George J. Pappas (HSCC, 2010)

Receding-horizon supervisory control of green buildings. - Truong X. Nghiem; George J. Pappas (ACC, 2011)

Green scheduling of control systems for peak demand reduction. - Truong Nghiem; Madhur Behl; Rahul Mangharam; George J. Pappas (CDC/ECC, 2011)

Green scheduling: Scheduling of control systems for peak power reduction. - Truong Nghiem; Madhur Behl; George J. Pappas; Rahul Mangharam (IGCC, 2011)

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. - Zheng Li; Pei-Chi Huang; Aloysius K. Mok; Truong Nghiem; Madhur Behl; George J. Pappas; Rahul Mangharam (RTSS, 2011)

Scalable scheduling of building control systems for peak demand reduction. - Truong X. Nghiem; Madhur Behl; Rahul Mangharam; George J. Pappas (ACC, 2012)

Green scheduling for radiant systems in buildings. - Truong Nghiem; Madhur Behl; George J. Pappas; Rahul Mangharam (CDC, 2012)

Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants. - Madhur Behl; Truong Nghiem; Rahul Mangharam (RTSS, 2012)

MLE+: design and deployment integration for energy-efficient building controls. - Willy Bernal; Madhur Behl; Truong Nghiem; Rahul Mangharam (BuildSys@SenSys, 2012)

Time-Triggered Implementations of Dynamic Controllers. - Truong Nghiem; George J. Pappas; Rajeev Alur; Antoine Girard (ACM Trans. Embed. Comput. Syst., 2012)

Event-based Green scheduling of radiant systems in buildings. - Truong X. Nghiem; George J. Pappas; Rahul Mangharam (ACC, 2013)

MLE+: a tool for integrated design and deployment of energy efficient building controls. - Willy Bernal; Madhur Behl; Truong Nghiem; Rahul Mangharam (SIGBED Rev., 2013)

Peak power reduction in hybrid energy systems with limited load forecasts. - Yash Vardhan Pant; Truong X. Nghiem; Rahul Mangharam (ACC, 2014)

IMpACT: Inverse model accuracy and control performance toolbox for buildings. - Madhur Behl; Truong X. Nghiem; Rahul Mangharam (CASE, 2014)

Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. - Madhur Behl; Truong X. Nghiem; Rahul Mangharam (ICCPS, 2014)

Distributed control of a swarm of buildings connected to a smart grid: demo abstract. - Baris Aksanli; Alper Sinan Akyurek; Madhur Behl; Meghan Clark; Alexandre Donzé; Prabal Dutta; Patrick Lazik; Mehdi Maasoumy; Rahul Mangharam; Truong X. Nghiem; Vasumathi Raman; Anthony Rowe 001; et al. (BuildSys, 2014)

Scalable scheduling of energy control systems. - Truong X. Nghiem; Rahul Mangharam (EMSOFT, 2015)

Co-design of Anytime Computation and Robust Control. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

OpenBuildNet framework for distributed co-simulation of smart energy systems. - Truong X. Nghiem; Altug Bitlislioglu; Tomasz T. Gorecki; Faran A. Qureshi; Colin N. Jones (ICARCV, 2016)

Data-driven demand response modeling and control of buildings with Gaussian Processes. - Truong X. Nghiem; Colin N. Jones (ACC, 2017)

Learning Proximal Operators with Gaussian Processes. - Truong X. Nghiem; Giorgos Stathopoulos; Colin N. Jones (Allerton, 2018)

Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems. - Achin Jain; Truong X. Nghiem; Manfred Morari; Rahul Mangharam (ICCPS, 2018)

Fast Gaussian Process based Model Predictive Control with Uncertainty Propagation. - Truong X. Nghiem; Trong-Doan Nguyen; Viet-Anh Le (Allerton, 2019)

Linearized Gaussian Processes for Fast Data-driven Model Predictive Control. - Truong X. Nghiem (ACC, 2019)

Learning-based Adaptive Quantization for Communication-efficient Distributed Optimization with ADMM. - Truong X. Nghiem; Aldo Duarte; Shuangqing Wei (ACSSC, 2020)

Gaussian Process Based Distributed Model Predictive Control for Multi-agent Systems using Sequential Convex Programming and ADMM. - Viet-Anh Le; Truong X. Nghiem (CCTA, 2020)

An Efficient Adaptive Sampling Approach for Mobile Robotic Sensor Networks using Proximal ADMM. - Viet-Anh Le; Linh V. Nguyen; Truong X. Nghiem (ACC, 2021)

A Receding Horizon Approach for Simultaneous Active Learning and Control using Gaussian Processes. - Viet-Anh Le; Truong X. Nghiem (CCTA, 2021)

Distributed Experiment Design and Control for Multi-agent Systems with Gaussian Processes. - Viet-Anh Le; Truong X. Nghiem (CDC, 2021)

ADMM-based Adaptive Sampling Strategy for Nonholonomic Mobile Robotic Sensor Networks. - Viet-Anh Le; Linh V. Nguyen; Truong X. Nghiem (CoRR, 2021)

Anytime Computation and Control for Autonomous Systems. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Rhudii A. Quaye; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (IEEE Trans. Control. Syst. Technol., 2021)

Collision-free Minimum-time Trajectory Planning for Multiple Vehicles based on ADMM. - Thanh Binh Nguyen 010; Thang Nguyen 002; Truong Nghiem; Linh Nguyen; José Baca; Pablo Rangel; Hyoung-Kyu Song (IROS, 2022)

Multistep Predictions for Adaptive Sampling in Mobile Robotic Sensor Networks Using Proximal ADMM. - Viet-Anh Le; Linh Nguyen; Truong X. Nghiem (IEEE Access, 2022)

Least square and Gaussian process for image based microalgal density estimation. - Linh Nguyen; Dung K. Nguyen; Truong X. Nghiem; Thang Nguyen 002 (Comput. Electron. Agric., 2022)

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems. - Truong X. Nghiem; Ján Drgona; Colin N. Jones; Zoltán Nagy 002; Roland Schwan; Biswadip Dey; Ankush Chakrabarty; Stefano Di Cairano; Joel A. Paulson; Andrea Carron; Melanie N. Zeilinger; Wenceslao Shaw-Cortez; et al. (ACC, 2023)

Distributed formation trajectory planning for multi-vehicle systems. - Binh Nguyen; Truong Nghiem; Linh Nguyen; Tung Nguyen; Hung La; Mehdi Sookhak; Thang Nguyen 002 (ACC, 2023)

Physics Constrained Motion Prediction with Uncertainty Quantification. - Renukanandan Tumu; Lars Lindemann; Truong Nghiem; Rahul Mangharam (IV, 2023)

Causal Deep Operator Networks for Data-Driven Modeling of Dynamical Systems. - Truong X. Nghiem; Thang Nguyen 002; Binh T. Nguyen 001; Linh Nguyen (SMC, 2023)

Ensemble Gaussian Processes for Adaptive Autonomous Driving on Multi-friction Surfaces. - Tomás Nagy; Ahmad Amine; Truong X. Nghiem; Ugo Rosolia; Zirui Zang; Rahul Mangharam (CoRR, 2023)

Analysis of Microalgal Density Estimation by Using LASSO and Image Texture Features. - Linh V. Nguyen; Dung Kim Nguyen; Thang Nguyen 002; Thanh Binh Nguyen 010; Truong X. Nghiem (Sensors, 2023)

Communication-efficient ADMM using quantization-aware Gaussian process regression. - Aldo Duarte; Truong X. Nghiem; Shuangqing Wei (EURO J. Comput. Optim., 2024)

Connectivity-Preserving Distributed Informative Path Planning for Mobile Robot Networks. - Thanh Binh Nguyen 010; Truong X. Nghiem; Linh V. Nguyen; Hung M. La; Thang Nguyen 002 (IEEE Robotics Autom. Lett., 2024)

Safe Physics-informed Machine Learning for Dynamics and Control. - Ján Drgona; Truong X. Nghiem; Thomas Beckers 001; Mahyar Fazlyab; Enrique Mallada; Colin N. Jones; Draguna L. Vrabie; Steven L. Brunton; Rolf Findeisen (ACC, 2025)

Spatially temporally distributed informative path planning for multi-robot systems. - Binh Nguyen; Linh Nguyen; Truong X. Nghiem; Hung La; José Baca; Pablo Rangel; Miguel Cid Montoya; Thang Nguyen-Tien (ACC, 2025)

Physics-Constrained Taylor Neural Networks for Learning and Control of Dynamical Systems. - Nam T. Nguyen; Juan C. Tique; Truong X. Nghiem (ACC, 2025)

Collision-Aware Formation Control of Nano-Quadrotors: Theory and Experiments. - Anh Tung Nguyen; Binh T. Nguyen 001; Truong X. Nghiem; Sung Kyung Hong (COINS, 2025)

DISCOVER: A Cyberinfrastructure Testbed for Distributed Computing and Networking in Rural and Remote Environments. - Alireza Ebrahimi; Connor Gouin; Sayed Pedram Haeri Boroujeni; Juan Carlos Tique Rangel; Tolunay Seyfi; Truong X. Nghiem; Abolfazl Razi; Morgan Vigil-Hayes; Paul L. Heinrich; Fatemeh Afghah (WoWMoM, 2025)