arXiv subjects

Othman Cherkaoui Dekkaki

Publications and source records attributed to Othman Cherkaoui Dekkaki.

3 recordsLinked to original sources

arXiv2026

Invariance is Compositional for Continuous-time Systems: From Sleekness to Lebesgue Density

This work establishes the first bidirectional compositional invariance result: robust forward invariance of a global Cartesian product set is shown to be equivalent to robust forward invariance of each local subsystem under coupling inputs from its neighbors. To facilitate this, we introduce the notion of tangential Lebesgue-density, a new condition that is weaker than classical sleekness but sufficient to ensure that the product of individual tangent cones equals the tangent cone of the product set. This equivalence reduces the curse of dimensionality by allowing the verification of a high-dimensional global system to be decomposed into a series of local sub-checks. The framework's scalability is demonstrated through a DC microgrid numerical example, confirming that the verification complexity grows only linearly with the number of subsystems.

eess.SY↗

arXiv2025

Optimal Control of a Bioeconomic Crop-Energy System with Energy Reinvestment

We develop an optimal control model for allocating agricultural crop residues between bioenergy production and soil fertility restoration. The system captures a novel circular feedback: a fraction of cumulative energy output is reinvested into soil productivity, linking energy use with ecological regeneration. The dynamics are governed by a nonlinear three-state system describing soil fertility, residue biomass, and accumulated energy, with a single control representing the proportion of biomass diverted to energy. The objective is to maximize a discounted net benefit that accounts for energy revenue, soil value, and operational costs. We apply the Pontryagin Maximum Principle in current-value form to derive necessary optimality conditions and characterize the structure of optimal controls. Numerical simulations based on direct optimization reveal interior and switching regimes, and show how planning horizon and reinvestment efficiency influence optimal strategies. The results highlight the strategic role of energy reinvestment in achieving sustainable residue management.

math.OC↗

arXiv2025

Hamilton-Jacobi Reachability for Viability Analysis of Constrained Waste-to-Energy Systems under Adversarial Uncertainty

This paper investigates the problem of maintaining the safe operation of Waste-to-Energy (WtE) systems under operational constraints and uncertain waste inflows. We model this as a robust viability problem, formulated as a zero-sum differential game between a control policy and an adversarial disturbance. Within a Hamilton-Jacobi framework, the viability kernel is characterized as the zero sublevel set of a value function satisfying a constrained Hamilton-Jacobi-Bellman (HJB) equation in the viscosity sense. This formulation provides formal guarantees for ensuring that system trajectories remain within prescribed operational limits under worst-case scenarios. Compared to existing viability studies, this work introduces a rigorous HJB-based characterization explicitly incorporating uncertainty, tailored to nonlinear WtE dynamics. A numerical scheme based on the Local Lax-Friedrichs method is employed to approximate the viability kernel. Numerical experiments illustrate how increasing inflow uncertainty significantly reduces the viability domain, shrinking the safe operating envelope. The proposed method is computationally tractable for systems of moderate dimension and offers a basis for synthesizing robust control policies, contributing to the design of resilient and sustainable WtE infrastructures.

math.OC↗