:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Zengjie, Sun, Zhiyong, Haesaert, Sofie
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	https://arxiv.org/abs/2404.09037
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
di: Qi, Shuhao, et al.
Pubblicazione: (2024)

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
di: Qi, Shuhao, et al.
Pubblicazione: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
di: Engelaar, Maico H. W., et al.
Pubblicazione: (2024)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
di: Engelaar, Maico H. W., et al.
Pubblicazione: (2024)

Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
di: Wang, Ruohan, et al.
Pubblicazione: (2025)

Unraveling tensor structures in correct-by-design controller synthesis
di: Wang, Ruohan, et al.
Pubblicazione: (2025)

Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
di: Qi, Shuhao, et al.
Pubblicazione: (2025)

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
di: Zhang, Zengjie, et al.
Pubblicazione: (2025)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
di: Schön, Oliver, et al.
Pubblicazione: (2025)

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
di: Qiu, Xinyuan, et al.
Pubblicazione: (2026)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
di: van Huijgevoort, Birgit C., et al.
Pubblicazione: (2024)

Situation-Aware Interactive MPC Switching for Autonomous Driving
di: Qi, Shuhao, et al.
Pubblicazione: (2025)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
di: Engelaar, Maico H. W., et al.
Pubblicazione: (2024)

A behavioral approach for LPV data-driven representations
di: Verhoek, Chris, et al.
Pubblicazione: (2024)

A Linear Parameter-Varying Approach to Data Predictive Control
di: Verhoek, Chris, et al.
Pubblicazione: (2023)

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems
di: Verhoek, Chris, et al.
Pubblicazione: (2023)

Direct data-driven control with signal temporal logic specifications
di: van Huijgevoort, Birgit C., et al.
Pubblicazione: (2023)

Direct data-driven state-feedback control of general nonlinear systems
di: Verhoek, Chris, et al.
Pubblicazione: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
di: Schön, Oliver, et al.
Pubblicazione: (2023)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2024)

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
di: van de Laar, Teun, et al.
Pubblicazione: (2024)

Safe Feedback Motion Planning in Unknown Environments: An Instantaneous Local Control Barrier Function Approach
di: Li, Cong, et al.
Pubblicazione: (2021)

Path Integral Control in Gaussian Belief Space for Partially Observed Systems
di: Das, Goutam, et al.
Pubblicazione: (2026)

Dual Control of Linear Systems from Bilinear Observations with Belief Space Model Predictive Control
di: Cao, Daniel, et al.
Pubblicazione: (2026)

Adaptive Robust Control for Uncertain Systems with Ellipsoid-Set Learning
di: Ma, Xuehui, et al.
Pubblicazione: (2026)

Convex Chance-Constrained Stochastic Control under Uncertain Specifications with Application to Learning-Based Hybrid Powertrain Control
di: Kato, Teruki, et al.
Pubblicazione: (2026)

Distributed Coverage Control of Constrained Constant-Speed Unicycle Multi-Agent Systems
di: Liu, Qingchen, et al.
Pubblicazione: (2023)

Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
di: Li, Ming, et al.
Pubblicazione: (2024)

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions
di: Han, Shaohang, et al.
Pubblicazione: (2025)

Belief Space Control of Safety-Critical Systems Under State-Dependent Measurement Noise
di: Walia, Rohan, et al.
Pubblicazione: (2025)

Combining Belief Function Theory and Stochastic Model Predictive Control for Multi-Modal Uncertainty in Autonomous Driving
di: Benciolini, Tommaso, et al.
Pubblicazione: (2024)

Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
di: Enwerem, Clinton, et al.
Pubblicazione: (2026)

Site-Specific and Frequency-Dependent Channel Characterization and MIMO Performance in FR3
di: Cui, Zhuangzhuang, et al.
Pubblicazione: (2026)

A Comparative Study of Artificial Potential Fields and Reciprocal Control Barrier Function-based Safety Filters
di: Li, Ming, et al.
Pubblicazione: (2024)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
di: Zhang, Hengde, et al.
Pubblicazione: (2026)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
di: Chen, Yu, et al.
Pubblicazione: (2025)

ARCH-COMP25 Category Report: Stochastic Models
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

A Tunable Universal Formula for Safety-Critical Control
di: Li, Ming, et al.
Pubblicazione: (2024)

Experimental Characterization of ISAC Channel Mapping and Environment Awareness
di: Cui, Zhuangzhuang, et al.
Pubblicazione: (2026)

Data-driven Dynamic Event-triggered Control
di: Xu, Tao, et al.
Pubblicazione: (2024)