527 search results - page 43 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
FMCAD
2004
Springer
14 years 12 days ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
SOSP
1997
ACM
13 years 10 months ago
1997
ACM
This paper presents HAC, a novel technique for managing the client cache in a distributed, persistent object storage system. HAC is a hybrid between page and object caching that c...