P
Pierluigi Nuzzo
Researcher at University of Southern California
Publications - 122
Citations - 3173
Pierluigi Nuzzo is an academic researcher from University of Southern California. The author has contributed to research in topics: Computer science & Cyber-physical system. The author has an hindex of 28, co-authored 102 publications receiving 2693 citations. Previous affiliations of Pierluigi Nuzzo include University of Maryland, College Park & Katholieke Universiteit Leuven.
Papers
More filters
Journal ArticleDOI
Noise Analysis of Regenerative Comparators for Reconfigurable ADC Architectures
TL;DR: A time-domain analysis is proposed that accounts for the time varying nature of the circuit exploiting some basic results from the solution of stochastic differential equations and the resulting symbolic expressions allow focusing designers' attention on the most influential noise contributors.
Journal ArticleDOI
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Yasser Shoukry,Pierluigi Nuzzo,Alberto Puggelli,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,Paulo Tabuada +5 more
TL;DR: In this article, the authors present a secure state estimation algorithm that uses a satisfiability modulo theory approach to harness the complexity of the secure state estimator and provide guarantees on the soundness and completeness of the algorithm.
Proceedings ArticleDOI
An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS
TL;DR: SAR architectures have been recently demonstrated as able to achieve high power efficiency in the moderate-resolution/medium- bandwidth range, but when the comparator determines in first instance the overall performance, comparator thermal noise can limit the maximum achievable resolution.
Journal ArticleDOI
A Contract-Based Methodology for Aircraft Electric Power System Design
Pierluigi Nuzzo,Huan Xu,Necmiye Ozay,John B. Finn,Alberto Sangiovanni-Vincentelli,Richard M. Murray,Alexandre Donzé,Sanjit A. Seshia +7 more
TL;DR: A platform-based methodology is proposed, which enables independent implementation of system topology and control protocol by using a compositional approach and is shown to be effective on a proof-of-concept electric power system design.
Posted Content
Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Yasser Shoukry,Pierluigi Nuzzo,Alberto Puggelli,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,Paulo Tabuada +5 more
TL;DR: A novel algorithm is presented that uses a satisfiability modulo theory approach to harness the complexity of secure state estimation and leverages results from formal methods over real numbers to provide guarantees on the soundness and completeness of the algorithm.