This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in modifying the executions of a running system to ensure their correctness with respect to a desired property. We introduce a framework that takes as input any regular (timed) property over an alphabet of events, with some of these events being uncontrollable. An u...

Let G be a graph on n vertices with Laplacian matrix L and let b be a binary vector of length n. The pair (L,b) is controllable if the smallest L-invariant subspace containing b is of dimension n. The graph G is called essentially controllable if (L,b) is controllable for every b / ∈ ker(L), completely uncontrollable if (L,b) is uncontrollable for every b, and conditionally controllable if it i...

The increasing rate at which IoT technologies are being developed has enabled smarter and innovative solutions in the sectors of health, energy, transportation, etc. Unfortunately, some inherent characteristics these compromised to attack. Naturally, risk analysis emerges, as it is one many steps provide a reliable security strategy. However, methodologies any must first adapt dynamics system. ...

The detection range and accuracy of light ranging (LiDAR) systems are sensitive to variations in fog concentration, leading the safety intended functionality-related (SOTIF-related) problems LiDAR-based fusion localization system (LMSFLS). However, due uncontrollable weather, it is almost impossible quantitatively analyze effects on LMSFLS a realistic environment. Therefore, this study, we cond...