20126 search results - page 274 / 4026 » Timed Transition Systems |
100
Voted
DEDS
2007
15 years 4 months ago
2007
This paper deals with just in time control of (max, +)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constr...
112
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
78
Voted
JGS
2011
14 years 11 months ago
2011
The aim of this paper is to study the dynamics of commuting system of two insular regions of Italy, Sardinia and Sicily, inspected as complex networks. The authors refer to a thir...
201
click to vote
FAABS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
169
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we consider the time-slotted ALOHA packetized multiple-access system where the transmission channels obey i.i.d (independent identically distributed) Rayleigh fa...