A
Alberto Sangiovanni-Vincentelli
Researcher at University of California, Berkeley
Publications - 946
Citations - 47259
Alberto Sangiovanni-Vincentelli is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Logic synthesis & Finite-state machine. The author has an hindex of 99, co-authored 934 publications receiving 45201 citations. Previous affiliations of Alberto Sangiovanni-Vincentelli include National University of Singapore & Lawrence Berkeley National Laboratory.
Papers
More filters
Posted Content
Time Series Learning using Monotonic Logical Properties
Marcell Vazquez-Chanlatte,Shromona Ghosh,Jyotirmoy V. Deshmukh,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia +4 more
TL;DR: In this paper, the authors propose a logic-based framework that allows domain-specific knowledge to be embedded into formulas in a parametric logical specification over time-series data, and then map a time series to a surface in the parameter space of the formula.
Posted Content
Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data.
Hari Prasanna Das,Ryan Tran,Japjot Singh,Xiangyu Yue,Geoff Tison,Alberto Sangiovanni-Vincentelli,Costas J. Spanos +6 more
TL;DR: In this paper, a semi-supervised approach is proposed to generate synthetic data by manipulating the local noise with fixed conditional feature representation, which can be used alongside real data for developing robust ML models.
Proceedings ArticleDOI
A new algorithm for the largest compositionally progressive solution of synchronous language equations
Tiziano Villa,Svetlana Zharikova,Nina Yevtushenko,Robert K. Brayton,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: The paper provides an algorithm to compute the largest compositionally progressive solution that splits states of the largest solution and then removes those inducing a non-progressive composition.
Book ChapterDOI
Harmonic Balance Theory
TL;DR: Harmonic balance as discussed by the authors differs from traditional transient analysis in two fundamental ways: it allows harmonic balance to compute periodic and quasiperiodic solutions directly and in certain circumstances give the method significant advantages in terms of accuracy and efficiency.
Proceedings ArticleDOI
Online computation of polytopic flexibility models for demand shifting applications
TL;DR: The computed polytopic approximation, as an abstraction of load unit's flexibility, can be used in a receding horizon control framework for the grid operator to simultaneously coordinate multiple loads.