Derivative-Agnostic Inference of Nonlinear Hybrid Systems
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Yu, Hengzhi, Ma, Bohan, Chen, Mingshuai, Dong, Huangying, An, Jie, Gu, Bin, Zhan, Naijun, Yin, Jianwei |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
par: Su, Han, et autres
Publié: (2023)
par: Su, Han, et autres
Publié: (2023)
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
par: Su, Han, et autres
Publié: (2024)
par: Su, Han, et autres
Publié: (2024)
Exact Moment Estimation of Stochastic Differential Dynamics
par: Feng, Shenghua, et autres
Publié: (2026)
par: Feng, Shenghua, et autres
Publié: (2026)
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
par: Wu, Hao, et autres
Publié: (2023)
par: Wu, Hao, et autres
Publié: (2023)
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
par: Cui, Bohan, et autres
Publié: (2025)
par: Cui, Bohan, et autres
Publié: (2025)
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
par: Cui, Bohan, et autres
Publié: (2024)
par: Cui, Bohan, et autres
Publié: (2024)
Runtime Enforcement of CPS against Signal Temporal Logic
par: Su, Han, et autres
Publié: (2025)
par: Su, Han, et autres
Publié: (2025)
Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
par: Cui, Bohan, et autres
Publié: (2026)
par: Cui, Bohan, et autres
Publié: (2026)
Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
par: Cui, Bohan, et autres
Publié: (2026)
par: Cui, Bohan, et autres
Publié: (2026)
Kernel-Based Learning of Stable Nonlinear Systems
par: Scandella, Matteo, et autres
Publié: (2024)
par: Scandella, Matteo, et autres
Publié: (2024)
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
par: Zhong, Bingzhuo, et autres
Publié: (2024)
par: Zhong, Bingzhuo, et autres
Publié: (2024)
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
par: Cui, Bohan, et autres
Publié: (2025)
par: Cui, Bohan, et autres
Publié: (2025)
The Singular Angle of Nonlinear Systems
par: Chen, Chao, et autres
Publié: (2021)
par: Chen, Chao, et autres
Publié: (2021)
Layered Nonlinear Model Predictive Control for Robust Stabilization of Hybrid Systems
par: Olkin, Zachary, et autres
Publié: (2025)
par: Olkin, Zachary, et autres
Publié: (2025)
Nonlinear Model Predictive Control of a Hybrid Thermal Management System
par: Gulewicz, Demetrius, et autres
Publié: (2024)
par: Gulewicz, Demetrius, et autres
Publié: (2024)
Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
par: Liu, Zishun, et autres
Publié: (2025)
par: Liu, Zishun, et autres
Publié: (2025)
Hybrid Event-triggered Control of Nonlinear System with Full State Constraints and Disturbance
par: Wang, Ziming
Publié: (2024)
par: Wang, Ziming
Publié: (2024)
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
par: Zhang, Hang, et autres
Publié: (2023)
par: Zhang, Hang, et autres
Publié: (2023)
Hybrid Feedback for Affine Nonlinear Systems with Application to Global Obstacle Avoidance (Extended Version)
par: Wang, Miaomiao, et autres
Publié: (2023)
par: Wang, Miaomiao, et autres
Publié: (2023)
TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
par: Zhao, Xinkui, et autres
Publié: (2025)
par: Zhao, Xinkui, et autres
Publié: (2025)
Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions
par: Yu, Hongzhe, et autres
Publié: (2024)
par: Yu, Hongzhe, et autres
Publié: (2024)
Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
par: Liu, Zishun, et autres
Publié: (2024)
par: Liu, Zishun, et autres
Publié: (2024)
Discrete Homogeneity and Quantizer Design for Nonlinear Homogeneous Control Systems
par: Zhou, Yu, et autres
Publié: (2026)
par: Zhou, Yu, et autres
Publié: (2026)
Inference and Learning of Nonlinear LFR State-Space Models
par: Floren, Merijn, et autres
Publié: (2025)
par: Floren, Merijn, et autres
Publié: (2025)
On Koopman Resolvents and Frequency Response of Nonlinear Systems
par: Susuki, Yoshihiko, et autres
Publié: (2026)
par: Susuki, Yoshihiko, et autres
Publié: (2026)
Robust Adaptive Learning Control for a Class of Non-affine Nonlinear Systems
par: Gao, Shuai, et autres
Publié: (2026)
par: Gao, Shuai, et autres
Publié: (2026)
Learning Local Control Barrier Functions for Hybrid Systems
par: Yang, Shuo, et autres
Publié: (2024)
par: Yang, Shuo, et autres
Publié: (2024)
Contingency Detection in Modern Power Systems: A Stochastic Hybrid System Method
par: Yuan, Shuo, et autres
Publié: (2024)
par: Yuan, Shuo, et autres
Publié: (2024)
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2026)
par: Ma, Liqian, et autres
Publié: (2026)
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
par: Li, Haoyu, et autres
Publié: (2025)
par: Li, Haoyu, et autres
Publié: (2025)
Initial State Privacy of Nonlinear Systems on Riemannian Manifolds
par: Liu, Le, et autres
Publié: (2025)
par: Liu, Le, et autres
Publié: (2025)
Resilient Distributed Control for Uncertain Nonlinear Interconnected Systems under Network Anomaly
par: Wang, Youqing, et autres
Publié: (2025)
par: Wang, Youqing, et autres
Publié: (2025)
Stochastic Hybrid System Modeling and State Estimation of Modern Power Systems under Contingency
par: Yuan, Shuo, et autres
Publié: (2024)
par: Yuan, Shuo, et autres
Publié: (2024)
Nonlinear Control Synchronization Method for Fractional-order Time Derivatives Chaotic Systems
par: Mishra, Vivek, et autres
Publié: (2026)
par: Mishra, Vivek, et autres
Publié: (2026)
Hybrid System Stability Analysis of Multi-Lane Mixed-Autonomy Traffic
par: Li, Sirui, et autres
Publié: (2023)
par: Li, Sirui, et autres
Publié: (2023)
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
par: Xu, Xiong, et autres
Publié: (2025)
par: Xu, Xiong, et autres
Publié: (2025)
Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
par: Kumar, Saurabh, et autres
Publié: (2025)
par: Kumar, Saurabh, et autres
Publié: (2025)
Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables
par: Wang, Sen, et autres
Publié: (2024)
par: Wang, Sen, et autres
Publié: (2024)
Learning Hybrid Policies for MPC with Application to Drone Flight in Unknown Dynamic Environments
par: Feng, Zhaohan, et autres
Publié: (2024)
par: Feng, Zhaohan, et autres
Publié: (2024)
A General Tikhonov Regularized Second-Order Dynamical System for Convex-Concave Bilinear Saddle Point Problems
par: Zhang, Bohan, et autres
Publié: (2026)
par: Zhang, Bohan, et autres
Publié: (2026)
Documents similaires
-
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
par: Su, Han, et autres
Publié: (2023) -
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
par: Su, Han, et autres
Publié: (2024) -
Exact Moment Estimation of Stochastic Differential Dynamics
par: Feng, Shenghua, et autres
Publié: (2026) -
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
par: Wu, Hao, et autres
Publié: (2023) -
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
par: Cui, Bohan, et autres
Publié: (2025)