Alberto Sangiovanni-Vincentelli

is this you? claim profile

0 followers
berkeley college

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

Safely interacting with humans is a significant challenge for autonomous...
11/30/2020 ∙ by Jay Shenoy, et al. ∙ 0 ∙ share

read it
The Quotient in Preorder Theories

Seeking the largest solution to an expression of the form A x <= B is a ...
09/23/2020 ∙ by Íñigo X. Íncer Romeo, et al. ∙ 0 ∙ share

read it
Generalizing Fault Detection Against Domain Shifts Using Stratification-Aware Cross-Validation

Incipient anomalies present milder symptoms compared to severe ones, and...
08/20/2020 ∙ by Yingshui Tan, et al. ∙ 2 ∙ share

read it
Using Ensemble Classifiers to Detect Incipient Anomalies

Incipient anomalies present milder symptoms compared to severe ones, and...
08/20/2020 ∙ by Baihong Jin, et al. ∙ 5 ∙ share

read it
Exploiting Uncertainties from Ensemble Learners to Improve Decision-Making in Healthcare AI

Ensemble learning is widely applied in Machine Learning (ML) to improve ...
07/12/2020 ∙ by Yingshui Tan, et al. ∙ 9 ∙ share

read it
Industrial Control via Application Containers:Maintaining determinism in IAAS

Industry 4.0 is changing fundamentally data collection, its storage and ...
05/05/2020 ∙ by Florian Hofer, et al. ∙ 0 ∙ share

read it
Probabilistic Dynamic Hard Real-Time Scheduling in HPC

Industry 4.0 is changing fundamentally the way data is collected, stored...
12/05/2019 ∙ by Florian Hofer, et al. ∙ 0 ∙ share

read it
Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults

The Monte Carlo dropout method has proved to be a scalable and easy-to-u...
09/10/2019 ∙ by Baihong Jin, et al. ∙ 19 ∙ share

read it
Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data

We propose to harness the potential of simulation for the semantic segme...
09/02/2019 ∙ by Xiangyu Yue, et al. ∙ 7 ∙ share

read it
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS

We explore the challenges and opportunities of shifting industrial contr...
08/13/2019 ∙ by Florian Hofer, et al. ∙ 0 ∙ share

read it
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing

We present a novel unsupervised deep learning approach that utilizes the...
07/26/2019 ∙ by Baihong Jin, et al. ∙ 8 ∙ share

read it
A Formalization of Robustness for Deep Neural Networks

Deep neural networks have been shown to lack robustness to small input p...
03/24/2019 ∙ by Tommaso Dreossi, et al. ∙ 0 ∙ share

read it
A tractable ellipsoidal approximation for voltage regulation problems

We present a machine learning approach to the solution of chance constra...
03/09/2019 ∙ by Pan Li, et al. ∙ 0 ∙ share

read it
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

We consider the problem of extracting safe environments and controllers ...
02/27/2019 ∙ by Shromona Ghosh, et al. ∙ 0 ∙ share

read it
Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks

Early detection of incipient faults is of vital importance to reducing m...
02/18/2019 ∙ by Baihong Jin, et al. ∙ 0 ∙ share

read it
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection

It is important to identify the change point of a system's health status...
02/18/2019 ∙ by Baihong Jin, et al. ∙ 0 ∙ share

read it
A Metric for Linear Temporal Logic

We propose a measure and a metric on the sets of infinite traces generat...
11/30/2018 ∙ by Íñigo Íncer Romeo, et al. ∙ 0 ∙ share

read it
Counterexample-Guided Data Augmentation

We present a novel framework for augmenting data sets for machine learni...
05/17/2018 ∙ by Tommaso Dreossi, et al. ∙ 0 ∙ share

read it
Time Series Learning using Monotonic Logical Properties

We propose a new paradigm for time-series learning where users implicitl...
02/24/2018 ∙ by Marcell Vazquez-Chanlatte, et al. ∙ 0 ∙ share

read it
Context-Specific Validation of Data-Driven Models

With an increasing use of data-driven models to control robotic systems,...
02/14/2018 ∙ by Somil Bansal, et al. ∙ 0 ∙ share

read it
Systematic Testing of Convolutional Neural Networks for Autonomous Driving

We present a framework to systematically analyze convolutional neural ne...
08/10/2017 ∙ by Tommaso Dreossi, et al. ∙ 0 ∙ share

read it

Alberto Sangiovanni-Vincentelli

Featured Co-authors

Yang Zhang

Kurt Keutzer

Yuxin Chen

Yisong Yue

Ufuk Topcu

Sanjit A. Seshia

Boqing Gong

Pan Li

Claire J. Tomlin

Dan Li

Xiangyu Yue

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

The Quotient in Preorder Theories

Generalizing Fault Detection Against Domain Shifts Using Stratification-Aware Cross-Validation

Using Ensemble Classifiers to Detect Incipient Anomalies

Exploiting Uncertainties from Ensemble Learners to Improve Decision-Making in Healthcare AI

Industrial Control via Application Containers:Maintaining determinism in IAAS

Probabilistic Dynamic Hard Real-Time Scheduling in HPC

Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults

Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data

Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS

An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing

A Formalization of Robustness for Deep Neural Networks

A tractable ellipsoidal approximation for voltage regulation problems

A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks

A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection

A Metric for Linear Temporal Logic

Counterexample-Guided Data Augmentation

Time Series Learning using Monotonic Logical Properties

Context-Specific Validation of Data-Driven Models

Systematic Testing of Convolutional Neural Networks for Autonomous Driving