Buchumschlag

Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Riess, Hans, Huang, Yujun, Klawonn, Matthew, Zardini, Gioele, Hale, Matthew
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Systems and Control Logic in Computer Science Category Theory Optimization and Control 93B51, 18D20, 06F07, 93B25, 93B52, 18M30, 18M05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Sum of squares approximations to energy functions
von: Adjerid, Hamza, et al.
Veröffentlicht: (2024)

The defect, the Malgrange functor, and linear control systems
von: Martsinkovsky, Alex
Veröffentlicht: (2024)

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
von: Moeller, Joe, et al.
Veröffentlicht: (2026)

Nonuniform complete observability; preservation by output feedback and duality results
von: Huerta, Ignacio
Veröffentlicht: (2024)

Localized and degenerate controls for the incompressible Navier-Stokes system
von: Nersesyan, Vahagn, et al.
Veröffentlicht: (2022)

Categorical Lyapunov Theory I: Stability of Flows
von: Ames, Aaron D., et al.
Veröffentlicht: (2025)

Categorical Lyapunov Theory II: Stability of Systems
von: Ames, Aaron D., et al.
Veröffentlicht: (2025)

Observed Control -- Linearly Scalable Nonlinear Model Predictive Control with Adaptive Horizons
von: Hamzezadeh, Eugene T., et al.
Veröffentlicht: (2025)

Hierarchical 2-degree-of-freedom control combining Youla-Kucera parameterization and model predictive control
von: Zhao, Zhiheng, et al.
Veröffentlicht: (2026)

Legendre-Moment Transform for Linear Ensemble Control and Computation
von: Ning, Xin, et al.
Veröffentlicht: (2024)

Excitation of control-affine systems and Koopman error bounds
von: Schmitz, Philipp, et al.
Veröffentlicht: (2025)

Interactions that reshape the interfaces of the interacting parties
von: Spivak, David I.
Veröffentlicht: (2026)

Arbitrary matrix coefficient assignment for block matrix linear control systems by static output feedback
von: Zaitsev, Vasilii, et al.
Veröffentlicht: (2025)

Flatness-based control revisited: The HEOL setting
von: Join, Cédric, et al.
Veröffentlicht: (2024)

Competition-Based Resilience in Distributed Quadratic Optimization
von: Ballotta, Luca, et al.
Veröffentlicht: (2022)

Observability of the linear Zakharov--Kuznetsov equation
von: Filho, Roberto de A. Capistrano, et al.
Veröffentlicht: (2023)

Local controllability of the Cahn-Hilliard-Burgers' equation around certain steady states
von: Bag, Manika, et al.
Veröffentlicht: (2026)

Exact Controllability for a Refined Stochastic Hyperbolic Equation with Internal Controls
von: Li, Zengyu, et al.
Veröffentlicht: (2025)

Exact Controllability for Stochastic First-Order Multi-Dimensional Hyperbolic Systems
von: Li, Zengyu, et al.
Veröffentlicht: (2026)

Learning Koopman Models From Data Under General Noise Conditions
von: Iacob, Lucian Cristian, et al.
Veröffentlicht: (2025)

Theoretical and numerical indirect stabilization of coupled wave equations with a single time-delayed damping
von: Moumni, Alhabib, et al.
Veröffentlicht: (2024)

Coupled linear Schrödinger equations: Control and stabilization results
von: Bhandari, K., et al.
Veröffentlicht: (2023)

On invariance of observability for BSDEs and its applications to stochastic control systems
von: Guo, Bao-Zhu, et al.
Veröffentlicht: (2024)

Sharp estimates of the one-dimensional boundary control cost for parabolic systems
von: González-Burgos, Manuel, et al.
Veröffentlicht: (2024)

Pointwise-Sparse Actuator Scheduling for Linear Systems with Controllability Guarantee
von: Ballotta, Luca, et al.
Veröffentlicht: (2024)

Coefficient-level output-feedback stabilization of linear port-Hamiltonian descriptor systems
von: Shi, Shuo, et al.
Veröffentlicht: (2025)

Stabilization to trajectories of nonisothermal Cahn-Hilliard equations
von: Azmi, Behzad, et al.
Veröffentlicht: (2024)

Detectability via observability in a nonuniform framework: dual relationship with controllability and stabilizability
von: Huerta, Ignacio, et al.
Veröffentlicht: (2025)

A numerical approach to the co-design of PID controllers and low-pass filters for time-delay systems
von: Torres-García, Diego, et al.
Veröffentlicht: (2026)

Global Output-Feedback Extremum Seeking Control with Source Seeking Experiments
von: Aminde, Nerito Oliveira, et al.
Veröffentlicht: (2024)

Multivariable Extremum Seeking Control for Dynamic Maps through Sliding Modes and Periodic Switching Function
von: Aminde, Nerito Oliveira, et al.
Veröffentlicht: (2024)

Functional H_infity Filtering for Descriptor Systems with Monotone nonlinearities
von: Sharma, Rishabh, et al.
Veröffentlicht: (2024)

Extremum Seeking Control for Scalar Maps with Distributed Diffusion PDEs
von: Coutinho, Pedro Henrique Silva, et al.
Veröffentlicht: (2024)

Exact controllability of incompressible ideal magnetohydrodynamics in $2$D
von: Rissel, Manuel
Veröffentlicht: (2023)

Data-driven learning of feedback maps for explicit robust predictive control: an approximation theoretic view
von: Ganguly, Siddhartha, et al.
Veröffentlicht: (2025)

Feedback rectifiable pairs and stabilization of switched linear systems
von: Honecker, Maria C., et al.
Veröffentlicht: (2023)

Exponential Consensus through Z-Control in High-Order Multi-Agent Systems
von: Monti, Angela, et al.
Veröffentlicht: (2025)

Stabilizability with bounded feedback for analytic linear control systems
von: Ma, Yaxing, et al.
Veröffentlicht: (2025)

Novel closed-loop controllers for fractional linear quadratic tracking systems
von: Malmir, Iman
Veröffentlicht: (2026)

Design and Simulation of Vehicle Motion Tracking System using a Youla Controller Output Observation System
von: Li, Rongfei, et al.
Veröffentlicht: (2025)