Buchumschlag

Direct data-driven control with signal temporal logic specifications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van Huijgevoort, Birgit C., Verhoek, Chris, Tóth, Roland, Haesaert, Sofie
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

Direct data-driven state-feedback control of general nonlinear systems
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

A behavioral approach for LPV data-driven representations
von: Verhoek, Chris, et al.
Veröffentlicht: (2024)

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

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

Direct data-driven LPV control of nonlinear systems: An experimental result
von: Verhoek, Chris, et al.
Veröffentlicht: (2022)

Kernel-based multi-step predictors for data-driven analysis and control of nonlinear systems through the velocity form
von: Verhoek, Chris, et al.
Veröffentlicht: (2024)

A Linear Parameter-Varying Approach to Data Predictive Control
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

Direct data-driven interpolation and approximation of linear parameter-varying system trajectories
von: Verhoek, Chris, et al.
Veröffentlicht: (2025)

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

Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control
von: Verhoek, Chris, et al.
Veröffentlicht: (2024)

Direct Data-Driven State-Feedback Control of Linear Parameter-Varying Systems
von: Verhoek, Chris, et al.
Veröffentlicht: (2022)

Learning Stable and Robust Linear Parameter-Varying State-Space Models
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

Data-driven augmentation of first-principles models under constraint-free well-posedness and stability guarantees
von: Györök, Bendegúz, et al.
Veröffentlicht: (2026)

Learning-based model augmentation with LFRs
von: Hoekstra, Jan H., et al.
Veröffentlicht: (2024)

Unraveling tensor structures in correct-by-design controller synthesis
von: Wang, Ruohan, et al.
Veröffentlicht: (2025)

Continuous-time control synthesis under nested signal temporal logic specifications
von: Yu, Pian, et al.
Veröffentlicht: (2023)

Direct Data‐Driven State‐Feedback Control of Linear Parameter‐Varying Systems
von: Chris Verhoek, et al.
Veröffentlicht: (2025)

Collaborative design of fault diagnosis and fault tolerance control under nested signal temporal logic specifications
von: Lu, Penghong, et al.
Veröffentlicht: (2025)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
von: Zhang, Zengjie, et al.
Veröffentlicht: (2024)

A Quantitative Framework for Navigating Controller Design Tradeoffs under Computational Constraints
von: Verhoek, Chris, et al.
Veröffentlicht: (2026)

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

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

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

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
von: Qi, Shuhao, et al.
Veröffentlicht: (2025)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Situation-Aware Interactive MPC Switching for Autonomous Driving
von: Qi, Shuhao, et al.
Veröffentlicht: (2025)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Data-driven Learning of LPV Surrogate Models of Fuel Sloshing
von: Olucha, E. Javier, et al.
Veröffentlicht: (2026)

A Direct State-Space Realization of Discrete-Time Linear Parameter-Varying Input-Output Models
von: Kon, Johan, et al.
Veröffentlicht: (2025)

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

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Controller synthesis method for multi-agent system based on temporal logic specification
von: Huang, Ruohan, et al.
Veröffentlicht: (2025)

Efficient identification of linear, parameter-varying, and nonlinear systems with noise models
von: Bemporad, Alberto, et al.
Veröffentlicht: (2025)

Identification of Shifted‐Affine Linear Parameter‐Varying Models in the Errors‐In‐Variables Setting
von: Leander Hemelhof, et al.
Veröffentlicht: (2026)

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

Early warning signals for loss of control
von: van Beers, Jasper J., et al.
Veröffentlicht: (2025)

Least Costly Space-Filling Experiment Design for the Identification of a Nonlinear System
von: Kiss, Máté, et al.
Veröffentlicht: (2026)

Computationally Efficient Sampling-Based Algorithm for Stability Analysis of Nonlinear Systems
von: Antal, Péter, et al.
Veröffentlicht: (2024)