18 search results - page 1 / 4 » Dynamic Observers for the Synthesis of Opaque Systems |
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Dynamic observers can switch sensors on or off, thus ...
TASE
2007
IEEE
14 years 5 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
EVOW
2005
Springer
14 years 4 months ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...