This paper introduces T-detectability, which extends detectability to timed discrete event systems within the context of communication networks. We propose network T-detectability address challenges posed by observation delays and losses in environments. Our approach involves construction an augmented automaton model extended calculate state estimates. present a method for checking T-detectabil...

Parallel or Distributed Discrete Event Simulation (PDES) refers to the concurrent execution of a single discrete event simulation application on a parallel or distributed computing system. Most available PDES implementations provide user level library support for writing distributed simulation applications. We discuss how OS support can be designed to facilitate optimistic PDES of large, comple...

Real-time systems modeling and verification is a complex task. In many cases, formal methods have been employed to deal with the complexity of these systems, but checking those models is usually unfeasible. Modeling and simulation methods introduce a means of validating these model’s specifications. In particular, Discrete Event System Specification (DEVS) models can be used for this purpose. H...

Distributed discrete event systems in which agents or local sites are required to communicate in order to perform some speci ed monitoring and control tasks are considered Each agent is modeled as a nite state machine that must be able to distinguish between its states to perform some required task To help it disambiguate states an agent uses a combination of direct observation obtained from se...

This paper deals with distributed discrete-event systems, in which agents (or local sites) are required to communicate in order to perform some specified tasks. Associated with each agent is a finite-state automaton that captures the required tasks to be performed at that site. The problem considered is that each agent must be able to distinguish between the states of its automaton. To help it ...

This paper introduces a new numerical method for integration of ordinary differential equations. Following the idea of quantization based integration, i.e., replacing the time discretization by state quantization, this new method performs a third order approximation allowing to achieve better accuracy than their first and second order predecessors. It is shown that the new algorithm satisfies t...