This paper reviews methods and practices for addressing the concepts of system-level
prognostics (SLP) and system remaining useful life (SRUL) estimation applied to …

In the field of automation systems, networked control systems in critical context must be
temporally assess. To this end, the evaluation can be based on a reliable and well-defined …

Temporal performances (like response time) of distributed control systems must be
measurable for critical systems. The delay and reliability requirements require us to develop …

This paper presents an approach to computing a safe upper bound of the response time of
Distributed Control System (DCS). From a graphical model of live autonomous Timed Event …

This research deals with the temporal performance analysis of distributed networked
automation systems. It describes a new formal approach that estimates the maximum limit of …

As producer and designer of electricity production plants, Electricité de France must
demonstrate that the critical systems have a limited response time. Particularly in the nuclear …

This paper has introduced new formal approaches to model behaviours and control of a
class of uncertain timed discrete event systems represented by Timed Automata with Guards …

Railway transportation systems are safety-critical systems whose failures may result in
considerable losses (human, material, or environmental). To avoid train collision or …

In this paper, we are interested in the problem of the control of Discrete Event Systems
modeled basically by Timed Event Graphs (TEGs) subject to strict specific time constraints …

This paper discusses the modelling and time performance evaluation of Distributed Control
Systems (DCS). More precisely, we focus on the estimation of the response time and …