188 search results - page 14 / 38 » A probabilistic analysis of diagnosability in discrete event... |
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
TCS
2002
13 years 7 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
ER
2003
Springer
14 years 24 days ago
2003
Springer
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...