Alberto Sangiovanni‐Vincentelli
YOU?
Author Swipe
View article: Combining Large Language Models and Gradient-Free Optimization for Automatic Control Policy Synthesis
Combining Large Language Models and Gradient-Free Optimization for Automatic Control Policy Synthesis Open
Large Language models (LLMs) have shown promise as generators of symbolic control policies, producing interpretable program-like representations through iterative search. However, these models are not capable of separating the functional s…
View article: Microwave irradiation for airborne virus inactivation: Evidence and future perspectives
Microwave irradiation for airborne virus inactivation: Evidence and future perspectives Open
Non-thermal microwave (MW) irradiation has emerged as a promising approach for inactivating airborne viruses by exploiting their vibrational properties through selective resonant energy transfer (SRET). In this narrative review, we synthes…
View article: Hypercontracts
Hypercontracts Open
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. This paper introduces hypercontracts , a compositional assume-guarantee formalism that supports th…
View article: Selected microwave irradiation effectively inactivates airborne avian influenza A(H5N1) virus
Selected microwave irradiation effectively inactivates airborne avian influenza A(H5N1) virus Open
The highly pathogenic avian influenza A(H5N1) virus threatens animal and human health globally. Innovative strategies are crucial for mitigating risks associated with airborne transmission and preventing outbreaks. In this study, we sought…
View article: Action Mapping for Reinforcement Learning in Continuous Environments with Constraints
Action Mapping for Reinforcement Learning in Continuous Environments with Constraints Open
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 mod…
View article: Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design Open
Contract-based design is a method to facilitate modular design of systems. While there has been substantial progress on the theory of contracts, there has been less progress on practical algorithms for the algebraic operations in the theor…
View article: Microwave irradiation as a novel strategy for mitigating airborne transmission of highly pathogenic avian influenza A(H5N1) virus: an optimization study
Microwave irradiation as a novel strategy for mitigating airborne transmission of highly pathogenic avian influenza A(H5N1) virus: an optimization study Open
The highly pathogenic avian influenza A(H5N1) virus threatens animal and human health globally. Innovative strategies are needed to reduce airborne transmission and prevent outbreaks. This study investigated the efficacy of microwave inact…
View article: Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS
Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS Open
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 operatio…
View article: ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
ScenicNL: Generating Probabilistic Scenario Programs from Natural Language Open
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…
View article: Synthesizing LTL contracts from component libraries using rich counterexamples
Synthesizing LTL contracts from component libraries using rich counterexamples Open
We provide a method to synthesize an LTL Assume/Guarantee (A/G) specification, or contract, as an interconnection of elements from a library, each of which is also represented by an LTL A/G contract. Our approach, based on counterexample-g…
View article: Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning
Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning Open
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 …
View article: Learning to Generate All Feasible Actions
Learning to Generate All Feasible Actions Open
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 …
View article: Reply to Taylor et al. Comment on “Manna et al. SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves. Viruses 2023, 15, 1443”
Reply to Taylor et al. Comment on “Manna et al. SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves. Viruses 2023, 15, 1443” Open
SARS-CoV-2 is inactivated in aerosol (its primary mode of transmission) by means of radiated microwaves at frequencies that have been experimentally determined. Such frequencies are best predicted by the mathematical model suggested by Tay…
View article: Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving
Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving Open
Ensuring safety and achieving human-level driving performance remain challenges for autonomous vehicles, especially in safety-critical situations. As a key component of artificial intelligence, reinforcement learning is promising and has s…
View article: Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving
Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving Open
Ensuring safety and achieving human-level driving performance remain challenges for autonomous vehicles, especially in safety-critical situations. As a key component of artificial intelligence, reinforcement learning is promising and has s…
View article: Platform-based design for energy systems
Platform-based design for energy systems Open
Defossilization of the current energy system is a major requirement to decelerate anthropogenic climate change. However, a defossilized energy system is vastly more complex than current fossil-based energy systems: The integration of distr…
View article: Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems Open
Contract-based design (CBD) is a system development methodology that addresses the ever-increasing complexity and heterogeneity of cyber-physical system design problems. In CBD, systems and subsystems are represented by assume-guarantee co…
View article: Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts Open
Complexity and heterogeneity are fundamental challenges for system design, as they prolong the design process and increase its cost. Independent design is a promising design flow to address these challenges whereby a supplier can develop i…
View article: Some Algebraic Aspects of Assume-Guarantee Reasoning
Some Algebraic Aspects of Assume-Guarantee Reasoning Open
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 al…
View article: Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning
Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning Open
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-lim…
View article: Floorplet: Performance-aware Floorplan Framework for Chiplet Integration
Floorplet: Performance-aware Floorplan Framework for Chiplet Integration Open
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 reusabil…
View article: Beating Backdoor Attack at Its Own Game
Beating Backdoor Attack at Its Own Game Open
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 r…
View article: 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 Open
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 do…
View article: SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves
SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves Open
Coronaviruses are a family of viruses that cause disease in mammals and birds. In humans, coronaviruses cause infections on the respiratory tract that can be fatal. These viruses can cause both mild illnesses such as the common cold and le…
View article: Context-Aided Variable Elimination for Requirement Engineering
Context-Aided Variable Elimination for Requirement Engineering Open
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 form…
View article: From Electronic Design Automation to Building Design Automation: Challenges and Opportunities
From Electronic Design Automation to Building Design Automation: Challenges and Opportunities Open
Design automation, which involves the use of software tools and technologies to streamline the design process, has been widely adopted in the electronics industry, resulting in significant advancements in product development and manufactur…
View article: Symbiotic CPS Design-Space Exploration through Iterated Optimization
Symbiotic CPS Design-Space Exploration through Iterated Optimization Open
Cyber-physical systems (CPSs) are complex systems comprised of computational processes, communication networks, and elements interacting with the physical world. The design of the CPSs involves many domain-specific tools and design flows c…
View article: Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design Open
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. I…
View article: Automated Design of Chiplets
Automated Design of Chiplets Open
Chiplet-based designs have gained recognition as a promising alternative to monolithic SoCs due to their lower manufacturing costs, improved re-usability, and optimized technology specialization. Despite progress made in various related do…