Copertina

Unraveling tensor structures in correct-by-design controller synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Ruohan, Sun, Zhiyong, Haesaert, Sofie
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
di: Zhang, Zengjie, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

Controller synthesis method for multi-agent system based on temporal logic specification
di: Huang, Ruohan, et al.
Pubblicazione: (2025)

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

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

Graph-structured tensor optimization for nonlinear density control and mean field games
di: Ringh, Axel, et al.
Pubblicazione: (2021)

Discrete fully probabilistic design: towards a control pipeline for the synthesis of policies from examples
di: Ferrentino, Enrico, et al.
Pubblicazione: (2021)

Scalable iterative Gramian synthesis for control-affine systems
di: Yu, Zongxi, et al.
Pubblicazione: (2026)

Virtual Contraction Approach to Decentralized Adaptive Stabilization of Nonlinear Time-Delayed Networks
di: Kawano, Yu, et al.
Pubblicazione: (2025)

Predictive reinforcement learning based adaptive PID controller
di: Ma, Chaoqun, et al.
Pubblicazione: (2025)

A tensor phase theory with applications in multilinear control
di: Liu, Chengdong, et al.
Pubblicazione: (2025)

Recent Advancements in Battery State of Power Estimation Technology: A Comprehensive Overview and Error Source Analysis
di: Guo, Ruohan, et al.
Pubblicazione: (2024)

A case study comparing both stochastic and worst-case robust control co-design under different control structures
di: Azad, Saeed, et al.
Pubblicazione: (2024)

Lyapunov based dynamic controller designs for reach-and-avoid problems
di: Lanza, Lukas, et al.
Pubblicazione: (2024)

Cooperative event-based rigid formation control
di: Sun, Zhiyong, et al.
Pubblicazione: (2019)

Fault-tolerant control of nonlinear systems: An inductive synthesis approach
di: Masti, Daniele, et al.
Pubblicazione: (2025)

Multi-objective robust controller synthesis with integral quadratic constraints in discrete-time
di: Schwenkel, Lukas, et al.
Pubblicazione: (2025)

Data-driven control of continuous-time systems: A synthesis-operator approach
di: Wakaiki, Masashi
Pubblicazione: (2025)

Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems
di: Masti, Daniele, et al.
Pubblicazione: (2023)

Modelling, design and control of middle-size tilt-rotor quadrotor
di: Nye-Matthew, Theodore, et al.
Pubblicazione: (2024)

Explicit feedback synthesis for nonlinear robust model predictive control driven by quasi-interpolation
di: Ganguly, Siddhartha, et al.
Pubblicazione: (2023)

Towards Accurate and Efficient Sorting of Retired Lithium-ion Batteries: A Data Driven Based Electrode Aging Assessment Approach
di: Guo, Ruohan, et al.
Pubblicazione: (2024)

Experiment design using prior knowledge on controllability and stabilizability
di: Shakouri, Amir, et al.
Pubblicazione: (2025)

On the design of stabilizing FIR controllers
di: Adamek, Janis, et al.
Pubblicazione: (2024)