4434 search results - page 140 / 887 » On the Composition of Hybrid Systems |
121
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
165
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
175
click to vote
IJCSA
2007
15 years 6 months ago
2007
The problem of task assignment in heterogeneous computing systems has been studied for many years with many variations. We have developed a new hybrid approximation algorithm. The...
151
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
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...
193
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
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...