Localized Stabilization of Transport PDEs by Interior Flux Feedback

Constantinos Kitsos; Ian R. Manchester

REVIEW 1 major objections 4 minor 30 references

Localized Stabilization of Transport PDEs by Interior Flux Feedback

T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Localized interior flux feedback can exponentially stabilize a multidimensional transport error whenever every relevant characteristic accumulates a uniform amount of damping in finite time.

desk verdict Solid geometric framework for localized damping of transport PDEs, with a real but fixable error in the explicit decay constants of Theorem IV.1 and a typo in the illustrative example. read the letter →

arxiv 2608.06249 v1 pith:4AEPZCTO submitted 2026-08-06 math.OC

Constantinos Kitsos , Ian R. Manchester This is my paper · ORCID

classification math.OC MSC 93C2093D1593D3035L65

keywords continuityequationstransportinteriorfluxfeedbacklocalizedstabilizationfinite-timecharacteristicdampingLyapunovmethodsinput-to-statestabilitycontrolofpartialdifferential

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish that a multidimensional continuity equation with source terms can be driven towards a prescribed reference profile by a feedback that acts only through the divergence of an interior flux, localized to part of the domain. The mathematical claim is that the error $e=\rho-\rho_\star$ obeys a transport equation with localized damping, $\partial_t e+\nabla\cdot(ue)=-\kappa\sigma e$, and that this equation is exponentially stable in $L^2$ provided a finite-time characteristic damping condition holds: along every relevant flow line, the accumulated damping $\int_t^{t+T}\sigma(s,X(s;t,x))\,ds$ is bounded below by $m_T>0$. The stability theorem then requires the feedback gain to beat the worst compressive amplification of the velocity field, $2\kappa m_T > M_A^- T$, and yields an explicit decay rate. If true, this gives a geometric criterion for localized stabilization of transport and separates the stability argument from the engineering problem of realizing the feedback flux, which is handled by elliptic right-inverse constructions. A two-dimensional inward-flow example verifies the conditions and the gain threshold in a simple explicit setting.

What carries the argument

The central object is the finite-time characteristic damping condition of Definition III.1: for the characteristic flow $X(s;t,x)$ of $u$, the accumulated integral $D_T(t,x)=\int_t^{t+T}\sigma(s,X(s;t,x))\,ds$ must be bounded below by $m_T>0$ on the relevant support family $A(t)$. This quantity is what makes localized damping effective; the proof inserts it into the characteristic formula for $e(t+T,X(t+T;t,x))^2 J(t+T;t,x)$ and uses Liouville's formula to convert compression and expansion into the constants $M_A^-$ and the damping into $\kappa m_T$. The constructive check is a Lyapunov-type function $\Phi$ whose sublevel sets define the active region $V_d(t)=\{x\in\Omega:\Phi(t,x)\le a_d\}$; the entrance condition $D_u\Phi\le-\gamma$ outside $V_d$ and $\sigma\ge\sigma_{\min}$ on $V_d$ guarantee every relevant characteristic spends enough time in the damped region, giving $m_T=\sigma_{\min}(T-T_{\rm in})$.

What would settle it

Simulate the closed-loop error equation $\partial_t e+\nabla\cdot(ue)=-\kappa\sigma e$ on the unit disk with inward radial field $u(x)=-\mu x$ and with $\sigma$ supported in an annulus that the shrinking family of characteristics never reaches, for instance with $\operatorname{supp}\sigma$ outside $\{|x|\le e^{-\mu t}R_0\}$; then $D_T(t,x)=0$ on the relevant support, the gain condition $2\kappa m_T>M_A^-T$ fails for every finite $\kappa$, and the $L^2$ norm should grow like $e^{2\mu t}$ rather than decay—directly contradicting any uniform exponential stabilization claim in that configuration.

Watch

Extended reading notes

Core claim

The central claim is Theorem IV.1: for a bounded $C^2$ domain with an impermeable velocity field $u$ satisfying Assumption II.4, if the localization function $\sigma$ is such that $D_T(t,x)=\int_t^{t+T}\sigma(s,X(s;t,x))\,ds\ge m_T>0$ on the relevant forward-invariant support family $A(t)$, and if the feedback gain satisfies $2\kappa m_T>M_A^-T$ (with $M_A^-$ the essential supremum of $(\nabla\cdot u)^-$ on $A(t)$), then the unperturbed closed-loop error equation is exponentially stable in $L^2(\Omega)$: $\|e(t)\|^2\le C_T e^{-\alpha_T t}\|e_0\|^2$ with $\alpha_T=2\kappa m_T/T-M_A^-$. The proof obtains a one-step contraction by evaluating the error along characteristics, squaring, and using Liouville's formula to compare the $L^2$ norm at $t+T$ with the norm at $t$; the factor $e^{M_A^-T}$ bounds worst-case compression and $e^{-2\kappa m_T}$ accounts for damping. The paper also shows that these conditions are checkable: a Lyapunov-type function $\Phi$ whose sublevel sets form the active region and which decreases outside it gives a uniform entrance time $T_{\rm in}$, hence $m_T=\sigma_{\min}(T-T_{\rm in})$; a weighted Lyapunov functional $W_\ell=\tfrac12\int e^{\ell\Phi}e^2\,dx$ converts this into a differential Lyapunov inequality and an ISS estimate for additive perturbations; and the feedback flux realizing $\nabla\cdot J_d=\kappa\sigma e-r_\star$ is constructed as a right inverse of the divergence on an actuator region. The same characteristic-damping argument is extended to velocity fields of the form $u[\rho]=u_0+\varepsilon b[\rho]$ satisfying uniform finite-time entrance conditions.

Load-bearing premise

The load-bearing premise is that the carrying velocity field is regular enough—with bounded spatial derivatives and bounded divergence—and impermeable at the boundary, so that the characteristic flow is a reversible Lipschitz transformation of the domain and volumes transform by Liouville's formula; if the field is discontinuous or only of bounded variation, as happens for shocks, this geometric machinery and the theorem's conclusion stop applying.

Editorial extensions

If this is right

Exponential stabilization with explicit constants: under the characteristic damping and gain conditions, $\|e(t)\|^2\le e^{M_A^-T}\exp(-(2\kappa m_T/T-M_A^-)t)\|e_0\|^2$, so the decay rate is computable from the geometry and the gain.
Support-restricted errors: if the initial error and perturbations live in a forward-invariant family $K(t)$, only the characteristics in that family need to accumulate damping; the global condition can be replaced by the local one.
Lyapunov entrance gives design rules: with $\Phi$, $a_d$, $\gamma$, and $\sigma_{\min}$, the active region $V_d=\{\Phi\le a_d\}$ guarantees $m_T=\sigma_{\min}(T-T_{\rm in})$, and the gain threshold reduces to $2\kappa\sigma_{\min}>M_K^-$, making the design checkable from $u$, $\sigma$, and $K(t)$.
ISS and robustness: the same weighted Lyapunov functional provides an input-to-state estimate, so bounded additive perturbations produce bounded error with exponential decay after the perturbation stops.
Realizability: the required divergence can be generated by solving local Neumann problems on an actuator region $U_d$, with an interface flux satisfying the compatibility condition, so the closed-loop equation is actually implementable.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Read as a design principle, the finite-time damping condition suggests choosing the active region to maximize the worst-case integral $D_T$ over the reachable support family; the gain threshold $2\kappa m_T>M_A^-T$ then tells the minimum actuator strength a given geometry allows.
The framework's mass-nonpreserving feedback is naturally interpreted as pickup, drop-off, or depot exchange in logistics; a concrete extension would be to couple the transported density with an external buffer and test whether the same exponential rate survives with bounded exchange rates.
The regularity assumption excludes discontinuous velocity fields, so applying the idea to shock-forming conservation laws would require a fundamentally different argument: BV flows lack the bi-Lipschitz change of variables on which the characteristic contraction relies.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The core of the paper is genuinely useful: a finite-time characteristic damping condition plus a gain condition gives L2 exponential stability for multidimensional continuity equations with localized flux-divergence feedback, and the support-restricted formulation is a real improvement over global damping assumptions. The characteristic calculus in Theorem IV.1 is clean and correct, using Liouville's formula and the change of variables properly. The weighted Lyapunov criterion and ISS estimate are also sound, and the entrance-time argument in Proposition III.5 is valid. Separating the stabilization argument from the flux realization is thoughtful and opens a clean path to actuator design. The paper is worth a careful read.

That said, the stress-test note is right, and it lands on a stated result. In Theorem IV.1, the claimed constants C_T = e^{M_A^- T} and alpha_T = 2 kappa m_T / T - M_A^- are inconsistent with the iteration proof. After n iterations plus the rough bound on the final remainder, the prefactor must be at least e^{2 kappa m_T}, not e^{M_A^- T}. The example of a divergence-free field with an error that has not yet reached the active region shows the stated estimate is literally false: the norm stays constant while the stated bound decays with rate 2 kappa m_T / T. The good news is that the qualitative exponential stability claim survives if you take C_T >= e^{2 kappa m_T}; the proof goes through with a one-line change. So this is a fixable error, but it should be corrected before publication.

There is also an outright typo in Section VII.E: the formula for omega[rho](t) is omega_0 times a fraction whose numerator and denominator are identical, so omega[rho](t) is constant, not a density-dependent functional. The surrounding claim that it is a bounded nonlinear functional is wrong as written. This is minor and does not affect the linear theorems, but the authors should fix it.

Other soft spots are minor. The nonlinear extension is honestly labeled as conditional, with well-posedness deferred, which is acceptable for a stability paper. The citation pattern is clean; the few self-citations are context only, and nothing is fitted to data. The lack of code is normal for this kind of theory paper.

Who this is for: people working on stabilization of transport and continuity equations, and more broadly on geometric conditions for localized damping in PDE control. It deserves a serious referee. I recommend sending it to peer review, asking for the constant correction, the example formula fix, and perhaps a check of the remaining constants in Corollary IV.4 and Theorem VI.6 for the same prefactor issue.

Referee Report

1 major / 4 minor

Summary. The paper studies stabilization of multidimensional continuity equations on bounded domains by interior flux feedback prescribed through the divergence of the flux: ∇·J_d = κσe − r⋆, where e = ρ − ρ⋆, σ is a nonnegative localization function, and r⋆ is the transport residual of a reference profile. The closed-loop error satisfies ∂_t e + ∇·(ue) = −κσe + w. The central result is Theorem IV.1, which asserts exponential L2 stability under a finite-time characteristic damping condition D_T(t,x) ≥ m_T and a gain condition 2κm_T > M_A^-T. The paper also develops Lyapunov-type entrance conditions (Assumption III.4) to verify the damping condition, a weighted Lyapunov functional giving ISS estimates (Theorem IV.8), elliptic right-inverse constructions for realizing the feedback flux, an extension to density-dependent velocity fields under an admissible-class assumption, and a two-dimensional radial example.

Significance. If the main theorem is correct, the paper gives a clean and geometrically checkable sufficient condition for localized stabilization of continuity equations, with an explicit balance between accumulated damping and compressive amplification of the transport field. The proof is self-contained: the characteristic formula, Liouville's change of variables, and the entrance argument are stated explicitly, and the example verifies all hypotheses analytically. The separation of the divergence-level feedback law from the flux realization is a useful structural contribution, and the ISS estimate is a valuable addition. The nonlinear extension is honestly presented as conditional on an admissible class A, with well-posedness explicitly left open in Remark VI.7. The main issue found is a wrong explicit constant in Theorem IV.1; this is fixable and does not destroy the qualitative stability claim, but the theorem as stated is false.

major comments (1)

[§IV-A, Theorem IV.1 and its proof] The constants stated in Theorem IV.1 are not supported by the proof. After the one-step contraction ∥e(t+T)∥² ≤ q_T∥e(t)∥² and the rough bound ∥e(t+r)∥² ≤ e^{M_A^- r}∥e(t)∥² for r ∈ [0,T), iterating gives ∥e(nT+r)∥² ≤ e^{(M_A^-+α_T)r} q_T^n ∥e0∥². Since e^{−α_T(nT+r)} = q_T^n e^{−α_T r}, the multiplicative constant must be at least e^{(M_A^-+α_T)T} = e^{2κm_T}. The claimed C_T = e^{M_A^- T} is strictly too small whenever (28) holds. For a divergence-free field (M_A^- = 0) and an initial error whose characteristic has not yet reached the active region, the stated bound predicts decay e^{−2κm_T t/T}∥e0∥² before any damping acts, contradicting exact conservation of the L2 norm; hence the statement as written is false. The qualitative exponential stability is recovered with C_T = e^{2κm_T}, so the theorem and the sentence 'We may take C_T = e^{M_A^- T}, α_T = ...' should be corrected accordingly.

minor comments (4)

[§VII.E] In the displayed definition of ω[ρ](t), the numerator and denominator are identical, so ω[ρ] ≡ ω0 and the density dependence is vacuous. The tangency argument remains valid for any scalar functional, but the demonstration of a genuinely density-dependent perturbation should be corrected.
[§IV-B, Theorem IV.8] The symbol α is used both for the admissible Lyapunov rate from Theorem IV.5, where the homogeneous estimate has e^{−2αt}, and for the ISS decay rate in (38), which has e^{−αt}. The notation should be aligned to avoid confusion.
[§VII, Remark VII.1] In the anisotropic-field remark, the displayed inequality D_uΦ(x) ≤ −2µ(1−ε0R0²)a_d appears to use a_d where r_d² (or |x|²) is intended; please correct the notation for dimensional consistency.
[Assumption II.4] The regularity assumption is described as 'minimal', but W^{1,∞} regularity of the velocity field is essential to the Lipschitz-flow/Liouville argument and excludes BV or discontinuous flows. The authors may wish to state this scope limitation explicitly, since the finite-time characteristic damping argument does not apply to shock solutions.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main stabilization theorem is a sufficient condition derived from explicit geometric hypotheses and proven by direct characteristic estimates, with no fitted parameters or load-bearing self-citations.

full rationale

The paper's central claim, Theorem IV.1, states that if the finite-time characteristic damping condition D_T(t,x) = ∫_t^{t+T} σ(s,X(s;t,x)) ds ≥ m_T > 0 holds on a support family, and if 2κm_T > M_A^- T, then the closed-loop error equation is exponentially stable in L2. This is a genuine sufficient-condition theorem, not a definitional tautology: the damping condition is a geometric assumption about the velocity field and localization function, and it is verified independently in the example via explicit characteristic computations. The proof uses the pointwise characteristic representation and Liouville's formula to derive a contraction over each horizon T, then iterates; no constant or parameter is fitted to the stability outcome. The gain condition is a stated hypothesis, not a fitted input. The support family K(t) is defined from the initial support and the flow, which is independent of the feedback gain. The weighted Lyapunov criteria in Theorems IV.5 and IV.8 are standard differential-Lyapunov arguments whose assumptions (entrance condition, uniform bounds, gain inequalities) are separate from the desired decay estimate. The realization section is a right-inverse construction for the divergence operator and does not smuggle in the stability conclusion. The self-citations [24], [27], and [29] appear only in contextual remarks (Remark II.1, Remark III.9, and the introduction to Section IV-B) and are not load-bearing for any theorem. Even if the explicit constant C_T stated in Theorem IV.1 were inaccurate, as a skeptical reader suggests, that would be a mathematical correctness issue, not circularity, because the theorem's claim does not reduce to its assumptions by construction. The paper also openly flags omitted well-posedness details in the nonlinear extension (Remark VI.7), which is a limitation statement, not a circular step. Overall, the derivation chain is self-contained and non-circular.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central theorem needs no fitted constants. The main extra structure beyond standard transport regularity is the finite-time damping condition (14), which is a geometric hypothesis introduced by the paper; the Lyapunov entrance condition (Assumption III.4) is a sufficient check. No new physical entities are posited.

assumptions (5)

domain assumption Standard transport regularity: u in L∞_loc(R≥0; W^{1,∞}(Ω;R^m)), ∇·u in L∞, u·n=0 on ∂Ω.
Assumption II.4: guarantees a unique Carathéodory flow with Lipschitz inverse and Liouville's formula, on which all characteristic arguments rest.
domain assumption Reference profile ρ⋆ and perturbation w have regularity ensuring r⋆=∇·(ρ⋆u)∈L²_loc and e0,w∈L²_loc.
Assumption II.4; needed for mild solution theory and the flux realization formulas.
ad hoc to paper Finite-time characteristic damping condition: for each t, D_T(t,x)≥m_T>0 for x in the relevant support family A(t).
Definition III.1 and Theorem IV.1: this is the load-bearing geometric hypothesis; the paper does not prove it for general fields, but provides constructive sufficient conditions via Assumption III.4.
ad hoc to paper Lyapunov entrance conditions: Φ∈C^1, sublevel set V_d nonempty, D_uΦ≤-γ outside V_d and σ≥σ_min inside V_d∩K(t).
Assumption III.4: ensures the entrance time T_in and hence m_T=σ_min(T-T_in) in Corollary IV.4.
ad hoc to paper Nonlinear admissible class A exists with forward-invariant K(t) for all flows u[ρ] and uniform bounds (60).
Assumptions VI.1 and VI.2; well-posedness of specific nonlinear models is explicitly deferred in Remark VI.7, so this remains a conditional extension.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Localized Stabilization of Transport PDEs by Interior Flux Feedback." pith.science (2026). https://pith.science/paper/4AEPZCTO

@misc{pith2026260806249,
  author       = {Pith},
  title        = {Pith review of: Localized Stabilization of Transport PDEs by Interior Flux Feedback},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4AEPZCTO}},
  note         = {Machine review of arXiv:2608.06249}
}

read the original abstract

We study stabilization of multidimensional continu- ity equations with source terms on bounded domains by means of localized interior flux feedback. The feedback is prescribed through the divergence of the flux and is chosen so that the error with respect to a reference profile satisfies a transport equation with localized damping. The main geometric condition is a finite-time characteristic damping inequality, requiring relevant characteristics to accumulate a uniform amount of damping over a time horizon. This condition is shown to yield exponential stability in L2 of the error, under a gain condition relating localized damping to compressive amplification of the transport field. Lyapunov-type entrance conditions ensure characteris- tic damping on support-restricted families of trajectories. A weighted Lyapunov functional provides a differential Lyapunov criterion and an input-to-state (ISS) estimate with respect to additive perturbations. We also discuss elliptic right-inverse realizations of the feedback flux and extend the characteristic damping argument to velocity fields depending nonlinearly on the state. A two-dimensional example finally illustrates the geometric, gain, and realization conditions.

Figures

Figures reproduced from arXiv: 2608.06249 by the authors.

**Figure 2.** Reference profile and initial density (note that the graphs use different [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗

**Figure 3.** Snapshots of the density ρ(t, x). The density is transported towards ρ ⋆ as the transported error enters the active region Vd at t = Tin and is damped there. The dashed white circle denotes Vd, and the dotted black circle denotes K0. t 0 1 2 3 4 5 ke(t)k 2 L2 (+)=ke0k 2 L2 (+) 0.2 0.4 0.6 0.8 1 1.2 Homogeneous decay w = 0 Tin t 0 1 2 3 4 5 ke(t)k 2 L2(+) 0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 Input-to-state response Aw… view at source ↗

Figures from the paper (3 more)

**Figure 4.** Figure 4: Closed-loop error-energy decay and ISS response. Left: homogeneous decay from the initial error [PITH_FULL_IMAGE:figures/full_fig_p013_4.png]

**Figure 5.** Figure 5: Feedback divergence F(t, x) = ∇ · Jd(t, x) (see (5)) at t = Tin. Red and blue denote positive and negative values of F, respectively. The inner solid circle denotes Σd, the outer solid circle denotes Vd, the dotted circle denotes supp σ, and the dash-dotted circle deno…

**Figure 6.** Figure 6: Density-dependent rotational perturbation. The first graph shows characteristic paths up to entrance into [PITH_FULL_IMAGE:figures/full_fig_p015_6.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages

[1]

Lions,Contr ˆolabilit´e Exacte, Perturbations et Stabilisation de Syst`emes Distribu ´es, ser

J.-L. Lions,Contr ˆolabilit´e Exacte, Perturbations et Stabilisation de Syst`emes Distribu ´es, ser. Recherches en math ´ematiques appliqu ´ees. Paris: Masson, 1988, vol. 1–2

work page 1988
[2]

Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary,

C. Bardos, G. Lebeau, and J. Rauch, “Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary,” SIAM Journal on Control and Optimization, vol. 30, pp. 1024–1065, 1992

work page 1992
[3]

Decay estimates for some semilinear damped hyperbolic problems,

A. Haraux and E. Zuazua, “Decay estimates for some semilinear damped hyperbolic problems,”Archive for Rational Mechanics and Analysis, vol. 100, pp. 191–206, 1988

work page 1988
[4]

Propagation, observation, and control of waves approxi- mated by finite difference methods,

E. Zuazua, “Propagation, observation, and control of waves approxi- mated by finite difference methods,”SIAM Review, vol. 47, no. 2, pp. 197–243, 2005

work page 2005
[5]

C. M. Dafermos,Hyperbolic Conservation Laws in Continuum Physics, 4th ed., ser. Grundlehren der Mathematischen Wissenschaften. Berlin: Springer, 2016, vol. 325

work page 2016
[6]

A macroscopic crowd motion model of gradient flow type,

B. Maury, A. Roudneff-Chupin, and F. Santambrogio, “A macroscopic crowd motion model of gradient flow type,”Mathematical Models and Methods in Applied Sciences, vol. 20, no. 10, pp. 1787–1821, 2010

work page 2010
[7]

Transport equation with nonlocal velocity in Wasserstein spaces: convergence of numerical schemes,

B. Piccoli and F. Rossi, “Transport equation with nonlocal velocity in Wasserstein spaces: convergence of numerical schemes,”Acta Applican- dae Mathematicae, vol. 124, no. 1, pp. 73–105, 2013

work page 2013
[8]

Coverage control for mobile sensing networks,

J. Cortes, S. Martinez, T. Karatas, and F. Bullo, “Coverage control for mobile sensing networks,”IEEE Transactions on Robotics and Automation, vol. 20, no. 2, pp. 243–255, 2004

2004

Show all 30 references

[9]

A computational fluid mechanics solution to the monge–kantorovich mass transfer problem,

J.-D. Benamou and Y . Brenier, “A computational fluid mechanics solution to the monge–kantorovich mass transfer problem,”Numerische Mathematik, vol. 84, no. 3, pp. 375–393, 2000

2000
[10]

Villani,Topics in Optimal Transportation, ser

C. Villani,Topics in Optimal Transportation, ser. Graduate Studies in Mathematics. Providence, RI: American Mathematical Society, 2003, vol. 58

2003
[11]

Santambrogio,Optimal Transport for Applied Mathematicians: Cal- culus of Variations, PDEs, and Modeling, ser

F. Santambrogio,Optimal Transport for Applied Mathematicians: Cal- culus of Variations, PDEs, and Modeling, ser. Progress in Nonlinear Differential Equations and Their Applications. Birkh ¨auser Cham, 2015, vol. 87

2015
[12]

Optimal steering of a linear stochastic system to a final probability distribution, part i,

Y . Chen, T. T. Georgiou, and M. Pavon, “Optimal steering of a linear stochastic system to a final probability distribution, part i,”IEEE Transactions on Automatic Control, vol. 61, no. 5, pp. 1158–1169, 2016

2016
[13]

Optimal mass transport of nonlinear systems under input and density constraints,

D. Wu and A. Rantzer, “Optimal mass transport of nonlinear systems under input and density constraints,”arXiv:2403.16683, 2024

2024 arXiv
[14]

Stability results for the continuity equation,

I. Karafyllis and M. Krsti ´c, “Stability results for the continuity equation,” Systems & Control Letters, vol. 135, pp. 1–9, 2020

2020
[15]

Stability and total variation estimates on general scalar balance laws,

R. M. Colombo, M. Mercier, and M. D. Rosini, “Stability and total variation estimates on general scalar balance laws,”Communications in Mathematical Sciences, vol. 7, no. 1, pp. 37–65, 2009

2009
[16]

Bastin and J.-M

G. Bastin and J.-M. Coron,Stability and Boundary Stabilization of 1-D Hyperbolic Systems. Progress in Nonlinear Differential Equations and Their Applications. Springer, 2016

2016
[17]

Robust boundary control of systems of conservation laws,

C. Prieur, J. Winkin, and G. Bastin, “Robust boundary control of systems of conservation laws,”Mathematics of Control, Signals, and Systems, vol. 20, pp. 173–197, 2008

2008
[18]

Feedback control of scalar conser- vation laws with application to density control in freeways by means of variable speed limits,

I. Karafyllis and M. Papageorgiou, “Feedback control of scalar conser- vation laws with application to density control in freeways by means of variable speed limits,”Automatica, vol. 105, pp. 228–236, 2019

2019
[19]

Controllability for a scalar conservation law with nonlocal velocity,

J.-M. Coron and Z. Wang, “Controllability for a scalar conservation law with nonlocal velocity,”Journal of Differential Equations, vol. 252, no. 1, pp. 181–201, 2012

2012
[20]

Krstic and A

M. Krstic and A. Smyshlyaev,Boundary Control of PDEs. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2008

2008
[21]

Sampled-data distributedh ∞ control of transport reaction systems,

E. Fridman and N. B. Am, “Sampled-data distributedh ∞ control of transport reaction systems,”SIAM Journal on Control and Optimization, vol. 51, no. 2, pp. 1500–1527, 2013

2013
[22]

Approximate and exact controllability of the continuity equation with a localized vector field,

M. Duprez, M. Morancey, and F. Rossi, “Approximate and exact controllability of the continuity equation with a localized vector field,” SIAM Journal on Control and Optimization, vol. 57, no. 2, pp. 1284– 1311, 2019

2019
[23]

Stabilization of nonlocal continuity equa- tions via localized controls: Case of geodesic perturbations,

N. Pogodaev and F. Rossi, “Stabilization of nonlocal continuity equa- tions via localized controls: Case of geodesic perturbations,”Systems & Control Letters, vol. 211, pp. 1–7, 2026

2026
[24]

High-gain observer design for a class of quasi-linear integro-differential hyperbolic systems: Application to an epidemic model,

C. Kitsos, G. Besanc ¸on, and C. Prieur, “High-gain observer design for a class of quasi-linear integro-differential hyperbolic systems: Application to an epidemic model,”IEEE Transactions on Automatic Control, vol. 67, no. 1, pp. 292–303, 2022

2022
[25]

L. C. Evans,Partial differential equations. Providence, R.I.: American Mathematical Society, 2010

2010
[26]

R. J. LeVeque,Finite Volume Methods for Hyperbolic Problems. Cam- bridge University Press, 2002

2002
[27]

Joint coefficient and solution estimation for the 1-d wave equation: An observer-based solution to inverse problems,

C. Kitsos, M. Bajodek, and L. Baudouin, “Joint coefficient and solution estimation for the 1-d wave equation: An observer-based solution to inverse problems,”IEEE Transactions on Automatic Control, vol. 68, no. 8, pp. 4827–4840, 2023

2023
[28]

Uniform asymptotic stability of evolutionary processes in a banach space,

R. Datko, “Uniform asymptotic stability of evolutionary processes in a banach space,”SIAM Journal on Mathematical Analysis, vol. 3, no. 3, pp. 428–445, 1972

1972
[29]

Output feedback control of a cascade system of linear korteweg–de vries equations,

C. Kitsos, E. Cerpa, G. Besanc ¸on, and C. Prieur, “Output feedback control of a cascade system of linear korteweg–de vries equations,”SIAM Journal on Control and Optimization, vol. 59, no. 4, pp. 2955–2976, 2021

2021
[30]

Solution of the first boundary value problem for the equation of continuity of an incompressible medium,

M. E. Bogovski ˘ı, “Solution of the first boundary value problem for the equation of continuity of an incompressible medium,”Doklady Akademii Nauk SSSR, vol. 248, no. 5, pp. 1037–1040, 1979. 16 PLACE PHOTO HERE Constantinos KITSOS received the diploma degree in electrical and ...

1979

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Lions,Contr ˆolabilit´e Exacte, Perturbations et Stabilisation de Syst`emes Distribu ´es, ser

J.-L. Lions,Contr ˆolabilit´e Exacte, Perturbations et Stabilisation de Syst`emes Distribu ´es, ser. Recherches en math ´ematiques appliqu ´ees. Paris: Masson, 1988, vol. 1–2

work page 1988

[2] [2]

Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary,

C. Bardos, G. Lebeau, and J. Rauch, “Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary,” SIAM Journal on Control and Optimization, vol. 30, pp. 1024–1065, 1992

work page 1992

[3] [3]

Decay estimates for some semilinear damped hyperbolic problems,

A. Haraux and E. Zuazua, “Decay estimates for some semilinear damped hyperbolic problems,”Archive for Rational Mechanics and Analysis, vol. 100, pp. 191–206, 1988

work page 1988

[4] [4]

Propagation, observation, and control of waves approxi- mated by finite difference methods,

E. Zuazua, “Propagation, observation, and control of waves approxi- mated by finite difference methods,”SIAM Review, vol. 47, no. 2, pp. 197–243, 2005

work page 2005

[5] [5]

C. M. Dafermos,Hyperbolic Conservation Laws in Continuum Physics, 4th ed., ser. Grundlehren der Mathematischen Wissenschaften. Berlin: Springer, 2016, vol. 325

work page 2016

[6] [6]

A macroscopic crowd motion model of gradient flow type,

B. Maury, A. Roudneff-Chupin, and F. Santambrogio, “A macroscopic crowd motion model of gradient flow type,”Mathematical Models and Methods in Applied Sciences, vol. 20, no. 10, pp. 1787–1821, 2010

work page 2010

[7] [7]

Transport equation with nonlocal velocity in Wasserstein spaces: convergence of numerical schemes,

B. Piccoli and F. Rossi, “Transport equation with nonlocal velocity in Wasserstein spaces: convergence of numerical schemes,”Acta Applican- dae Mathematicae, vol. 124, no. 1, pp. 73–105, 2013

work page 2013

[8] [8]

Coverage control for mobile sensing networks,

J. Cortes, S. Martinez, T. Karatas, and F. Bullo, “Coverage control for mobile sensing networks,”IEEE Transactions on Robotics and Automation, vol. 20, no. 2, pp. 243–255, 2004

2004