37 citations · 53 across the 4 of their papers we have counts for
5 papers
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…
Design Space Exploration as Quantified Satisfaction
Alexander Feldman, Johan de Kleer, Ion Matei
We present novel algorithms for design and design space exploration. The designs discovered by these algorithms are compositions of function types specified in component libraries.…
Nonlinear Programming Methods for Distributed Optimization
Ion Matei, John S. Baras
In this paper we investigate how standard nonlinear programming algorithms can be used to solve constrained optimization problems in a distributed manner. The optimization setup co…
Recognizing Abnormal Heart Sounds Using Deep Learning
Jonathan Rubin, Rui Abreu, Anurag Ganguli +3
The work presented here applies deep learning to the task of automated cardiac auscultation, i.e. recognizing abnormalities in heart sounds. We describe an automated heart sound cl…
Coherent frequency conversion in a superconducting artificial atom with two internal degrees of freedom
Florent Lecocq, Ioan M. Pop, Iulian Matei +5
By adding a large inductance in a dc-SQUID phase qubit loop, one decouples the junctions' dynamics and creates a superconducting artificial atom with two internal degrees of freedo…