Tractable safety-ensuring algorithms for cyber-physical systems are important in critical applications. Approaches based on Control Barrier Functions assume continuous enforcement, which is not possible an online fashion. This letter presents two tractable to ensure forward invariance of discrete-time controlled systems. Both approaches provide strict mathematical safety guarantees. The first a...

In this paper, the definition of meet-continuity on $L$-directedcomplete posets (for short, $L$-dcpos) is introduced. As ageneralization of meet-continuity on crisp dcpos, meet-continuity on$L$-dcpos, based on the generalized Scott topology, ischaracterized. In particular, it is shown that every continuous$L$-dcpo is meet-continuous and $L$-continuous retracts ofmeet-continuous $L$-dcpos are al...

Outranking relations such as produced by the Electre I or II or the Tactic methods are based on a concordance and non-discordance principle that leads to declaring that an alternative is “superior” to another, if the coalition of attributes supporting this proposition is “sufficiently important” (concordance condition) and if there is no attribute that “strongly rejects” it (non-discordance con...

The literature on sparse recovery often adopts the `p “norm” (p ∈ [0, 1]) as the penalty to induce sparsity of the signal satisfying an underdetermined linear system. The performance of the corresponding `p minimization problem can be characterized by its null space constant. In spite of the NP-hardness of computing the constant, its properties can still help in illustrating the performance of ...

STP-BV is a bounding volume made of patches of spheres and toruses. These patches are assembled so that a convex polyhedral hull is bulged, in a tunable way, into a strictly convex form. Strict convexity ensures at least C property of the distance function –and hence, its gradient continuity. STPBV were introduced in our previous work [1], but proximity distance queries were limited to pairs of...

This talk deals with stability and sensitivity analysis for optimal control problems of an ordinary differential equation with a first-order state constraint. We consider the case when the Hamiltonian and the state constraint are regular. Malanowski (2) obtained Lipschitz continuity and directional differentiability of solutions in L, using generalized implicit functions theorems in infinite di...

We consider the second order Cauchy problem u +m(|Au|)Au = 0, u(0) = u0, u(0) = u1, where m : [0,+∞) → [0,+∞) is a continuous function, and A is a self-adjoint nonnegative operator with dense domain on a Hilbert space. It is well known that this problem admits local-in-time solutions provided that u0 and u1 are regular enough, depending on the continuity modulus of m, and on the strict/weak hyp...

Gastric cancer during pregnancy is a rare event and difficult to diagnose, as the symptoms can be confused with those of an ordinary pregnancy. We report a case of a 25-year-old patient with a 29-week gestation, with asthenia complaint, vomiting and weight loss. During the investigation of wasting syndrome endoscopy was performed with infiltrative ulcerative lesions in pre-pyloric region with b...