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

Adaptive Resonance: An Emerging Neural Theory of Cognition

Adaptive resonance is a theory of cognitive information processing which has been realized as a family of neural network models. In recent years, these models have evolved to incorporate new capabilities in the cognitive, neural, computational, and technological domains. Minimal models provide a conceptual framework, for formulating questions about the nature of cognition; an architectural framework, for mapping cognitive functions to cortical regions; a semantic framework, for precisely defining terms; and a computational framework, for testing hypotheses. These systems are here exemplified by the distributed ART (dART) model, which generalizes localist ART systems to allow arbitrarily distributed code representations, while retaining basic capabilities such as stable fast learning and scalability. Since each component is placed in the context of a unified real-time system, analysis can move from the level of neural processes, including learning laws and rules of synaptic transmission, to cognitive processes, including attention and consciousness. Local design is driven by global functional constraints, with each network synthesizing a dynamic balance of opposing tendencies. The self-contained working ART and dART models can also be transferred to technology, in areas that include remote sensing, sensor fusion, and content-addressable information retrieval from large databases.Office of Naval Research and the defense Advanced Research Projects Agency (N00014-95-1-0409, N00014-1-95-0657); National Institutes of Health (20-316-4304-5

A Refinement Calculus for Logic Programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.Comment: 36 pages, 3 figures. To be published in Theory and Practice of Logic Programming (TPLP

Signal and System Design for Wireless Power Transfer : Prototype, Experiment and Validation

A new line of research on communications and signals design for Wireless Power Transfer (WPT) has recently emerged in the communication literature. Promising signal strategies to maximize the power transfer efficiency of WPT rely on (energy) beamforming, waveform, modulation and transmit diversity, and a combination thereof. To a great extent, the study of those strategies has so far been limited to theoretical performance analysis. In this paper, we study the real over-the-air performance of all the aforementioned signal strategies for WPT. To that end, we have designed, prototyped and experimented an innovative radiative WPT architecture based on Software-Defined Radio (SDR) that can operate in open-loop and closed-loop (with channel acquisition at the transmitter) modes. The prototype consists of three important blocks, namely the channel estimator, the signal generator, and the energy harvester. The experiments have been conducted in a variety of deployments, including frequency flat and frequency selective channels, under static and mobility conditions. Experiments highlight that a channeladaptive WPT architecture based on joint beamforming and waveform design offers significant performance improvements in harvested DC power over conventional single-antenna/multiantenna continuous wave systems. The experimental results fully validate the observations predicted from the theoretical signal designs and confirm the crucial and beneficial role played by the energy harvester nonlinearity.Comment: Accepted to IEEE Transactions on Wireless Communication

A unified smith predictor approach for power system damping control design using remote signals

Published versio