The size and complexity of control software in aerospace systems is rapidly increasing, and
this development complicates its validation within the context of the overall spacecraft …

Industrial control systems have stringent safety and security demands. High safety
assurance can be obtained by specifying the system with possible faults and monitoring it to …

The integrity of complex dynamic systems often relies on the ability to detect, during
operation, the occurrence of faults, or, in other words, to diagnose the system. The feasibility …

ABSTRACT Temporal Epistemic Logic is used to reason about the evolution of knowledge
over time. A notable example is the temporal epistemic logic KL1, which is used to model …

We introduce and investigate a powerful hyper logical framework in the linear-time setting,
we call generalized HyperLTL with stuttering and contexts (GHyperLTL_SC for short) …

The foundations of formal models for epistemic and doxastic logics often rely on certain
logical aspects of modal logics such as S4 and S4. 2 and their semantics; however, the …

The system design process needs to cope with the increasing complexity and size of
systems, motivating the replacement of labor intensivemanual techniques with automated …

In this article we introduce the problem of timed pattern diagnosis in timed system and
propose a method to solve a sub-class of theses problems: the problem of timed pattern …

This paper investigates the problem of pattern diagnosis of systems modeled as bounded
labeled Petri nets that extends the diagnosis problem on single fault events to more complex …

Diagnosability is a fundamental problem of partial observable systems in safety-critical
design. Diagnosability verification checks if the observable part of system is sufficient to …