Copertina

Specification Generation for Neural Networks in Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chaudhary, Isha, Lin, Shuyi, Tan, Cheng, Singh, Gagandeep
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
di: Wang, Chengxiao, et al.
Pubblicazione: (2026)

Lumos: Let there be Language Model System Certification
di: Chaudhary, Isha, et al.
Pubblicazione: (2025)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
di: Zeng, Hongtai, et al.
Pubblicazione: (2024)

Quantitative Certification of Agentic Tool Selection
di: Yeon, Jehyeok, et al.
Pubblicazione: (2025)

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

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

Coordinated Power Smoothing Control for Wind Storage Integrated System with Physics-informed Deep Reinforcement Learning
di: Wang, Shuyi, et al.
Pubblicazione: (2024)

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

Generalization of Compositional Tasks with Logical Specification via Implicit Planning
di: Xu, Duo, et al.
Pubblicazione: (2024)

COMET: Neural Cost Model Explanation Framework
di: Chaudhary, Isha, et al.
Pubblicazione: (2023)

From Failure Modes to Reliability Awareness in Generative and Agentic AI System
di: Janet, et al.
Pubblicazione: (2025)

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

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

Certifying Knowledge Comprehension in LLMs
di: Chaudhary, Isha, et al.
Pubblicazione: (2024)

Analyzing Generalization in Policy Networks: A Case Study with the Double-Integrator System
di: Zhang, Ruining, et al.
Pubblicazione: (2023)

DeMuon: A Decentralized Muon for Matrix Optimization over Graphs
di: He, Chuan, et al.
Pubblicazione: (2025)

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

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

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

One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
di: Yang, Xu, et al.
Pubblicazione: (2025)

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

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

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

Exploration of Multi-Element Collaborative Research and Application for Modern Power System Based on Generative Large Models
di: Cheng, Lu, et al.
Pubblicazione: (2025)

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

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

Stable-by-Design Neural Network-Based LPV State-Space Models for System Identification
di: Sertbaş, Ahmet Eren, et al.
Pubblicazione: (2025)

Using Laplace Transform To Optimize the Hallucination of Generation Models
di: Kang, Cheng, et al.
Pubblicazione: (2026)

Customized User Plane Processing via Code Generating AI Agents for Next Generation Mobile Networks
di: Ma, Xiaowen, et al.
Pubblicazione: (2026)

A Novel Feature Learning-based Bio-inspired Neural Network for Real-time Collision-free Rescue of Multi-Robot Systems
di: Li, Junfei, et al.
Pubblicazione: (2024)

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

Generalizability of Graph Neural Networks for Decentralized Unlabeled Motion Planning
di: Muthusamy, Shreyas, et al.
Pubblicazione: (2024)

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

A Distributed Hierarchical Spatio-Temporal Edge-Enhanced Graph Neural Network for City-Scale Dynamic Logistics Routing
di: Han, Zihan, et al.
Pubblicazione: (2025)

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

Ontology-Driven Robotic Specification Synthesis
di: Figat, Maksym, et al.
Pubblicazione: (2026)

Semi-Tensor-Product Based Convolutional Neural Networks
di: Cheng, Daizhan, et al.
Pubblicazione: (2025)

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

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

PowerFlowNet: Power Flow Approximation Using Message Passing Graph Neural Networks
di: Lin, Nan, et al.
Pubblicazione: (2023)