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 253 records · Page 14
All sourcesNASA NTRSDOE OSTI
NASA NTRS1981

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.↗
DOE OSTI2024

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↗
NASA NTRS1986

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.↗
NASA NTRS1993

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.↗
NASA NTRS1982

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.↗
NASA NTRS1979

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.↗
NASA NTRS1979

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.↗
NASA NTRS1984

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.↗
NASA NTRS1975

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.↗
NASA NTRS1990

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.↗
NASA NTRS1973

A constrained discrete optimal guidance strategy for low-thrust space flight

A low-thrust guidance algorithm suitable for operational use is formulated. Using linear stochastic control theory, a linear feedback control law is obtained for a minimum terminal miss performance criterion. The control variables are restricted to constant values over specified time intervals and are explicitly limited. Both fixed and variable time-of-arrival guidance are considered. Guidance equations are presented in deterministic (operational) and in statistical form; and computational procedures necessary for implementation are outlined. The performance of the guidance algorithm is evaluated by applying it to the approach phase of the 1980 rendezvous mission with the comet Encke.

Jacobson, R. A.↗
NASA NTRS1976

Control of propulsion systems for supersonic cruise aircraft

The propulsion control requirements of supersonic aircraft are presented. Integration of inlet, engine, and airframe controls is discussed. The application of recent control theory developments to propulsion control design is described. Control component designs for achieving reliable, responsive propulsion control are also discussed.

Hiller, K. W.↗
NASA NTRS1977

A Theory of Control for a Class of Electronic Power Processing Systems: Energy-Storage DC-To-DC Converters

An analytically derived approach to the control of energy-storage dc-to-dc converters, which enables improved system performance and an extensive understanding of the manner in which this improved performance is accomplished, is presented. The control approach is derived from a state-plane analysis of dc-to-dc converter power stages which enables a graphical visualization of the movement of the system state during both steady state and transient operation. This graphical representation of the behavior of dc-to-dc converter systems yields considerable qualitative insight into the cause and effect relationships which exist between various commonly used converter control functions and the system performance which results from them.

Burns, W. W., III↗
NASA NTRS1985

Vibration control of rotor shaft

Suppression of flexural forced vibration or the self-excited vibration of a rotating shaft system not by passive elements but by active elements is described. The distinctive feature of this method is not to dissipate the vibration energy but to provide the force cancelling the vibration displacement and the vibration velocity through the bearing housing in rotation. Therefore the bearings of this kind are appropriately named Active Control Bearings. A simple rotor system having one disk at the center of the span on flexible supports is investigated in this paper. The actuators of the electrodynamic transducer are inserted in the sections of the bearing housing. First, applying the optimal regulator of optimal control theory, the flexural vibration control of the rotating shaft and the vibration control of support systems are performed by the optimal state feedback system using these actuators. Next, the quasi-modal control based on a modal analysis is applied to this rotor system. This quasi-modal control system is constructed by means of optimal velocity feedback loops. The differences between optimal control and quasi-modal control are discussed and their merits and demerits are made clear. Finally, the experiments are described concerning only the optimal regulator method.

Nonami, K.↗
NASA NTRS1984

Development of an advanced pitch active control system for a wide body jet aircraft

An advanced PACS control law was developed for a commercial wide-body transport (Lockheed L-1011) by using modern control theory. Validity of the control law was demonstrated by piloted flight simulation tests on the NASA Langley visual motion simulator. The PACS design objective was to develop a PACS that would provide good flying qualities to negative 10 percent static stability margins that were equivalent to those of the baseline aircraft at a 15 percent static stability margin which is normal for the L-1011. Also, the PACS was to compensate for high-Mach/high-g instabilities that degrade flying qualities during upset recoveries and maneuvers. The piloted flight simulation tests showed that the PACS met the design objectives. The simulation demonstrated good flying qualities to negative 20 percent static stability margins for hold, cruise and high-speed flight conditions. Analysis and wind tunnel tests performed on other Lockheed programs indicate that the PACS could be used on an advanced transport configuration to provide a 4 percent fuel savings which results from reduced trim drag by flying at negative static stability margins.

Guinn, Wiley A.↗