Cover Image

A Formal Analysis of Iterated TDD

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ruparel, Hemil, Mondal, Nabarun
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Systems and Control Dynamical Systems Optimization and Control Primary 68N30, Secondary 37B99, 68Q99, 93C99, 93D99, 68Q30.93D99, 68Q30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nonlinear port-Hamiltonian system identification from input-state-output data
by: Cherifi, Karim, et al.
Published: (2025)

Determining Disturbance Recovery Conditions by Inverse Sensitivity Minimization
by: Fisher, Michael W., et al.
Published: (2025)

Circuit realization and hardware linearization of monotone operator equilibrium networks
by: Chaffey, Thomas
Published: (2025)

Convergence of energy-based learning in linear resistive networks
by: Huijzer, Anne-Men, et al.
Published: (2025)

Boundary controllability of incompressible Euler fluids with Boussinesq heat effects
by: Fernández-Cara, Enrique, et al.
Published: (2024)

Generalizations of data-driven balancing: What to sample for different balancing-based reduced models
by: Reiter, Sean, et al.
Published: (2023)

On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
by: Gerlach, Raphael, et al.
Published: (2023)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
by: Basson, Dirk, et al.
Published: (2024)

Computing Feedback Laws for Linear Systems with a Parallel Pieri Homotopy
by: Verschelde, Jan, et al.
Published: (2004)

Approximation of shape optimization problems with non-smooth PDE constraints
by: Betz, Livia
Published: (2024)

Algorithmic information theory and martingales
by: Bienvenu, Laurent, et al.
Published: (2009)

Reachable and observable sets for switched systems via generalized Lyapunov equations: application to switched descriptor systems
by: Manucci, Mattia, et al.
Published: (2024)

From Features to States: Data-Driven Selection of Measured State Variables via RFE-DMDc
by: Wang, Haoyu, et al.
Published: (2025)

Input-Power-to-State Stability of Time-Varying Systems
by: Haimovich, Hernan, et al.
Published: (2025)

Generalized Word-Representable Graphs
by: Feng, Zhidan, et al.
Published: (2024)

Learning Koopman Models From Data Under General Noise Conditions
by: Iacob, Lucian Cristian, et al.
Published: (2025)

Implementing Basic Arithmetic in $\mathbb{F}_p$ via $\mathbb{F}_2$, and Its Application for Computing the Hamming Distance of Linear Codes
by: Hernando, Fernando, et al.
Published: (2026)

Revisiting Sampson Approximations for Geometric Estimation Problems
by: Rydell, Felix, et al.
Published: (2024)

From Sensor to Processing Networks: Optimal Estimation with Computation and Communication Latency
by: Ballotta, Luca, et al.
Published: (2020)

VulRG: Multi-Level Explainable Vulnerability Patch Ranking for Complex Systems Using Graphs
by: Jiang, Yuning, et al.
Published: (2025)

On a Rice theorem for dynamical properties of SFTs on groups
by: Carrasco-Vargas, Nicanor
Published: (2024)

Computing Safety Margins of Parameterized Nonlinear Systems for Vulnerability Assessment via Trajectory Sensitivities
by: Fisher, Michael W.
Published: (2025)

When can forward stable algorithms be composed stably?
by: Beltrán, Carlos, et al.
Published: (2021)

Data-driven identification of latent port-Hamiltonian systems
by: Rettberg, Johannes, et al.
Published: (2024)

Empirically Exploring the Space of Monostationarity in Dual Phosphorylation
by: Cai, May, et al.
Published: (2024)

Discretization of non-uniform rational B-spline (NURBS) models for meshless isogeometric analysis
by: Duh, Urban, et al.
Published: (2023)

Fast variable density node generation on parametric surfaces with application to mesh-free methods
by: Duh, Urban, et al.
Published: (2020)

KLAP: KYP lemma based low-rank approximation for $\mathcal{H}_2$-optimal passivation
by: Nicodemus, Jonas, et al.
Published: (2025)

Bézier curves and the Takagi function
by: Ptackova, Lenka, et al.
Published: (2024)

Optimal phase change for a generalized Grover's algorithm
by: Cardullo, Christopher, et al.
Published: (2025)

Compositionality of Lyapunov functions via assume-guarantee reasoning
by: Capucci, Matteo, et al.
Published: (2026)

Attractor learning for spatiotemporally chaotic dynamical systems using echo state networks with transfer learning
by: Alam, Mohammad Shah, et al.
Published: (2025)

Using Echo-State Networks to Reproduce Rare Events in Chaotic Systems
by: Erofeev, Anton, et al.
Published: (2025)

Geometric Artifact Correction for Symmetric Multi-Linear Trajectory CT: Theory, Method, and Generalization
by: Wang, Zhisheng, et al.
Published: (2024)

The generating power of weighted tree automata with initial algebra semantics
by: Droste, Manfred, et al.
Published: (2024)

A Mathematical Framework for the Problem of Security for Cognition in Neurotechnology
by: Bagley, Bryce Allen, et al.
Published: (2024)

ARDO: A Weak Formulation Deep Neural Network Method for Elliptic and Parabolic PDEs Based on Random Differences of Test Functions
by: Cai, Wei, et al.
Published: (2025)

No-Regret Generative Modeling via Parabolic Monge-Ampère PDE
by: Deb, Nabarun, et al.
Published: (2025)

A PDE Perspective on Generative Diffusion Models
by: Liu, Kang, et al.
Published: (2025)

Structural stability in piecewise Möbius transformations
by: Leriche, Renato, et al.
Published: (2025)