Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Alberto L. Sangiovanni-Vincentelli"'
Autor:
Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
Publikováno v:
IEEE Access, Vol 12, Pp 40668-40681 (2024)
Modern cyber-physical systems are becoming increasingly complex to model, thus motivating data-driven techniques such as reinforcement learning (RL) to find appropriate control agents. However, most systems are subject to hard constraints such as saf
Externí odkaz:
https://doaj.org/article/ef2417f41bf04b60936960200959b06a
Publikováno v:
Sensors, Vol 14, Iss 6, Pp 11070-11096 (2014)
The Model Based Design (MBD) approach is a popular trend to speed up application development of embedded systems, which uses high-level abstractions to capture functional requirements in an executable manner, and which automates implementation code g
Externí odkaz:
https://doaj.org/article/6b4b85b69ed04d1796f9a61af42621ac
Autor:
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia
Publikováno v:
IEEE Access, Vol 2, Pp 1-25 (2014)
In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability, and real-time performance requirem
Externí odkaz:
https://doaj.org/article/99000e33be3a49ef9a1230802816cbbc
Autor:
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
We propose a new probabilistic programming language for the design and analysis of cyber-physical systems, especially those based on machine learning. Specifically, we consider the problems of training a system to be robust to rare events, testing it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da97c94515d0a53920de6ec43b374ab0
The motivation for starting the work described in this book was the interest that Hewlett-Packard's microwave circuit designers had in simulation techniques that could tackle the problem of finding steady state solutions for nonlinear circuits, par
Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By function
In this book, we concentrate on developing noise simulation techniques for RF circuits. The difference between our approach of performing noise analysis for RF circuits and the traditional techniques is that we first concentrate on the noise analysis
Publikováno v:
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014.
The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these p
Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization and Co-Design of Embedded Systems presents the authors'work in developing a function/architecture optimization