Zobrazeno 1 - 10
of 3 039
pro vyhledávání: '"A. Sangiovanni Vincentelli"'
Autor:
Theile, Mirco, Dirnberger, Lukas, Trumpp, Raphael, Caccamo, Marco, Sangiovanni-Vincentelli, Alberto L.
Deep reinforcement learning (DRL) has had success across various domains, but applying it to environments with constraints remains challenging due to poor sample efficiency and slow convergence. Recent literature explored incorporating model knowledg
Externí odkaz:
http://arxiv.org/abs/2412.04327
Autor:
Abdeen, Zain ul, Roy, Padmaksha, Al-Tawaha, Ahmad, Jia, Rouxi, Freeman, Laura, Beling, Peter, Liu, Chen-Ching, Sangiovanni-Vincentelli, Alberto, Jin, Ming
There is an upward trend of deploying distributed energy resource management systems (DERMS) to control modern power grids. However, DERMS controller communication lines are vulnerable to cyberattacks that could potentially impact operational reliabi
Externí odkaz:
http://arxiv.org/abs/2405.02989
Autor:
Elmaaroufi, Karim, Shanker, Devan, Cismaru, Ana, Vazquez-Chanlatte, Marcell, Sangiovanni-Vincentelli, Alberto, Zaharia, Matei, Seshia, Sanjit A.
For cyber-physical systems (CPS), including robotics and autonomous vehicles, mass deployment has been hindered by fatal errors that occur when operating in rare events. To replicate rare events such as vehicle crashes, many companies have created lo
Externí odkaz:
http://arxiv.org/abs/2405.03709
In reinforcement learning (RL), exploiting environmental symmetries can significantly enhance efficiency, robustness, and performance. However, ensuring that the deep RL policy and value networks are respectively equivariant and invariant to exploit
Externí odkaz:
http://arxiv.org/abs/2403.12856
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We s
Externí odkaz:
http://arxiv.org/abs/2309.08875
Coverage path planning (CPP) is a critical problem in robotics, where the goal is to find an efficient path that covers every point in an area of interest. This work addresses the power-constrained CPP problem with recharge for battery-limited unmann
Externí odkaz:
http://arxiv.org/abs/2309.03157
Autor:
Chen, Shixin, Li, Shanyi, Zhuang, Zhen, Zheng, Su, Liang, Zheng, Ho, Tsung-Yi, Yu, Bei, Sangiovanni-Vincentelli, Alberto L.
A chiplet is an integrated circuit that encompasses a well-defined subset of an overall system's functionality. In contrast to traditional monolithic system-on-chips (SoCs), chiplet-based architecture can reduce costs and increase reusability, repres
Externí odkaz:
http://arxiv.org/abs/2308.01672
Deep neural networks (DNNs) are vulnerable to backdoor attack, which does not affect the network's performance on clean data but would manipulate the network behavior once a trigger pattern is added. Existing defense methods have greatly reduced atta
Externí odkaz:
http://arxiv.org/abs/2307.15539
Autor:
Vin, Eric, Kashiwa, Shun, Rhea, Matthew, Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully used for the design and analysis of CPS in a variety of domains, but
Externí odkaz:
http://arxiv.org/abs/2307.03325
Autor:
Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This paper presents algorithms for eliminating variables from formulas by com
Externí odkaz:
http://arxiv.org/abs/2305.17596