4434 search results - page 141 / 887 » On the Composition of Hybrid Systems |
130
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
173
click to vote
QEST
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
153
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
170
click to vote
TMM
2002
15 years 6 months ago
2002
A comprehensive video retrieval system should be able to accommodate and utilize various (complementary) description data in facilitating effective retrieval. In this paper, we ad...
153
click to vote
SOSP
1997
ACM
15 years 7 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...