1004 search results - page 47 / 201 » Modeling and Control - Flexible Structure Spacecraft |
EUROGP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
111
click to vote
TSMC
1998
14 years 11 months ago
1998
—This paper develops a decentralized adaptive fuzzy control scheme for robot manipulators via a combination of genetic algorithm and gradient method. The controller for each link...
AE
2003
Springer
15 years 4 months ago
2003
Springer
We present quantitative models for the selection pressure on cellular evolutionary algorithms structured as a ring of cells. We obtain results for synchronous and asynchronous cell...
AAAI
1998
15 years 20 days ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
AI
2005
Springer
14 years 11 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...