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
Journal ArticleDOI
Theory and algorithms for state minimization of nondeterministic FSMs
TL;DR: A fully implicit algorithm for state minimization of pseudo nondeterministic FSM's (PNDFSMs) is described, and an algorithmic framework to explore behaviors contained in a general NDFSM is given.
Automatic Generation of a Real-Time Operating System for Embedded Systems
Felice Balarin,Massimiliano Chiodo,Attila Jurecska,Luciano Lavagno,Bassam Tabbara,Alberto Sangiovanni-Vincentelli +5 more
TL;DR: RTOSs created in the POLIS-generated RTOS offer an ease of use comparable to commercial RTOSs, and yet since they are generated for a specific example, they can be optimized based on the same information used to optimize hand-written code.
Proceedings ArticleDOI
Communication based logic partitioning
TL;DR: The problem of partitioning, or decomposing a combinational logic specification is addressed, which operates on the logic specification before the synthesis and mapping steps have been performed, to minimize the number of pins needed to implement the resulting partitions.
Proceedings ArticleDOI
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS
Florian Hofer,Martin A. Sehr,Antonio Iannopollo,Ines Ugalde,Alberto Sangiovanni-Vincentelli,Barbara Russo +5 more
TL;DR: In this paper, the authors explore the challenges and opportunities of shifting industrial control software from dedicated hardware to bare-metal servers or cloud computing platforms using off-the-shelf technologies, and demonstrate that executing time-critical applications on cloud platforms is viable based on a series of dedicated latency tests targeting relevant real-time configurations.
Proceedings ArticleDOI
Hybrid systems and the design of embedded controllers for automotive engine management
A. Balluchi,Luca Benvenuti,M.D. Di Benedetto,Alberto Ferrari,C. Pinello,Alberto Sangiovanni-Vincentelli +5 more
TL;DR: The problem of designing an automotive engine control unit for the next-generation automobiles has been formulated as a hybrid control problem and two particular control sub-problems (cut-off and fast positive force tracking) are formulated as hybrid optimal control problems.