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
Hybrid controller synthesis for idle speed management of an automotive engine
Andrea Balluchi,Luca Benvenuti,M.D. Di Benedetto,Tiziano Villa,Howard Wong-Toi,Alberto Sangiovanni-Vincentelli +5 more
TL;DR: In this article, a cycle-detailed hybrid model of the engine that captures well the interactions between the discrete phenomena of torque generation and spark ignition, and the continuous evolution of the powertrain and air dynamics is proposed.
Proceedings ArticleDOI
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures
TL;DR: ARCHEx leverages an extensible set of patterns to enable formal, yet flexible, requirement specification, a graph-based internal representation of the system architecture, and algorithms based on mixed integer linear programming to solve the mapping problem.
Proceedings ArticleDOI
HW/SW codesign of an engine management system
TL;DR: The design process for an engine management system is presented and an architecture for the implementation of the functional specification is selected among a set of three possible alternatives, all based on the same micro-controller; characterized by different hardware-software trade-offs.
Book ChapterDOI
Automatic Reduction in CTL Compositional Model Checking
TL;DR: A method for reducing the complexity of temporal logic model checking of a system of interacting finite state machines is described, and it is proved that it yields correct results.
BookDOI
Embedded Systems Development
TL;DR: The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed.