research
∙
08/01/2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
We introduce a novel approach to automatically synthesize a mathematical...
share
research
∙
06/08/2023
AI Enhanced Control Engineering Methods
AI and machine learning based approaches are becoming ubiquitous in almo...
research
∙
09/08/2022
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
Faults are stochastic by nature while most man-made systems, and especia...
research
∙
08/30/2022
System Resilience through Health Monitoring and Reconfiguration
We demonstrate an end-to-end framework to improve the resilience of man-...
research
∙
08/26/2022
Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints
We introduce two block coordinate descent algorithms for solving optimiz...
research
∙
02/11/2021
Semi-linear Poisson-mediated Flocking in a Cucker-Smale Model
We propose a family of compactly supported parametric interaction functi...
research
∙
03/22/2020
Interpretable machine learning models: a physics-based view
To understand changes in physical systems and facilitate decisions, expl...
research
∙
03/04/2020
Hybrid modeling: Applications in real-time diagnosis
Reduced-order models that accurately abstract high fidelity models and e...
research
∙
05/07/2019
Design Space Exploration as Quantified Satisfaction
We propose novel algorithms for design and design space exploration. The...
research
∙
07/14/2017