12 citations · 33 across the 12 of their papers we have counts for
4 papers · 1 filter
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Abstracting neural networks with constraints they impose on their inputs and outputs can be very useful in the analysis of neural network classifiers and to derive optimization-bas…
Higher-Order Moment-Based Anomaly Detection
Venkatraman Renganathan, Navid Hashemi, Justin Ruths +1
The identification of anomalies is a critical component of operating complex, and possibly large-scale and geo-graphically distributed cyber-physical systems. While designing anoma…
Vibration transfer path analysis and path ranking for NVH optimization of a vehicle interior
Babak Sakhaei, Mohammad Durali, Navid Hashemi
By new advancements in vehicle manufacturing; evaluation of vehicle quality assurance has got a more critical issue. Today noise and vibration generated inside and outside the vehi…
Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids
Navid Hashemi, Justin Ruths
General results on convex bodies are reviewed and used to derive an exact closed-form parametric formula for the boundary of the geometric (Minkowski) sum of ellipsoids in -…