Imagen de Portada

Verification of Neural Network Control Systems in Continuous Time

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	ArjomandBigdeli, Ali, Mata, Andrew, Bak, Stanley
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
por: Cai, Feiyang, et al.
Publicado: (2024)

Activation-Informed Merging of Large Language Models
por: Nobari, Amin Heyrani, et al.
Publicado: (2025)

Neural Network Verification for Gliding Drone Control: A Case Study
por: Kessler, Colin, et al.
Publicado: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
por: Kochdumper, Niklas, et al.
Publicado: (2023)

Neural Continuous-Time Supermartingale Certificates
por: Neustroev, Grigory, et al.
Publicado: (2024)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
por: Parameshwaran, Aditya, et al.
Publicado: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
por: Kranzlmüller, Miriam, et al.
Publicado: (2026)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
por: Taheri, Ali, et al.
Publicado: (2025)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
por: Li, Xiao, et al.
Publicado: (2025)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
por: Serry, Mohamed, et al.
Publicado: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
por: Abate, Alessandro
Publicado: (2025)

Specification Generation for Neural Networks in Systems
por: Chaudhary, Isha, et al.
Publicado: (2024)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
por: Coppola, Rudi, et al.
Publicado: (2025)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
por: Chen, Shaoru, et al.
Publicado: (2024)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
por: Zhang, Hongchao, et al.
Publicado: (2024)

Identification For Control Based on Neural Networks: Approximately Linearizable Models
por: Thieffry, Maxime, et al.
Publicado: (2024)

Neural Network-Assisted Model Predictive Control for Implicit Balancing
por: Madahi, Seyed Soroush Karimi, et al.
Publicado: (2026)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
por: Kishida, Masako
Publicado: (2025)

Continuous-Time Distributed Dynamic Programming for Networked Multi-Agent Markov Decision Processes
por: Lee, Donghwan, et al.
Publicado: (2023)

Geometric Fault-Tolerant Neural Network Tracking Control of Unknown Systems on Matrix Lie Groups
por: Chhabra, Robin, et al.
Publicado: (2025)

Neural Control Barrier Functions from Physics Informed Neural Networks
por: Agrawal, Shreenabh, et al.
Publicado: (2025)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
por: Skovbekk, John, et al.
Publicado: (2021)

Frequency Control in Microgrids: An Adaptive Fuzzy-Neural-Network Virtual Synchronous Generator
por: Breesam, Waleed, et al.
Publicado: (2025)

Convolutional Neural Network Design and Evaluation for Real-Time Multivariate Time Series Fault Detection in Spacecraft Attitude Sensors
por: Gallon, Riccardo, et al.
Publicado: (2024)

Neural Control System for Continuous Glucose Monitoring and Maintenance
por: Wasi, Azmine Toushik
Publicado: (2024)

Dispatch-Aware Deep Neural Network for Optimal Transmission Switching: Toward Real-Time and Feasibility Guaranteed Operation
por: Kim, Minsoo, et al.
Publicado: (2025)

Real-Time Decision-Making for Digital Twin in Additive Manufacturing with Model Predictive Control using Time-Series Deep Neural Networks
por: Chen, Yi-Ping, et al.
Publicado: (2025)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
por: Yao, Jianzhu, et al.
Publicado: (2025)

Physics-inspired Neural Networks for Parameter Learning of Adaptive Cruise Control Systems
por: Apostolakis, Theocharis, et al.
Publicado: (2023)

RoboMonkey: Scaling Test-Time Sampling and Verification for Vision-Language-Action Models
por: Kwok, Jacky, et al.
Publicado: (2025)

Neural Horizon Model Predictive Control -- Increasing Computational Efficiency with Neural Networks
por: Alsmeier, Hendrik, et al.
Publicado: (2024)

Guidance and Control Neural Network Acceleration using Memristors
por: Rudge, Zacharia A., et al.
Publicado: (2025)

Learnable Koopman-Enhanced Transformer-Based Time Series Forecasting with Spectral Control
por: Forootani, Ali, et al.
Publicado: (2026)

Verification of Autonomous Neural Car Control with KeYmaera X
por: Prebet, Enguerrand, et al.
Publicado: (2025)

Neural Networks for on-chip Model Predictive Control: a Method to Build Optimized Training Datasets and its application to Type-1 Diabetes
por: Castillo, Alberto, et al.
Publicado: (2025)

Distributed Robust Learning based Formation Control of Mobile Robots based on Bioinspired Neural Dynamics
por: Xu, Zhe, et al.
Publicado: (2024)

The FABRIC Strategy for Verifying Neural Feedback Systems
por: Akinwande, Samuel I., et al.
Publicado: (2026)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
por: Li, Haoyu, et al.
Publicado: (2026)

Neural Network Tire Force Modeling for Automated Drifting
por: Broadbent, Nicholas Drake, et al.
Publicado: (2024)

Physics-Informed Neural Networks for Nonlinear Output Regulation
por: Mengozzi, Sebastiano, et al.
Publicado: (2025)