172 search results - page 6 / 35 » Enforcing synchronous system properties on top of timed syst... |
FORMATS
2008
Springer
13 years 8 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
TWC
2008
13 years 7 months ago
2008
Abstract-- This paper addresses preamble-based low complexity synchronization, channel estimation and equalization for Zero-padded (ZP) MB-OFDM based UWB systems. The proposed sync...
FORMATS
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
SIP
2003
13 years 8 months ago
2003
We present a novel maximum-likelihood (ML) joint frame synchronization and carrier phase ambiguity resolution algorithm for coded systems that exploits the code properties by acce...
AUTOMATICA
2007
13 years 7 months ago
2007
— We consider a formation control system where individual systems are controlled by a path-following design and the path variables are to be synchronized. We first show a passiv...