Cover Image

GenCtrl -- A Formal Controllability Toolkit for Generative Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cheng, Emily, Alonso, Carmen Amo, Danieli, Federico, Blaas, Arno, Zappella, Luca, Rodriguez, Pau, Suau, Xavier
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Linearly Controlled Language Generation with Performative Guarantees
by: Cheng, Emily, et al.
Published: (2024)

Controlling Language and Diffusion Models by Transporting Activations
by: Rodriguez, Pau, et al.
Published: (2024)

ParaRNN: Unlocking Parallel Training of Nonlinear RNNs for Large Language Models
by: Danieli, Federico, et al.
Published: (2025)

LinEAS: End-to-end Learning of Activation Steering with a Distributional Loss
by: Rodriguez, Pau, et al.
Published: (2025)

System Level Synthesis for Affine Control Policies: Model Based and Data-Driven Settings
by: Schüepp, Lukas, et al.
Published: (2025)

Interpreting CLIP: Insights on the Robustness to ImageNet Distribution Shifts
by: Crabbé, Jonathan, et al.
Published: (2023)

State Space Models as Foundation Models: A Control Theoretic Overview
by: Alonso, Carmen Amo, et al.
Published: (2024)

Bilevel MPC for Linear Systems: A Tractable Reduction and Continuous Connection to Hierarchical MPC
by: Moriyasu, Ryuta, et al.
Published: (2026)

HyperTransport: Amortized Conditioning of T2I Generative Models
by: Maiorca, Valentino, et al.
Published: (2026)

DEMONSTRATE: Zero-shot Language to Robotic Control via Multi-task Demonstration Learning
by: Rickenbach, Rahel, et al.
Published: (2025)

Sparse Autoencoders are Capable LLM Jailbreak Mitigators
by: Assogba, Yannick, et al.
Published: (2026)

DexCtrl: Towards Sim-to-Real Dexterity with Adaptive Controller Learning
by: Zhao, Shuqi, et al.
Published: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Revisiting Uncertainty Quantification Evaluation in Language Models: Spurious Interactions with Response Length Bias Results
by: Santilli, Andrea, et al.
Published: (2025)

Understanding the differences in Foundation Models: Attention, State Space Models, and Recurrent Neural Networks
by: Sieber, Jerome, et al.
Published: (2024)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
by: Izadi, Maedeh, et al.
Published: (2024)

Formalizing Neuromorphic Control Systems: A General Proposal and A Rhythmic Case Study
by: Medvedeva, Taisia, et al.
Published: (2025)

Ctrl-A: Control-Driven Online Data Augmentation
by: Christensen, Jesper B., et al.
Published: (2026)

Formal Entropy-Regularized Control of Stochastic Systems
by: van Zutphen, Menno, et al.
Published: (2026)

Introducing Modelling, Analysis and Control of Three-Phase Electrical Systems Using Geometric Algebra
by: Velasco, Manel, et al.
Published: (2023)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

Generalized Swing Control Framework for Inverter-based Resources
by: Bernal, Rodrigo, et al.
Published: (2025)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
by: Adams, Steven, et al.
Published: (2025)

Whispering Experts: Neural Interventions for Toxicity Mitigation in Language Models
by: Suau, Xavier, et al.
Published: (2024)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Safe Reinforcement Learning-based Automatic Generation Control
by: Mohamed, Amr S., et al.
Published: (2025)

QGas: Interactive Gas Infrastructure Toolkit
by: Quantschnig, Marco, et al.
Published: (2026)

Generalized Momenta-Based Koopman Formalism for Robust Control of Euler-Lagrangian Systems
by: Singh, Rajpal, et al.
Published: (2025)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Passivity-Preserving Safety-Critical Control using Control Barrier Functions
by: Califano, Federico
Published: (2023)

Interpretable Augmented Physics-Based Model for Estimation and Tracking
by: Straka, Ondřej, et al.
Published: (2025)

Understanding Input Selectivity in Mamba: Impact on Approximation Power, Memorization, and Associative Recall Capacity
by: Huang, Ningyuan, et al.
Published: (2025)

Switching Frequency Limitation with Finite Control Set Model Predictive Control via Slack Variables
by: Hartmann, Luca M., et al.
Published: (2023)

On the SDP Relaxation of Direct Torque Finite Control Set Model Predictive Control
by: Hartmann, Luca M., et al.
Published: (2024)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
by: She, Junpeng, et al.
Published: (2026)

Diagnostics Using Nuclear Plant Cyber Attack Analysis Toolkit
by: Patel, Japan K., et al.
Published: (2023)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Generalized Model of VSC-based Energy Storage Systems for Transient Stability Analysis
by: Ortega, Álvaro, et al.
Published: (2015)