Architecture assessment for safety critical plant operation using reachability analysis of timed automata

Based on a process formal model using communicating automata, this article shows both feasibility and limits of an automatic approach for the generation of safe operation

In the case study worked out in this paper, the assessment is performed in two main steps: first, a conceptual map in the form of a Muir Web is built to represent all the

This way, Puri reduced the problem of finding the set S ∗ to the problem of finding all reachable strongly connected components on the region graph of a timed automaton and

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

We present an overview of recovery methods based on these representations: (i ) variational for- mulations and non-smooth convex optimization strategies, (ii ) Bayesian

5.23 Comparison between experimental and DEM soil response to drained triaxial compression test before and after erosion in the case of different rolling resistances for fine and

The extreme surface conditions on Venus require that these science goals must be addressed by orbital remote sensing, including interferometric synthetic aperture radar (InSAR)

In order to search for a devices or a functionality through the network, if we only need to specify the type and/or some of its properties such as the location for a device or such