1004 search results - page 113 / 201 » Modeling and Control - Flexible Structure Spacecraft |
152
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
121
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
144
click to vote
TIT
2008
15 years 4 months ago
2008
We consider the problem of several users transmitting packets to a base station, and study an optimal scheduling formulation involving three communication layers, namely, the mediu...
247
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
140
click to vote
ICSR
2004
Springer
15 years 9 months ago
2004
Springer
Analyzing commonalities and variabilities among products of a product line is an essential activity for product line asset development. A feature-oriented approach to commonality a...