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 communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control
TL;DR: A methodology and a framework for design exploration and automatic synthesis of the communication network and how this approach can be applied to the design of control systems for intelligent buildings is presented.
Posted Content
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
TL;DR: An assume-guarantee contract framework for cyber-physical system design under probabilistic requirements is presented, and algorithms to check contract compatibility, consistency, and refinement, and generate a sequence of control inputs that satisfies a contract are proposed.
Proceedings ArticleDOI
Linear programming for optimum hazard elimination in asynchronous circuits
TL;DR: Experimental results indicate that the improvements obtained are well worth the added complexity of linear program solution.
Proceedings ArticleDOI
Hybrid command governors for idle speed control in gasoline direct injection engines
Leonardo Albertoni,A. Balluchi,Alessandro Casavola,Claudio Gambelli,Edoardo Mosca,Alberto Sangiovanni-Vincentelli +5 more
TL;DR: A sub-optimal but effective and easily implementable solution is obtained by resorting to the command governor methodology for a discrete-time abstraction of the hybrid model.
Journal ArticleDOI
CAD tools for ASIC design
TL;DR: Recent developments in tools for the automated design of combinational logic are reviewed, and these techniques include both algorithmic and rule-based approaches.