4693 search results - page 136 / 939 » Verifying Hybrid Systems |
102
Voted
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
A hybrid fingerprint identification system is presented in this paper. The system consists of several steps: fingerprint enhancement, minutiae extraction, texture feature extracti...
101
Voted
AUTOMATICA
2008
15 years 28 days ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
109
Voted
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
15 years 23 days ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
105
Voted
TROB
2002
15 years 13 days ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
In a hybrid peer-to-peer (P2P) system, flooding and DHT are both employed for content locating. The decision to use flooding or DHT largely depends on the population of desired da...