Low-authority control synthesis for large space structures

The control of vibrations of large space structures by distributed sensors and actuators is studied. A procedure is developed for calculating the feedback loop gains required to achieve specified amounts of damping. For moderate damping (Low Authority Control) the procedure is purely algebraic, but it can be applied iteratively when larger amounts of damping are required and is generalized for arbitrary time invariant systems

Gyrodampers for large space structures

The problem of controlling the vibrations of a large space structures by the use of actively augmented damping devices distributed throughout the structure is addressed. The gyrodamper which consists of a set of single gimbal control moment gyros which are actively controlled to extract the structural vibratory energy through the local rotational deformations of the structure, is described and analyzed. Various linear and nonlinear dynamic simulations of gyrodamped beams are shown, including results on self-induced vibrations due to sensor noise and rotor imbalance. The complete nonlinear dynamic equations are included. The problem of designing and sizing a system of gyrodampers for a given structure, or extrapolating results for one gyrodamped structure to another is solved in terms of scaling laws. Novel scaling laws for gyro systems are derived, based upon fundamental physical principles, and various examples are given

Design optimization of high-performance electrodynamic actuators for use in a cryogenically cooled telescope

An analysis and optimization of a mirror-actuator system for large excursion/high-frequency chopping is developed. The results of this analysis, combined with laboratory measurements of a prototype actuator operating at cryogenic temperatures, allow performance predictions to be made for a real system utilizing this technology

Subshifts, MSO Logic, and Collapsing Hierarchies

We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of the infinite plane. We present a natural family of quantifier alternation hierarchies, and show that they all collapse to the third level. In particular, this solves an open problem of [Jeandel & Theyssier 2013]. The results are in stark contrast with picture languages, where such hierarchies are usually infinite.Comment: 12 pages, 5 figures. To appear in conference proceedings of TCS 2014, published by Springe

Pointing and control system design study for the space infrared telescope facility (SIRTF)

The design and performance of pointing and control systems for two space infrared telescope facility vehicles were examined. The need for active compensation of image jitter using the secondary mirror or other optical elements was determined. In addition, a control system to allow the telescope to perform small angle slews, and to accomplish large angle slews at the rate of 15 deg per minute was designed. Both the 98 deg and the 28 deg inclination orbits were examined, and spacecraft designs were developed for each. The results indicate that active optical compensation of line-of-sight errors is not necessary if the system is allowed to settle for roughly ten seconds after a slew maneuver. The results are contingent on the assumption of rigid body dynamics, and a single structural mode between spacecraft and telescope. Helium slosh for a half full 4000 liter tank was analyzed, and did not represent a major control problem

Resolution-enhanced Mapping Spectrometer

A familiar mapping spectrometer implementation utilizes two dimensional detector arrays with spectral dispersion along one direction and spatial along the other. Spectral images are formed by spatially scanning across the scene (i.e., push-broom scanning). For imaging grating and prism spectrometers, the slit is perpendicular to the spatial scan direction. For spectrometers utilizing linearly variable focal-plane-mounted filters the spatial scan direction is perpendicular to the direction of spectral variation. These spectrometers share the common limitation that the number of spectral resolution elements is given by the number of pixels along the spectral (or dispersive) direction. Resolution enhancement by first passing the light input to the spectrometer through a scanned etalon or Michelson is discussed. Thus, while a detector element is scanned through a spatial resolution element of the scene, it is also temporally sampled. The analysis for all the pixels in the dispersive direction is addressed. Several specific examples are discussed. The alternate use of a Michelson for the same enhancement purpose is also discussed. Suitable for weight constrained deep space missions, hardware systems were developed including actuators, sensor, and electronics such that low-resolution etalons with performance required for implementation would weigh less than one pound

Development of a motorized cryovalve for the control of superfluid liquid helium

Recent advances in the technology of infrared detectors have made possible a wide range of scientific measurements and investigations. One of the requirements for the use of sensitive IR detectors is that the entire instrument be cooled to temperatures approaching absolute zero. The cryogenic cooling system for these instruments is commonly designed as a large dewar containing liquid helium which completely surrounds the apparatus. Thus, there is a need for a remotely controlled, motorized cryovalve that is simple, reliable, and compact and can operate over extended periods of time in cryo-vac conditions. The design, development, and test of a motorized cryovalve with application to a variety of cryogenic systems currently under development is described

Cellular automata on regular rooted trees

We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts

Segment alignment control system

The segmented primary mirror for the LDR will require a special segment alignment control system to precisely control the orientation of each of the segments so that the resulting composite reflector behaves like a monolith. The W.M. Keck Ten Meter Telescope will utilize a primary mirror made up of 36 actively controlled segments. Thus the primary mirror and its segment alignment control system are directly analogous to the LDR. The problems of controlling the segments in the face of disturbances and control/structures interaction, as analyzed for the TMT, are virtually identical to those for the LDR. The two systems are briefly compared

Experimental Verification of Identification Algorithms for Control of Flexible Structures

An on going simple laboratory experiment, referred to as the Beam Control Experiment (BCE) is described which has the essential features of a large flexible structure. The experiment is used to develop and evaluate identification and control algorithms which lock promising in the active control of high performance large space structures. Some results on the maximum likelihood identification of the parameters of the beam actuator sensor assembly from experimental data is presented