Search NASA⌕ Search

SEARCH · Search NASA

Results for “Control theory”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

Proceedings of the Workshop on Identification and Control of Flexible Space Structures, Volume 3

The results of a workshop on identification and control of flexible space structures are reported. This volume deals mainly with control theory and methodologies as they apply to space stations and large antennas. Integration and dynamics and control experimental findings are reported. Among the areas of control theory discussed were feedback, optimization, and parameter identification.

Rodriguez, G.↗

Analytic Theory and Control of the Motion of Spinning Rigid Bodies

Numerical simulations are often resorted to, in order to understand the attitude response and control characteristics of a rigid body. However, this approach in performing sensitivity and/or error analyses may be prohibitively expensive and time consuming, especially when a large number of problem parameters are involved. Thus, there is an important role for analytical models in obtaining an understanding of the complex dynamical behavior. In this dissertation, new analytic solutions are derived for the complete attitude motion of spinning rigid bodies, under minimal assumptions. Hence, we obtain the most general solutions reported in the literature so far. Specifically, large external torques and large asymmetries are included in the problem statement. Moreover, problems involving large angular excursions are treated in detail. A new tractable formulation of the kinematics is introduced which proves to be extremely helpful in the search for analytic solutions of the attitude history of such kinds of problems. The main utility of the new formulation becomes apparent however, when searching for feedback control laws for stabilization and/or reorientation of spinning spacecraft. This is an inherently nonlinear problem, where standard linear control techniques fail. We derive a class of control laws for spin axis stabilization of symmetric spacecraft using only two pairs of gas jet actuators. Practically, this could correspond to a spacecraft operating in failure mode, for example. Theoretically, it is also an important control problem which, because of its difficulty, has received little, if any, attention in the literature. The proposed control laws are especially simple and elegant. A feedback control law that achieves arbitrary reorientation of the spacecraft is also derived, using ideas from invariant manifold theory. The significance of this research is twofold. First, it provides a deeper understanding of the fundamental behavior of rigid bodies subject to body-fixed torques. Assessment of the analytic solutions reveals that they are very accurate; for symmetric bodies the solutions of Euler's equations of motion are, in fact, exact. Second, the results of this research have a fundamental impact on practical scientific and mechanical applications in terms of the analysis and control of all finite-sized rigid bodies ranging from nanomachines to very large bodies, both man made and natural. After all, Euler's equations of motion apply to all physical bodies, barring only the extreme limits of quantum mechanics and relativity.

Tsiotras, Panagiotis↗

Research Program for Vibration Control in Structures

Purpose of program to apply control theory to large space structures (LSS's) and design practical compensator for suppressing vibration. Program models LSS as distributed system. Control theory applied to produce compensator described by functional gains and transfer functions. Used for comparison of robustness of low- and high-order compensators that control surface vibrations of realistic wrap-rib antenna. Program written in FORTRAN for batch execution.

Mingori, D. L.↗

Proceedings of the 8th Annual Conference on Manual Control

The volume presents recent developments in the field of manual control theory and applications. The papers give analytical methods as well as examples of the important interplay between man and machine, such as how man controls and stabilizes machine dynamics, and how machines extend man's capability. Included in the broad range of subjects are procedures to evaluate and identify display systems, controllers, manipulators, human operators, aircraft, and non-flying vehicles. Of particular interest is the continuing trend of applying control theory to problems in medicine and psychology, as well as to problems in vehicle control.

Pew, R. W.↗

A variable structure approach to robust control of VTOL aircraft

This paper examines the application of variable structure control theory to the design of a flight control system for the AV-8A Harrier in a hover mode. The objective in variable structure design is to confine the motion to a subspace of the total state space. The motion in this subspace is insensitive to system parameter variations and external disturbances that lie in the range space of the control. A switching type of control law results from the design procedure. The control system was designed to track a vector velocity command defined in the body frame. For comparison purposes, a proportional controller was designed using optimal linear regulator theory. Both control designs were first evaluated for transient response performance using a linearized model, then a nonlinear simulation study of a hovering approach to landing was conducted. Wind turbulence was modeled using a 1052 destroyer class air wake model.

Calise, A. J.↗

A variable structure approach to robust control of VTOL aircraft

This paper examines the application of variable structure control theory to the design of a flight control system for the AV-8A Harrier in a hover mode. The objective in variable structure design is to confine the state trajectories to a subspace of the total state space. The motion in this subspace is insensitive to system parameter variations and external disturbances that lie in the range space of the control. A switching type of control law results from the design procedure. The control system was designed to track a vector-valued velocity command. For comparison, a proportional controller was designed using optimal linear regulator theory. Both controllers were evaluated for their transient response performance using a linear model; then a nonlinear simulation study of a hovering approach to landing was conducted. The variable structure controller outperformed its linear counterpart in the presence of wind disturbances and plant parameter uncertainties afforded by the simulation.

Calise, A. J.↗

Control problems in Autonomous Life Support Systems

Autonomous Life Support Systems (ALSS) are envisioned for long range permanence in space. ALSS would require little or no input of matter for extended periods of time. The design of such a system involves an understanding of both ecological principles and control theory of nonlinear, ill-defined systems. A distinction is drawn between ecosystem survival strategies and the aims of control theory. Experimental work is under way to help combine the two approaches.

Colombano, S. P.↗

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗

Unified control/structure design and modeling research

To demonstrate the applicability of the control theory for distributed systems to large flexible space structures, research was focused on a model of a space antenna which consists of a rigid hub, flexible ribs, and a mesh reflecting surface. The space antenna model used is discussed along with the finite element approximation of the distributed model. The basic control problem is to design an optimal or near-optimal compensator to suppress the linear vibrations and rigid-body displacements of the structure. The application of an infinite dimensional Linear Quadratic Gaussian (LQG) control theory to flexible structure is discussed. Two basic approaches for robustness enhancement were investigated: loop transfer recovery and sensitivity optimization. A third approach synthesized from elements of these two basic approaches is currently under development. The control driven finite element approximation of flexible structures is discussed. Three sets of finite element basic vectors for computing functional control gains are compared. The possibility of constructing a finite element scheme to approximate the infinite dimensional Hamiltonian system directly, instead of indirectly is discussed.

Mingori, D. L.↗

Robust nonlinear control of vectored thrust aircraft

An interdisciplinary program in robust control for nonlinear systems with applications to a variety of engineering problems is outlined. Major emphasis will be placed on flight control, with both experimental and analytical studies. This program builds on recent new results in control theory for stability, stabilization, robust stability, robust performance, synthesis, and model reduction in a unified framework using Linear Fractional Transformations (LFT's), Linear Matrix Inequalities (LMI's), and the structured singular value micron. Most of these new advances have been accomplished by the Caltech controls group independently or in collaboration with researchers in other institutions. These recent results offer a new and remarkably unified framework for all aspects of robust control, but what is particularly important for this program is that they also have important implications for system identification and control of nonlinear systems. This combines well with Caltech's expertise in nonlinear control theory, both in geometric methods and methods for systems with constraints and saturations.

Doyle, John C.↗

Robust Kalman filter design for active flutter suppression systems

Additional insight is provided into the use of the Doyle-Stein (1979, 1981) technique in aeroelastic control problems by examining the application of the method to a flutter control problem. The system to be controlled consists of a full-size wind tunnel model of a wing, plus an aileron, an actuator, and an accelerometer used to sense the motion of the wing. A full-state feedback controller was designed using linear optimal control theory, and a Kalman filter was used in the feedback loop for state estimation. The filter design procedure is explained along with that to improve closed-loop properties of the system. The locus of the poles of the filter is examined as a scalar design parameter is varied. The Doyle-Stein design procedure is shown to substantially improve the stability properties of an active flutter controller designed using the linear quadratic Gaussian control theory.

Garrard, W. L.↗

Identification and dual adaptive control of a turbojet engine

The objective of this paper is to utilize the design methods of modern control theory to realize a dual-adaptive feedback control unit for a highly nonlinear single spool airbreathing turbojet engine. Using a very detailed and accurate simulation of the nonlinear engine as the data source, linear operating point models of unspecified dimension are identified. Feedback control laws are designed at each operating point for a prespecified set of sampling rates using sampled-data output regulator theory. The control system sampling rate is determined by an adaptive sampling algorithm in correspondence with turbojet engine performance. The result is a dual-adaptive control law that is functionally dependent upon the sampling rate selected and environmental operating conditions. Simulation transients demonstrate the utility of the dual-adaptive design to improve on-board computer utilization while maintaining acceptable levels of engine performance.

Merrill, W.↗

Identification and dual adaptive control of a turbojet engine

The objective of this paper is to utilize the design methods of modern control theory to realize a 'dual-adaptive' feedback control unit for a highly non-linear single spool airbreathing turbojet engine. Using a very detailed and accurate simulation of the non-linear engine as the data source, linear operating point models of unspecified dimension are identified. Feedback control laws are designed at each operating point for a prespecified set of sampling rates using sampled-data output regulator theory. The control system sampling rate is determined by an adaptive sampling algorithm in correspondence with turbojet engine performance. The result is a 'dual-adpative' control law that is functionally dependent upon the sampling rate selected and environmental operating conditions. Simulation transients demonstrate the utility of the dual-adaptive design to improve on-board computer utilization while maintaining acceptable levels of engine performance.

Merrill, W.↗

Flight test results for the Digital Integrated Automatic Landing Systems (DIALS): A modern control full-state feedback design

The Digital Integrated Automatic Landing System (DIALS) is discussed. The DIALS is a modern control theory design performing all the maneuver modes associated with current autoland systems: localizer capture and track, glideslope capture and track, decrab, and flare. The DIALS is an integrated full-state feedback system which was designed using direct-digital methods. The DIALS uses standard aircraft sensors and the digital Microwave Landing System (MLS) signals as measurements. It consists of separately designed longitudinal and lateral channels although some cross-coupling variables are fed between channels for improved state estimates and trajectory commands. The DIALS was implemented within the 16-bit fixed-point flight computers of the ATOPS research aircraft, a small twin jet commercial transport outfitted with a second research cockpit and a fly-by-wire system. The DIALS became the first modern control theory design to be successfully flight tested on a commercial-type aircraft. Flight tests were conducted in late 1981 using a wide coverage MLS on Runway 22 at Wallops Flight Center. All the modes were exercised including the capture and track of steep glidescopes up to 5 degrees.

Hueschen, R. M.↗

Analysis of pilot-aircraft performance and reliability via the application of man-machine models

The present approach to analytic modeling, which utilizes human response theory together with modern control theory, is discussed. Analytic modeling of human performance has progressed to the point where it can be used with some confidence in the design and performance analysis of man-machine systems. An example of its use in helping design a flight director for the hover control of a VTOL vehicle is described. How the method could be used for analysis of human response to system failure is sketched.

Kleinman, D. L.↗

Exact Linearization For Control Of Robots

Equivalence of several theoretical approaches discussed. Report comments on application of geometric control theory (GCT), resolved-acceleration control (RAC), operational-space control (OSC), and nonlinear-decoupling theory (NDT) to remote manipulator consisting of multiple rigid links. Principal concern, search for nonlinear feedback law making end effector behave, for purposes of control, as though its dynamics linear and decoupled.

Kreutz, Kenneth K.↗