Sciweavers

2377 search results - page 85 / 476
» Hybrid Systems in TLA
Sort
View
AUTOMATICA
2007
88views more  AUTOMATICA 2007»
14 years 11 months ago
Design of hybrid controller for dynamic positioning from calm to extreme sea conditions
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
Trong Dong Nguyen, Asgeir J. Sørensen, Ser ...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 2 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
14 years 10 months ago
Controllers for reachability specifications for hybrid systems
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...
John Lygeros, Claire Tomlin, Shankar Sastry
75
Voted
IROS
2008
IEEE
94views Robotics» more  IROS 2008»
15 years 5 months ago
Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
Satoshi Hoshino, Jun Ota
TMM
2002
113views more  TMM 2002»
14 years 10 months ago
Accommodating hybrid retrieval in a comprehensive video database management system
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...
Shermann S.-M. Chan, Qing Li, Yi Wu, Yueting Zhuan...