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
Proceedings ArticleDOI
A Constraint-driven Placement Methodology For Analog Integrated Circuits
TL;DR: A new constraint-driven methodology for the placeinent of analog IC's is described, where electrical performance specifications are automatically translated into constraints on the layout parasitics and these constraints and the seiisiitivity iiiforinatioii of the circuit are used to control a Simulated Annealingbased placement algorithm.
Proceedings ArticleDOI
Online Simultaneous State Estimation and Parameter Adaptation for Building Predictive Control
Mehdi Maasoumy,Barzin Moridian,Meysam Razmara,Mahdi Shahbakhti,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: The Parameter-Adaptive Building (PAB) model as mentioned in this paper uses Extended Kalman Filter (EKF) and unscented Kalman filter (UKF) techniques to tune the parameters of the building model and provide an estimate for all states of the model.
Proceedings ArticleDOI
RELAX: A New Circuit Simulator for Large Scale MOS Integrated Circuits
TL;DR: Preliminary comparisons between RELAX and the standard circuit simulator SPICE2 have shown that RELAX is a fast and reliable circuit simulator.
Journal ArticleDOI
Synthesis of Multitask Implementations of Simulink Models With Minimum Delays
TL;DR: This paper presents an improvement of code generation technology for SR obtained via a novel algorithm for optimizing the multitask implementation of Simulink models on single-processor platforms with limited availability of memory.
Journal ArticleDOI
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem
TL;DR: It is proved that exponential ultimate boundedness for an hybrid observer can always be achieved and that the observer correctly identifies the sequence of hybrid system locations even when the complementary outputs are generated with some delay with respect to the corresponding transitions in the plant.