A discrete event system is said to be critically observable if the observer can always
determine whether the current state necessarily belongs to a set of critical states. This article …

Hybrid systems, that is, heterogeneous systems that include discrete and continuous time
subsystems, have been used to model applications in automotive such as engine, brake …

A time Petri net is said to be critically observable at a given time instant if the markings
consistent with any observation at the time instant are included either in the set of critical …

In many applications, security is a serious issue due to the high risk of cyber-attacks. An
adversary can cause severe damage by providing wrong information about the system and …

In this paper, a general framework is proposed for the analysis and characterization of
observability and diagnosability of finite state systems. Observability corresponds to the …

This article focuses on the issue of checking critical observability for labeled Petri nets.
Critical observability is a property related to the safety concern of cyber-physical systems …

In this article, we deal with state estimation of timed discrete event systems that are modeled
by max-plus automata (MPAs), where only some events are observable. For a given MPA, a …

Motivated by safety-critical applications in cyber–physical systems, in this paper we study
the notion of critical observability and design of observers for networks of Finite State …

The traditional critical observability of FSMs refers to the possibility of detecting if the current
state of an FSM belongs to a critical set for any input. In practical applications, the input is …

The focus of this paper is on the analysis of initial discrete state distinguishability notions for
switching systems, in a discrete time setting. Moreover, the relationship between initial …