1004 search results - page 3 / 201 » Modeling and Control - Flexible Structure Spacecraft |
CDC
2008
IEEE
14 years 7 days ago
2008
IEEE
KBSE
2000
IEEE
13 years 10 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...
DAGSTUHL
2001
13 years 7 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...
HICSS
1999
IEEE
13 years 10 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...
ECBS
2009
IEEE
14 years 18 days 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...