1004 search results - page 3 / 201 » Modeling and Control - Flexible Structure Spacecraft |
86
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
156
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
141
Voted
DAGSTUHL
2001
15 years 4 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
101
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
143
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...