458 search results - page 12 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
PARA
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
UAI
2008
13 years 9 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
MCSS
2002
Springer
13 years 7 months ago
2002
Springer
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of...
AUTOMATICA
2008
13 years 7 months ago
2008
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...