Publications related to Stability Verification of Neural Network Controllers using Mixed-Integer Programming

Related publications (23)

Brunovsky Riccati Recursion for Linear Model Predictive Control

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 ...

IEEE2025

NAT: Learning to Attack Neurons for Enhanced Adversarial Transferability

Alexandre Massoud Alahi, Krishna Kanth Nakka

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 ...

IEEE2025

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

Elias Sebastian Klauser

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 ...

EPFL2025

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

Danick Briand, Silvia Demuru, Jaemin Kim, Brince Paul Kunnel

IEEE2025

Graph Neural Networks With Adaptive Structures

Zepeng Zhang

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 ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2025

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

Brice Tanguy Alphonse Lecampion

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 ...

Elsevier BV2025

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

Pascal Frossard, Dimitri Nestor Alice Van De Ville, Ilaria Ricchi, Ekansh Sareen, William Cappelletti

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 ...

IEEE2025

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

Friedhelm Christoph Hummel, Elena Beanato

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 ...

2025

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

Khalid Ashraf Mohie Ibrahim

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 ...

EPFL2025

Neural Distributed Controllers with Port-Hamiltonian Structures

Giancarlo Ferrari Trecate, Muhammad Zakwan

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 ...

Institute of Electrical and Electronics Engineers Inc.2024

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

Brian Alan Tappy-Sifringer

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 ...

EPFL2024

Distributed Machine Learning Targeting Embedded Systems for Epilepsy Detection

Saleh Baghersalimi

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 ...

EPFL2024

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

Sabine Süsstrunk, Ehsan Pajouheshgar, Yitao Xu

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 ...

MIT Press2024

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

Thomas Simon Spencer Trigo Trindade

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 ...

2024

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

Su Yeon Chang

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 ...

EPFL2024

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"

Edward Carlo Giorgio Andò, Thabodhan Mahendiran

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 ...

Zenodo2024

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

Damir Filipovic, Negar Kiyavash, Marc-Aurèle Antoine Divernois

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 ...

2023

Facilitated machine learning for image-based fruit quality assessment

Fernando Perez Cruz

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 ...

2023

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

Henry Markram, Marc-Oliver Gewaltig

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 ...

2022

Distributed model predictive control of buildings and energy hubs

Colin Neil Jones

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 ...

ELSEVIER SCIENCE SA2022