Discrete Event Dynamic Systems

In this paper, a type of graph, called an extremum timed extended reachability graph, is designed to abstract the temporal specifications and represent the feasible trajectories of time Petri nets. This graph improves the timed extended ...

This paper studies a scenario in which the occurrence of one or more events in a discrete event system is subject to external restrictions which may change unexpectedly during run-time. The system is modeled as a timed event graph (TEG) and, in ...

This paper extends the theory of diagnosability by investigating fault diagnosis in discrete event systems under sensor attacks using finite-state automata as models. It assumes that an attacker has compromised the communication channel between ...