Copertina

The FABRIC Strategy for Verifying Neural Feedback Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Akinwande, Samuel I., Katz, Sydney M., Kochenderfer, Mykel J., Barrett, Clark
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
di: Akinwande, Samuel I., et al.
Pubblicazione: (2026)

Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
di: Akinwande, I. Samuel, et al.
Pubblicazione: (2025)

Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance
di: Katz, Sydney M., et al.
Pubblicazione: (2025)

Optimal Ground Station Selection for Low-Earth Orbiting Satellites
di: Eddy, Duncan, et al.
Pubblicazione: (2024)

Improving the Resilience of Quadrotors in Underground Environments by Combining Learning-based and Safety Controllers
di: Ward, Isaac Ronald, et al.
Pubblicazione: (2025)

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
di: Lützow, Laura, et al.
Pubblicazione: (2025)

Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
di: Delecki, Harrison, et al.
Pubblicazione: (2024)

Optimizing Task Completion Time Updates Using POMDPs
di: Eddy, Duncan, et al.
Pubblicazione: (2026)

Scalable Ground Station Selection for Large LEO Constellations
di: Kim, Grace Ra, et al.
Pubblicazione: (2025)

A Taxonomy and Review of Algorithms for Modeling and Predicting Human Driver Behavior
di: Bhattacharyya, Raunak P., et al.
Pubblicazione: (2020)

Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals
di: Delecki, Harrison, et al.
Pubblicazione: (2024)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

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

The Synergy Between Optimal Transport Theory and Multi-Agent Reinforcement Learning
di: Baheri, Ali, et al.
Pubblicazione: (2024)

Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach
di: Shahrooei, Zahra, et al.
Pubblicazione: (2024)

Fault-Aware MPC for Robotic Fleet Communications Scheduling
di: Schreiber, Carlo, et al.
Pubblicazione: (2026)

Informative Input Design for Dynamic Mode Decomposition
di: Ott, Joshua, et al.
Pubblicazione: (2024)

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

PowerChain: A Verifiable Agentic AI System for Automating Distribution Grid Analyses
di: Badmus, Emmanuel O., et al.
Pubblicazione: (2025)

An Iterative Bayesian Approach for System Identification based on Linear Gaussian Models
di: Tzikas, Alexandros E., et al.
Pubblicazione: (2025)

Hierarchical Framework for Optimizing Wildfire Surveillance and Suppression using Human-Autonomous Teaming
di: Al-Husseini, Mahdi, et al.
Pubblicazione: (2024)

Model Identification Adaptive Control with $ρ$-POMDP Planning
di: Ho, Michelle, et al.
Pubblicazione: (2025)

A Multi-Agent Systems Approach for Peer-to-Peer Energy Trading in Dairy Farming
di: Shah, Mian Ibad Ali, et al.
Pubblicazione: (2023)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
di: Sidrane, Chelsea, et al.
Pubblicazione: (2025)

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

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
di: Tayal, Manan, et al.
Pubblicazione: (2025)

Scaling Recurrent Neural Networks to a Billion Parameters with Zero-Order Optimization
di: Chaubard, Francois, et al.
Pubblicazione: (2025)

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

Watercraft as Overwater Ambulance Exchange Points to Enhance Aeromedical Evacuation
di: Al-Husseini, Mahdi, et al.
Pubblicazione: (2024)

Revolutionizing System Reliability: The Role of AI in Predictive Maintenance Strategies
di: Bidollahkhani, Michael, et al.
Pubblicazione: (2024)

Verification of Neural Network Control Systems in Continuous Time
di: ArjomandBigdeli, Ali, et al.
Pubblicazione: (2024)

Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
di: Kuhl, William, et al.
Pubblicazione: (2025)

Distributionally Robust Control with Constraints on Linear Unidimensional Projections
di: Tzikas, Alexandros E., et al.
Pubblicazione: (2025)

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation
di: Xie, Kedi, et al.
Pubblicazione: (2025)

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

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
di: Yang, Lujie, et al.
Pubblicazione: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

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

Enhancing LLMs for Power System Simulations: A Feedback-driven Multi-agent Framework
di: Jia, Mengshuo, et al.
Pubblicazione: (2024)

Is Linear Feedback on Smoothed Dynamics Sufficient for Stabilizing Contact-Rich Plans?
di: Shirai, Yuki, et al.
Pubblicazione: (2024)