Buchumschlag

On the Reachability and Controllability of Temporal Continuous-Time Linear Networks: A Generic Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Yuan, Xia, Yuanqing, Wang, Long
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generalized Cactus and Structural Controllability of Switched Linear Continuous-Time Systems
von: Zhang, Yuan, et al.
Veröffentlicht: (2023)

A Note on Structural Controllability and Observability Indices
von: Zhang, Yuan, et al.
Veröffentlicht: (2025)

Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
von: Liu, Fengjiao, et al.
Veröffentlicht: (2024)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2023)

Minimal Sensor Placement for Generic State and Unknown Input Observability
von: Cheng, Ranbo, et al.
Veröffentlicht: (2024)

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

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
von: Choi, Jason J., et al.
Veröffentlicht: (2023)

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
von: Choi, Joonwon, et al.
Veröffentlicht: (2026)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
von: Yuan, Yating, et al.
Veröffentlicht: (2025)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
von: Huang, Yushen, et al.
Veröffentlicht: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)

Data-Enabled Policy and Value Iteration for Continuous-Time Linear Quadratic Output Feedback Control
von: Xie, Jun, et al.
Veröffentlicht: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Perturbation-Tolerant Structural Controllability for Linear Systems
von: Zhang, Yuan, et al.
Veröffentlicht: (2021)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
von: Zhang, Yuhao, et al.
Veröffentlicht: (2025)

Reachability Analysis for Design Optimization
von: Nguyen, Steven, et al.
Veröffentlicht: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
von: Zhang, Yuhao, et al.
Veröffentlicht: (2026)

On Linear Critical-Region Boundaries in Continuous-Time Multiparametric Optimal Control
von: Lamakani, Lida, et al.
Veröffentlicht: (2026)

Derivative-Free Data-Driven Control of Continuous-Time Linear Time-Invariant Systems
von: Bosso, Alessandro, et al.
Veröffentlicht: (2024)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2025)

Encrypted Observer-based Control for Linear Continuous-Time Systems
von: Nguyen, Hung, et al.
Veröffentlicht: (2023)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

Online Control with Adversarial Disturbance for Continuous-time Linear Systems
von: Li, Jingwei, et al.
Veröffentlicht: (2023)

Reinforcement Learning Based Minimum State-flipped Control for the Reachability of Boolean Control Networks
von: Ni, Jingjie, et al.
Veröffentlicht: (2023)

Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays
von: Feng, Qian, et al.
Veröffentlicht: (2022)

Robust Data-EnablEd Predictive Leading Cruise Control via Reachability Analysis
von: Li, Shuai, et al.
Veröffentlicht: (2024)

Gradient Dominance in the Linear Quadratic Regulator: A Unified Analysis for Continuous-Time and Discrete-Time Systems
von: Watanabe, Yuto, et al.
Veröffentlicht: (2026)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
von: Sharpless, Will, et al.
Veröffentlicht: (2023)

Quadratic Characterizations for Reachability Analysis of Neural Networks
von: Khalife, Elias, et al.
Veröffentlicht: (2026)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
von: Sharpless, Will, et al.
Veröffentlicht: (2024)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
von: Das, Hrishav, et al.
Veröffentlicht: (2026)

Towards Efficient and Secure Cloud Control Systems: Advances, Challenges, and Future Directions
von: Ali, Yasir, et al.
Veröffentlicht: (2025)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
von: Rego, Brenner S., et al.
Veröffentlicht: (2025)

Trajectory Optimization for UAV-Based Medical Delivery with Temporal Logic Constraints and Convex Feasible Set Collision Avoidance
von: Chen, Kaiyuan, et al.
Veröffentlicht: (2025)

Data-Based Control of Continuous-Time Linear Systems with Performance Specifications
von: Lopez, Victor G., et al.
Veröffentlicht: (2024)

A Semi-smooth Newton Method for the Constrained Optimal Control of Continuous-Time Linear Systems
von: Jones, Simon J., et al.
Veröffentlicht: (2026)

Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets
von: Xu, Yuezhu, et al.
Veröffentlicht: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2026)