惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

H
Help Net Security
T
ThreatConnect
SecWiki News
SecWiki News
F
Future of Privacy Forum
AWS News Blog
AWS News Blog
C
Cisco Blogs
A
Arctic Wolf
Vercel News
Vercel News
The GitHub Blog
The GitHub Blog
Scott Helme
Scott Helme
V
V2EX
博客园 - 叶小钗
阮一峰的网络日志
阮一峰的网络日志
K
Kaspersky official blog
G
Google Developers Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
P
Privacy International News Feed
C
Cyber Attacks, Cyber Crime and Cyber Security
N
News | PayPal Newsroom
Schneier on Security
Schneier on Security
NISL@THU
NISL@THU
Microsoft Azure Blog
Microsoft Azure Blog
量子位
The Hacker News
The Hacker News
Stack Overflow Blog
Stack Overflow Blog
Security Latest
Security Latest
M
Microsoft Research Blog - Microsoft Research
Google Online Security Blog
Google Online Security Blog
博客园_首页
C
CXSECURITY Database RSS Feed - CXSecurity.com
I
InfoQ
Google DeepMind News
Google DeepMind News
Y
Y Combinator Blog
The Cloudflare Blog
Microsoft Security Blog
Microsoft Security Blog
Martin Fowler
Martin Fowler
Cisco Talos Blog
Cisco Talos Blog
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
T
Troy Hunt's Blog
F
Fox-IT International blog
S
Security @ Cisco Blogs
博客园 - 司徒正美
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
C
Comments on: Blog
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
L
LINUX DO - 最新话题
GbyAI
GbyAI
Project Zero
Project Zero
腾讯CDC
T
Tailwind CSS Blog

cs updates on arXiv.org

End-to-End Intracortical Speech Decoding from Neural Activity Analyzing the Effects of Two-Stage Peer Evaluation AvAtar: Learning to Align via Active Optimal Transport Faithfulness as Information Flow: Evaluating and Training Faithful Chain-of-Thought Reasoning Can Graph-Based Microservice Performance Detection Be Used for Microservice Intrusion Detection? Attested Tool-Server Admission: A Security Extension to the Model Context Protocol Phonetic Modeling of Dialectal Variation in Vietnamese Speech AgentFugue: Agent Scaling for Long-Horizon Tasks through Collective Reasoning Momentum Streams for Optimizer-Inspired Transformers Structure-Aware RAG: Structured Retrieval Augmented Generation from Noisy Data for Conversational Agents MeVer at CheckThat! 2026: Cluster-Aware Hard-Negative Mining for Multilingual Scientific-Source Retrieval Cross-Modal Action Recognition in Egocentric Video Using Mamba: Integrating RGB and Hand Skeleton Streams via CLS Token Fusion Strategies When Does Synthetic Patent Data Help? Volume-Fidelity Trade-offs in Low-Resource Multi-Label Classification How Well Do Models Follow Their Constitutions? Interdomain Attention: Beyond Token-Level Key-Value Memory LLMs Show No Signs Of Individuated Metacognition Distinguishing Right from Wrong in Debates: Attribution Analysis of Chinese Harmful Memes Synheart Capacity: A Theory-Driven Physiological Representation of Cognitive Capacity Dynamics from Wearable Signals Smoother Action Chunking Flow Policy via Prior-Corrected Orthogonal Trust-Region Guidance Enhancing Reliability in LLM-Based Secure Code Generation Generative OOD-regularized Model-based Policy Optimization PrivFusion: A Privacy-preserving Multi-Agent Framework for Harmonizing Distributed Datasets Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability CRISP -- Clustering-Based Redundancy-Reduced Instance Sampling for Pathology Case Representation and Retrieval ECo-MoE: Embodiment-Conditioned Mixture of Experts Increases the Evolvability of Robots Humans Cannot Detect AI-Generated Media But Communities May -- For Now: Collaborative AI Detection in r/RealOrAI on Reddit Improving the Accuracy of the Exponentially Fitted Scheme on Piecewise Uniform Meshes ArtSplat: Feed-Forward Articulated 3D Gaussian Splatting from Sparse Multi-State Uncalibrated Views A Comprehensive Evaluation of Vertex Elimination Algorithms for Algorithmic Differentiation Unlocking Apple's Private Cloud Compute: An Analysis of Privacy-Preserving Artificial Intelligence Temporal Concept Drift in Legal Judgment Prediction: Neural Baselines Across Three Epochs of Ukrainian Court Decisions Discovering Lexical Gaps Using Embeddings from Multilingual LLMs TUBE: Tangent Upper Bound on Evidence for Discrete Diffusion Language Models Evolving Robustness--Exploration Trade-off in Online Reinforcement Learning via Quantile Bayesian Risk MDPs CurveRL: Principled Distribution-Aware Context Reweighting for LLM Reasoning Fourier Feature Pyramids for Physics-Informed Neural Networks Side-by-side Comparison Amplifies Dialect Bias in Language Models Balancing Fairness, Privacy, and Accuracy: A Multitask Adversarial Framework for Centralized Data-Driven Systems Representation-Guided Discrete Molecular Graph Retrosynthesis Learning Laplacian Eigenspace with Mass-Aware Neural Operators on Point Clouds Concept Drift Adaptation Using Self-Supervised and Reinforcement Learning In Android Malware Detection Asymmetric Adaptation-based Real-time Fault Diagnosis Under Transitional Operating Conditions A Reinforcement Learning Inspired Latent Yield Based Adaptive Algorithm Switching Mechanism SliceWorld: A Predictive and Controllable World-State Model for CT Report Generation LLMTabBench: Evaluating LLMs on Binary Tabular Classification From Zero to Few Shots How Much Structure Do LLMs Need? Evaluating LLMs for Bibliometric Cluster Description Toward Enactive Artificial Intelligence Polar: Agentic RL on Any Harness at Scale Deep-Research Agents Can Be Poisoned via User-Generated Content Safety-Oriented Routing Analysis of Mixtral MoE Under Benign and Harmful Prompts Resident KV Claims: A Conformance Contract for Future Reuse under Active KV Pressure GIBLy: Improving 3D Semantic Segmentation through an Architecture-Agnostic Lightweight Geometric Inductive Bias Layer Accuracy Analysis of the Proxy Point Method with Applications to Some Toeplitz Matrices Benchmarking Patent Embeddings: A Multi-Task Evaluation of 22 Models Across Retrieval, Classification, and Clustering RxGS: Receiver-Generalizable 3D Gaussian Splatting for Radio-Frequency Data Synthesis Learning regime-dependent governing equations: A symbolic decision tree approach AcroRL: Learning Aggressive Quadrotor Inversion using Bidirectional Thrust FDDet: Achieving Data-Efficient Food Defect Detection Under Real-World Scenarios CoDA: Color Distribution Probing for Efficient and Generalizable AI-Generated Image Detection On Permutation Groups of Cyclic Codes over Finite Fields Plume Segmentation from MethaneSAT with Cross-Sensor Transfer Learning and Physics-Informed Postprocessing Sketch Bug: Using Sketch-Based Input for Interactive Code Debugging ContextEcho: A Benchmark for Persona Drift in Long Agentic-Coding Sessions Found in Conversation: LLMs Teach Themselves to Close the Multi-Turn Gap Rethinking Continual Anomaly Detection on the Edge: Benchmarking Under Realistic Industrial Conditions Decompose-and-Refine: Structured Legal Question Answering with Parametric Retrieval SEAL: Synergistic Co-Evolution of Agents and Learning Environments DRInQ: Evaluating Conversational Implicature with Controlled Context Variation ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale Private Adaptive Covariance Estimation via Gaussian Graphical Models A lift for input-convex neural network training Omissive Bias in Religious Representation: Benchmarking LLM Answers to Everyday Ethical Decision-making Refined Analysis of Entropy-Regularized Actor-Critic ChainzRule: Sample-Efficient, Robust Deep Learning Across Tabular, NLP, and Vision Tasks From One-Pass SGD to Data Reuse: Mini-Batch Scaling Laws in Sketched Linear Regression Optimizing Digital Therapeutic Interventions: Online Learning under Endogenous Adherence An Interactive Paradigm for Deep Research A Unified Python Framework for Direct PPO-based Control of AHUs with Economizer Logic and CO2-Constrained Ventilation Assessing the Operational Viability of Foundation Models for Time Series Forecasting Batch Normalization Amplifies Memorization and Privacy Risks The Normalized Maximum Likelihood for Regular Non-Smooth Models: Measure-Theoretic Foundations and Geometric Sampling CAffNet: Hard Constraint-Affine Neural Networks ChainLearn: A Blockchain-Based Capacity-Aware Framework for Federated Ensemble Learning GEESE: Genotype-aware End-to-End Spatio-temporal Embedding for Behavioral Phenotyping Gaussian Rank-Based Neighborhood Degree for Graph Neural Networks in Image Classification An Empirical Evaluation of LLM-Generated Code Security Across Prompting Methods Rubato: Transcribing Piano Music with Timestamps Poisoning the Watchtower: Prompt Injection Attacks Against LLM-Augmented Security Operations Through Adversarial Log Content SPACE: Unifying Symmetric and Asymmetric Routing Problems for Generalist Neural Solver Vision-Guided Outdoor Flight and Obstacle Evasion via Reinforcement Learning The Model Is Not the Product: A Dual-Pillar Architecture for Local-First Psychological Coaching Zeroth-Order Nonconvex Nonsmooth Optimization with Heavy-Tailed Noise Treatment Effect Estimation with Differentiated Networked Effect on Graph Data Improving Labeling Consistency with Detailed Constitutional Definitions and AI-Driven Evaluation Beyond Final Answers: Auditing Trajectory-Level Hallucinations in Multi-Agent Industrial Workflows Ant Backpressure Routing for Dynamic Wireless Multi-hop Networks with Mixed Traffic Patterns Bayesian Rational Search Engine User Identifying and Mitigating Systemic Measurement Bias in Production LLM Inference Benchmarks Φ-Noise: Training-Free Temporal Video Conditioning via Phase-Based Noise Manipulation Market Regime Council for Dynamic Credit Assignment in Multi-Agent LLM Decision Systems
Safe Data-Driven Control and Dynamical Learning via Constrained Neural Architectures and Koopman Operators
Lin Feng, Xi · 2026-05-26 · via cs updates on arXiv.org

View PDF HTML (experimental)

Abstract:The deployment of learning-based models in safety-critical control systems demands mathematical guarantees that standard regression architectures cannot provide. This paper presents an integrated framework that bridges Neural Ordinary Differential Equations (Neural ODEs), measurement-induced geometric structures, and Koopman operator theory, with the explicit aim of producing data-driven models whose stability certificates are computable, not merely conjectured. Three complementary components are developed and analyzed. First, ControlSynth Neural ODEs enforce global convergence through tractable linear matrix inequalities (LMIs), enabling complex nonlinear dynamics to be captured without sacrificing boundedness guarantees. Second, the ICODE formulation incorporates extrinsic environmental inputs into the learned vector field, while measurement-induced bundle structures confine state trajectories to physically admissible manifolds. Third, a systematic ISS verification pipeline certifies the input-to-state stability of Koopman-identified models via a convex $L_2$-gain LMI, converting an otherwise intractable robustness question into a solvable semidefinite program. The certified model is embedded in an ICODE-MPPI controller, which uses continuous-time residual learning inside a stochastic sampling loop to deliver robust path tracking under parametric uncertainty and persistent disturbances. Numerical experiments on a vehicle path-tracking benchmark and a nonlinear mechanical oscillator demonstrate up to a 61\% reduction in tracking RMSE and a 54\% reduction in state estimation error relative to uncertified baselines, with near-zero LMI violation rates across all evaluated disturbance levels.
Subjects: Systems and Control (eess.SY)
Cite as: arXiv:2605.24506 [eess.SY]
  (or arXiv:2605.24506v1 [eess.SY] for this version)
  https://doi.org/10.48550/arXiv.2605.24506

arXiv-issued DOI via DataCite (pending registration)

Submission history

From: Lin Feng [view email]
[v1] Sat, 23 May 2026 10:37:04 UTC (15 KB)