4693 search results - page 139 / 939 » Verifying Hybrid Systems |
IWSSD
2000
IEEE
15 years 5 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...
118
click to vote
IJCSA
2007
15 years 22 days 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...
120
click to vote
ATVA
2006
Springer
15 years 4 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...
77
Voted
AUTOMATICA
1999
15 years 15 days 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...
87
Voted
IROS
2008
IEEE
15 years 7 months 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....