1004 search results - page 13 / 201 » Modeling and Control - Flexible Structure Spacecraft |
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
IJSEKE
2011
12 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
BC
1999
13 years 7 months ago
1999
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...
WSC
1997
13 years 8 months ago
1997
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...