Stability Verification of Neural Network Controllers using Mixed-Integer Programming

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In almost all algorithms for Model Predictive Control (MPC), the most time-consuming step is to solve some form of Linear Quadratic (LQ) Optimal Control Problem (OCP) repeatedly. The commonly recognized best option for this is a Riccati recursion based sol ...

The generation of transferable adversarial perturbations typically involves training a generator to maximize embedding separation between clean and adversarial images at a single mid-layer of a source model. In this work, we build on this approach and intr ...

Requirements for pointing accuracy in Earth observation missions have tightened tolerable microvibration levels on satellites. Various mitigation techniques, including active, passive, and hybrid methods, have been proposed to prevent microvibration propag ...

Graph neural networks (GNNs) have made significant progress in various machine learning tasks. Despite their success, many existing GNN models are shown to be vulnerable to adversarial attacks, creating a stringent need to build robust GNN architectures. I ...

We model transient diffusion in heterogeneous materials using a novel physics-informed neural networks framework (PINNs) termed Adaptive interface physics-informed neural networks or AdaI-PINNs (Roy et al. arXiv preprint arXiv:2406.04626, 2024). AdaI-PINNs ...

The Graph Laplacian Mixture Model (GLMM) allows to infer multiple underlying graph structures from multivariate time series data. Given its effectiveness in identifying brain states from brain activity measured by functional magnetic resonance imaging (fMR ...

Objective. Non-invasive brain stimulation (NIBS) offers therapeutic benefits for various brain disorders. Personalization may enhance these benefits by optimizing stimulation parameters for individual subjects. Approach. We present a computational pipeline ...

Neurodegenerative diseases, such as Alzheimer's, Parkinson's, and Huntington's, afflict tens of millions of patients worldwide. They are characterized by protein aggregation and progressive neuronal loss, leading to cognitive and motor impairments, and ult ...

Controlling large-scale cyber-physical systems necessitates optimal distributed policies, relying solely on local real-time data and limited communication with neighboring agents. However, finding optimal controllers remains challenging, even in seemingly ...

This thesis explores the innovative integration of Discrete Choice Modeling (DCM) and Machine Learning (ML), specifically Neural Networks (NN), within the transportation sector. DCM, with its highly interpretable and hand-designed models grounded in robust ...

Epileptic seizure detection and monitoring is critical in healthcare, particularly for individuals requiring continuous oversight. Current methods, primarily based on electroencephalogram (EEG) technologies, face limitations due to their complexity in term ...

Neural Cellular Automata (NCA) is a class of Cellular Automata where the update rule is parameterized by a neural network that can be trained using gradient descent. In this paper, we focus on NCA models used for texture synthesis, where the update rule is ...

We consider the problem of efficiently simulating stochastic models of chemical kinetics. The Gillespie stochastic simulation algorithm (SSA) is often used to simulate these models; however, in many scenarios of interest, the computational cost quickly bec ...

Since its proposal, quantum computing has made significant strides in various domains. Among the different emerging techniques, Variational Quantum Algorithms (VQAs) have become one of the most promising approaches in the current era, where quantum computa ...

These are pytorch model weights for the angiopy-segmentation deep learning model, descriped in a paper published in 2024 in the International Journal of Cardiology: AngioPy segmentation: An open-source, user-guided deep learning tool for coronary artery se ...

We develop a data-driven framework to identify the interconnections between firms using an information-theoretic measure. This measure generalizes Granger causality and is capable of detecting nonlinear relationships within a network. Moreover, we develop ...

Image-based machine learning models can be used to make the sorting and grading of agricultural products more efficient. In many regions, implementing such systems can be difficult due to the lack of centralization and automation of postharvest supply chai ...

From the computational point of view, musculoskeletal control is the problem of controlling high degrees of freedom and dynamic multi-body system that is driven by redundant muscle units. A critical challenge in the control perspective of skeletal joints w ...

Model predictive control (MPC) strategies can be applied to the coordination of energy hubs to reduce their energy consumption. Despite the effectiveness of these techniques, their potential for energy savings are potentially underutilized due to the fact ...

Stability Verification of Neural Network Controllers using Mixed-Integer Programming

Chat with Graph Search

Brunovsky Riccati Recursion for Linear Model Predictive Control

NAT: Learning to Attack Neurons for Enhanced Adversarial Transferability

Adaptive Disturbance Rejection with Data-driven LPV Control for Hybrid Microvibration Isolation Systems

Online Prediction of Core Body Temperature from Sweat Wearable Printed Sensors Using Recurrent Neural Network

Graph Neural Networks With Adaptive Structures

Adaptive Interface-Pinns (Adai-Pinns) for Transient Diffusion: Applications to Forward and Inverse Problems in Heterogeneous Media

Revealing Brain and Spinal Cord Functional Networks by Block-Structured Graph Laplacian Mixture Models

Precision non-invasive brain stimulation: an in silico pipeline for personalized control of brain dynamics

Intelligent and Self-Driving Microscopy of Protein Aggregation in Neurodegenerative Diseases

Neural Distributed Controllers with Port-Hamiltonian Structures

Bridging Discrete Choice Modeling and Neural Networks: Unifying Statistical Rigor and Predictive Power

Distributed Machine Learning Targeting Embedded Systems for Epilepsy Detection

NoiseNCA: Noisy Seed Improves Spatio-Temporal Continuity of Neural Cellular Automata

A hybrid tau-leap for simulating chemical kinetics with applications to parameter estimation

Quantum Variational Algorithms: Exploring Applications and Potentials Amid Trainability and Classical Simulability Limitations

PyTorch 2 Model for the prediction of single-artery segmentations for "AngioPy segmentation: An open-source, user-guided deep learning tool for coronary artery segmentation"

Analysis of Large Market Data Using Neural Networks: A Causal Approach

Facilitated machine learning for image-based fruit quality assessment

Optimum trajectory learning in musculoskeletal systems with model predictive control and deep reinforcement learning

Distributed model predictive control of buildings and energy hubs