This document summarizes a paper presented at the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space. The paper discusses using discrete models and reasoning techniques for diagnosis and control of hybrid systems that have both continuous and discrete characteristics. It presents an example spacecraft propulsion system that was well-suited to discrete modeling approaches. However, it also discusses another domain that was more challenging to model discretely due to additional complexities. Discrete models have computational advantages but not all continuous systems can be accurately abstracted this way.
FUZZY LOGIC Control of CONTINUOUS STIRRED TANK REACTOR ProfDrDuraidAhmed
This document describes the use of fuzzy logic control for a continuous stirred tank reactor (CSTR). It begins with an abstract that summarizes modeling the CSTR system using mass and energy balances, and designing a fuzzy logic controller to control the reactor temperature. It then provides more details on mathematical modeling of the CSTR, the basic operations of fuzzy set theory, and the design of the fuzzy logic controller. The controller design involves choosing membership functions to classify the error signal and change in error, then developing fuzzy rules relating the error terms to the control output. Simulation results showed the fuzzy logic controller provided better tracking and regulation than a traditional PID controller.
This document discusses MySQL 5.7 features for working with JSON data, including examples of creating JSON data, adding, removing, updating, appending, and indexing JSON data. It uses a scenario of storing temperature readings from smart thermostats to demonstrate how to populate JSON documents, insert and remove fields, update values, append new capabilities, and merge documents using various JSON functions.
This document discusses time domain analysis of control systems. It defines the time response, transient response, and steady state response of a system. The time response consists of the transient response, which goes to zero over time, and the steady state response after the transient dies out. Steady state error occurs if the steady state response does not match the input. Common test signals used to analyze time response are step functions, ramp functions, parabolic functions, and impulse functions. Their Laplace transforms are also provided.
Power system static state estimation using Kalman filter algorithmPower System Operation
State estimation of power system is an important tool for operation, analysis and forecasting of electric
power system. In this paper, a Kalman filter algorithm is presented for static estimation of power system state
variables. IEEE 14 bus system is employed to check the accuracy of this method. Newton Raphson load flow study
is first carried out on our test system and a set of data from the output of load flow program is taken as measurement
input. Measurement inputs are simulated by adding Gaussian noise of zero mean. The results of Kalman estimation
are compared with traditional Weight Least Square (WLS) method and it is observed that Kalman filter algorithm is
numerically more efficient than traditional WLS method. Estimation accuracy is also tested for presence of parametric
error in the system. In addition, numerical stability of Kalman filter algorithm is tested by considering inclusion of
zero mean errors in the initial estimates.
This learning object focuses on the topics of simple harmonic motion and energy conservation in horizontal mass-spring systems. It is in the form of a word problem that has two parts that each focus on one of the two topics above.
This document discusses time domain analysis of control systems. It defines the time response, transient response, and steady state response of a system. The time response consists of the transient response, which goes to zero over time, and the steady state response after the transient dies out. Steady state error occurs if the steady state response does not match the input. Common test signals used to analyze time response are step functions, ramp functions, parabolic functions, and impulse functions. Their Laplace transforms are also provided.
Cosmic Adventure 5.3 Frames in Motion in RelativityStephen Kwong
The Einstein way of transforming time and location by the Lorentz factor, marking the departure from Newtonian physics. But why is it so is not explained.
Analysis of Reactivity Accident for Control Rods Withdrawal at the Thermal Re...ijrap
In the present work, the point kinetics equations are solved numerically using the stiffness confinement
method (SCM). The solution is applied to the kinetics equations in the presence of different types of
reactivities, and is compared with other methods. This method is, also used to analyze reactivity accidents
in thermal reactor at start-up, and full power conditions for control rods withdrawal. Thermal reactor
(HTR-M) is fuelled by uranium-235. This analysis presents the effect of negative temperature feedback, and
the positive reactivity of control rods withdrawal. Power, temperature pulse, and reactivity following the
reactivity accidents are calculated using programming language (FORTRAN), and (MATLAB) Codes. The
results are compared with previous works and satisfactory agreement is found.
FUZZY LOGIC Control of CONTINUOUS STIRRED TANK REACTOR ProfDrDuraidAhmed
This document describes the use of fuzzy logic control for a continuous stirred tank reactor (CSTR). It begins with an abstract that summarizes modeling the CSTR system using mass and energy balances, and designing a fuzzy logic controller to control the reactor temperature. It then provides more details on mathematical modeling of the CSTR, the basic operations of fuzzy set theory, and the design of the fuzzy logic controller. The controller design involves choosing membership functions to classify the error signal and change in error, then developing fuzzy rules relating the error terms to the control output. Simulation results showed the fuzzy logic controller provided better tracking and regulation than a traditional PID controller.
This document discusses MySQL 5.7 features for working with JSON data, including examples of creating JSON data, adding, removing, updating, appending, and indexing JSON data. It uses a scenario of storing temperature readings from smart thermostats to demonstrate how to populate JSON documents, insert and remove fields, update values, append new capabilities, and merge documents using various JSON functions.
This document discusses time domain analysis of control systems. It defines the time response, transient response, and steady state response of a system. The time response consists of the transient response, which goes to zero over time, and the steady state response after the transient dies out. Steady state error occurs if the steady state response does not match the input. Common test signals used to analyze time response are step functions, ramp functions, parabolic functions, and impulse functions. Their Laplace transforms are also provided.
Power system static state estimation using Kalman filter algorithmPower System Operation
State estimation of power system is an important tool for operation, analysis and forecasting of electric
power system. In this paper, a Kalman filter algorithm is presented for static estimation of power system state
variables. IEEE 14 bus system is employed to check the accuracy of this method. Newton Raphson load flow study
is first carried out on our test system and a set of data from the output of load flow program is taken as measurement
input. Measurement inputs are simulated by adding Gaussian noise of zero mean. The results of Kalman estimation
are compared with traditional Weight Least Square (WLS) method and it is observed that Kalman filter algorithm is
numerically more efficient than traditional WLS method. Estimation accuracy is also tested for presence of parametric
error in the system. In addition, numerical stability of Kalman filter algorithm is tested by considering inclusion of
zero mean errors in the initial estimates.
This learning object focuses on the topics of simple harmonic motion and energy conservation in horizontal mass-spring systems. It is in the form of a word problem that has two parts that each focus on one of the two topics above.
This document discusses time domain analysis of control systems. It defines the time response, transient response, and steady state response of a system. The time response consists of the transient response, which goes to zero over time, and the steady state response after the transient dies out. Steady state error occurs if the steady state response does not match the input. Common test signals used to analyze time response are step functions, ramp functions, parabolic functions, and impulse functions. Their Laplace transforms are also provided.
Cosmic Adventure 5.3 Frames in Motion in RelativityStephen Kwong
The Einstein way of transforming time and location by the Lorentz factor, marking the departure from Newtonian physics. But why is it so is not explained.
Analysis of Reactivity Accident for Control Rods Withdrawal at the Thermal Re...ijrap
In the present work, the point kinetics equations are solved numerically using the stiffness confinement
method (SCM). The solution is applied to the kinetics equations in the presence of different types of
reactivities, and is compared with other methods. This method is, also used to analyze reactivity accidents
in thermal reactor at start-up, and full power conditions for control rods withdrawal. Thermal reactor
(HTR-M) is fuelled by uranium-235. This analysis presents the effect of negative temperature feedback, and
the positive reactivity of control rods withdrawal. Power, temperature pulse, and reactivity following the
reactivity accidents are calculated using programming language (FORTRAN), and (MATLAB) Codes. The
results are compared with previous works and satisfactory agreement is found.
The document describes research into developing a novel controller for stabilizing an inverted pendulum. It begins with reviewing previous work that derived the differential equations governing the dynamic behavior of an inverted pendulum. The researcher then uses Laplace transforms to solve these equations and derive a transfer function relating the input and output. An output-feedback PID controller is designed using this transfer function. Additionally, a stochastic method is examined for initializing the weighting matrices in linear quadratic regulation to minimize the performance index and optimize controller design. Upon simulation, the new output-feedback controller is shown to effectively control pendulum stability without integral gain.
The document describes a mechanical system project presented by group members Ali Ahssan, Faysal Shahzad, M. Aaqib, and Nafees Ahmed. It discusses translational and rotational mechanical systems. Translational systems move in a straight line and include mass, spring, and dashpot elements. Rotational systems move about a fixed axis and include moment of inertia, dashpot, and torsional spring elements. The document also provides equations to calculate the opposing forces or torques in each element when a force or torque is applied based on Newton's second law of motion.
Cosmic Adventure 4.9 Relative Motion in Classical MechanicsStephen Kwong
This document discusses relative motion and reference frames. It begins by explaining that relative motion occurs between two or more bodies, with each having its own coordinate system. When the observer and object are moving in a straight line, the coordinate systems can be aligned. It then presents two static reference systems, labeled with primes, that are separated by a distance s and both refer to the same object P. These can be combined into a single system. The document goes on to describe setting the two systems in motion, with the second system moving away from the first at a constant velocity v. It derives the relationship that the distance s between the systems after a time period Δt is s = vΔt. Finally, it provides the transformation equations
This document contains slides about time domain analysis prepared by Syed Hasan Saeed. It defines concepts like transient response, steady state response, and steady state error. It also discusses commonly used test signals for time response analysis, including step functions, ramp functions, parabolic functions, and impulse functions. The Laplace transforms of these signals are provided.
This document discusses energy accounting and energy balances. It defines closed and open systems and derives the steady flow energy equation for open systems. The steady flow energy equation equates the total energy entering and leaving an open system on a mass or time basis. It accounts for changes in kinetic energy, potential energy, heat transfer, and work. The document also discusses the conservation of mass and defines steady and unsteady flow systems.
This document defines transfer functions and discusses their properties. A transfer function is the ratio of the Laplace transform of the output to the input of a system with zero initial conditions. Transfer functions can be proper, improper, or strictly proper depending on the orders of the numerator and denominator polynomials. Poles and zeros are values of s that make the transfer function go to infinity or zero. Examples are provided of calculating transfer functions for electrical circuits and mechanical systems. The characteristic equation is obtained by setting the denominator polynomial to zero.
This learning object focuses on the topics of simple harmonic motion and energy conservation in horizontal mass-spring systems. It is in the form of a word problem that has two parts that each focus on one of the two topics above.
Rori TAI Williams is a fine artist, photographer, and installation artist based in Atlanta, GA. She has over 15 years of experience in fine art, photography, and event coordination. She received her MFA in Photography from SCAD in 2013 and a BA in Mass Media Communications from CAU in 2005. Her clients include many arts and cultural organizations in Atlanta.
This document defines and provides examples of adjectives. It explains that adjectives are words used to describe nouns and can answer the questions "how?" or "how much/many?". There are three types of adjectives: adjectives of quality which describe how something is, adjectives of quantity which denote an inexact number, and adjectives of number which denote an exact number. The document provides lists of common adjectives and exercises for students to identify and use adjectives correctly.
Divij Kak is an actor from India with experience in theater, films, and television. He received training in acting from his mother, a well-known Indian film star from the 1960s, and also studied in the United States. Kak has played lead roles in plays and has appeared in several Hindi films, including 2005's "Saathi" and 2010's "Pehli Nazar Ka Pyaar". His most recent film is a comedy called "Yeh Kyaa Bhootiyapanti Hai".
Dustin Mihaich has over 8 years of experience working in live entertainment production as a stagehand. He has worked with many internationally touring artists setting up stages, lighting, and sound. He is skilled in stage management, equipment transportation, and festival operations. Currently he works as a stagehand and production assistant for several companies in central New York and is a permit worker with a local stagehand union.
O documento descreve objetivos para formandos em cursos de massagem, incluindo estabelecer objetivos específicos, ser preparado, educado e produtivo, e desenvolver estratégias de aprendizagem ao longo da vida.
Este documento describe los detalles de un proyecto de construcción de una carretera de 10 millas a través de un bosque. Explica los pasos de preparación del sitio, la maquinaria que se utilizará, y el cronograma esperado de 3 meses para completar el proyecto.
A Reflexologia é uma técnica antiga que envolve a pressão de áreas nos pés correspondentes a órgãos e glândulas do corpo para equilibrar os sistemas e ajudar o corpo a se curar. Sua origem moderna vem dos trabalhos da fisioterapeuta americana Eunice Ingham. A técnica ajuda a aliviar o estresse e induzir relaxamento para permitir que o corpo retorne ao estado de equilíbrio e saúde.
The document summarizes key concepts about functions from a lecture in discrete mathematics:
1. A function assigns each element of its domain to exactly one element of its codomain. Functions can be specified by explicitly stating assignments or through a relation of ordered pairs.
2. The domain is the set of inputs, codomain is the set of possible outputs, and the range is the set of actual outputs. An image is the output assigned to an input, and a preimage is the input assigned to an output.
3. For two functions to be equal, they must have the same domain, codomain, and assign the same outputs to each input. Changing any of these results in a different function.
This document introduces various concepts in discrete mathematics including propositions, compound propositions, logical connectives, truth tables, and conditional statements. It defines discrete mathematics as the study of mathematical structures that are fundamentally discrete rather than continuous, involving counting of objects and relationships between finite sets. Propositions are declarative statements that are either true or false. Compound propositions combine simple propositions using logical connectives like conjunction ("and"), disjunction ("or"), negation ("not"), conditional ("if...then"), and bi-conditional ("if and only if"). Truth tables illustrate the truth values of compound statements under different conditions.
Data Placemats: Construction and Practical Design TipsInnovation Network
Increasing stakeholder involvement throughout the evaluation lifecycle, not only enhances stakeholder buy-in to the final evaluation results, but it also ensures that the evaluator is taking into consideration multiple viewpoints to be able to provide a more comprehensive picture of a program or initiative. Data placemats, a data viz technique to improve stakeholder understanding of data, can be used to communicate preliminary evaluation results during the analysis phase of the evaluation life cycle. When done correctly, it offers stakeholders an opportunity to form their own judgments about the data and weigh in prior to the final report. In this session, the presenter will review the concept of data placemats, focusing specifically on the nuts and bolts of constructing a data placemat.
CV tradicional versus Portfólio fotograficoHugo Pedrosa
O documento discute as desvantagens dos currículos tradicionais e as vantagens dos portfólios fotográficos no mercado de trabalho atual. Com a maior competição e mudanças frequentes de emprego, os portfólios fotográficos interativos que demonstram as habilidades de uma pessoa são mais eficazes do que currículos que se concentram na experiência passada. O documento incentiva a criação de um perfil pessoal apoiado por um portfólio para se destacar na procura de emprego atual
This document presents a method for driving a chemical process output to a new operating level in minimum time using bang-bang control. The method involves:
1) Modeling the process using a second-order model with time delay and fitting the model parameters to process response data.
2) Calculating the switching times between maximum and minimum input levels using the model to achieve an optimal response time.
3) Implementing the bang-bang control by switching the input at the calculated times to drive the process output to the new level, then returning to conventional control.
The method provides improved set-point responses for processes compared to conventional control, without requiring detailed process dynamics information.
Output feedback trajectory stabilization of the uncertainty DC servomechanism...ISA Interchange
This work proposes a solution for the output feedback trajectory-tracking problem in the case of an uncertain DC servomechanism system. The system consists of a pendulum actuated by a DC motor and subject to a time-varying bounded disturbance. The control law consists of a Proportional Derivative controller and an uncertain estimator that allows compensating the effects of the unknown bounded perturbation. Because the motor velocity state is not available from measurements, a second-order sliding-mode observer permits the estimation of this variable in finite time. This last feature allows applying the Separation Principle. The convergence analysis is carried out by means of the Lyapunov method. Results obtained from numerical simulations and experiments in a laboratory prototype show the performance of the closed loop system.
Implementation of redundancy in the effective regulation of temperature in an...IOSR Journals
This document presents a new mechanism for ensuring reliable temperature measurement in a baby incubator using sensor redundancy. It proposes using dual hardware sensors, analytical redundancy by comparing measurements to an estimated model, and temporal redundancy by incorporating past measurements. Tests showed the solution reduces transient faults and failures in sensors. The key aspects are combining hardware, analytical, and temporal redundancy to provide precise and efficient temperature measurement for baby incubators where error is not tolerated.
This document provides a tutorial on the RESTART rare event simulation technique. RESTART introduces nested sets of states (C1 to CM) defined by importance thresholds. When the process enters a set Ci, Ri simulation retrials are performed within that set until exiting. This oversamples high importance regions to estimate rare event probabilities more efficiently than crude simulation. The document analyzes RESTART's efficiency, deriving formulas for the variance of its estimator and gain over crude simulation. Guidelines are also provided for choosing an optimal importance function to maximize efficiency. Examples applying the guidelines to queueing networks and reliable systems are presented.
The document describes research into developing a novel controller for stabilizing an inverted pendulum. It begins with reviewing previous work that derived the differential equations governing the dynamic behavior of an inverted pendulum. The researcher then uses Laplace transforms to solve these equations and derive a transfer function relating the input and output. An output-feedback PID controller is designed using this transfer function. Additionally, a stochastic method is examined for initializing the weighting matrices in linear quadratic regulation to minimize the performance index and optimize controller design. Upon simulation, the new output-feedback controller is shown to effectively control pendulum stability without integral gain.
The document describes a mechanical system project presented by group members Ali Ahssan, Faysal Shahzad, M. Aaqib, and Nafees Ahmed. It discusses translational and rotational mechanical systems. Translational systems move in a straight line and include mass, spring, and dashpot elements. Rotational systems move about a fixed axis and include moment of inertia, dashpot, and torsional spring elements. The document also provides equations to calculate the opposing forces or torques in each element when a force or torque is applied based on Newton's second law of motion.
Cosmic Adventure 4.9 Relative Motion in Classical MechanicsStephen Kwong
This document discusses relative motion and reference frames. It begins by explaining that relative motion occurs between two or more bodies, with each having its own coordinate system. When the observer and object are moving in a straight line, the coordinate systems can be aligned. It then presents two static reference systems, labeled with primes, that are separated by a distance s and both refer to the same object P. These can be combined into a single system. The document goes on to describe setting the two systems in motion, with the second system moving away from the first at a constant velocity v. It derives the relationship that the distance s between the systems after a time period Δt is s = vΔt. Finally, it provides the transformation equations
This document contains slides about time domain analysis prepared by Syed Hasan Saeed. It defines concepts like transient response, steady state response, and steady state error. It also discusses commonly used test signals for time response analysis, including step functions, ramp functions, parabolic functions, and impulse functions. The Laplace transforms of these signals are provided.
This document discusses energy accounting and energy balances. It defines closed and open systems and derives the steady flow energy equation for open systems. The steady flow energy equation equates the total energy entering and leaving an open system on a mass or time basis. It accounts for changes in kinetic energy, potential energy, heat transfer, and work. The document also discusses the conservation of mass and defines steady and unsteady flow systems.
This document defines transfer functions and discusses their properties. A transfer function is the ratio of the Laplace transform of the output to the input of a system with zero initial conditions. Transfer functions can be proper, improper, or strictly proper depending on the orders of the numerator and denominator polynomials. Poles and zeros are values of s that make the transfer function go to infinity or zero. Examples are provided of calculating transfer functions for electrical circuits and mechanical systems. The characteristic equation is obtained by setting the denominator polynomial to zero.
This learning object focuses on the topics of simple harmonic motion and energy conservation in horizontal mass-spring systems. It is in the form of a word problem that has two parts that each focus on one of the two topics above.
Rori TAI Williams is a fine artist, photographer, and installation artist based in Atlanta, GA. She has over 15 years of experience in fine art, photography, and event coordination. She received her MFA in Photography from SCAD in 2013 and a BA in Mass Media Communications from CAU in 2005. Her clients include many arts and cultural organizations in Atlanta.
This document defines and provides examples of adjectives. It explains that adjectives are words used to describe nouns and can answer the questions "how?" or "how much/many?". There are three types of adjectives: adjectives of quality which describe how something is, adjectives of quantity which denote an inexact number, and adjectives of number which denote an exact number. The document provides lists of common adjectives and exercises for students to identify and use adjectives correctly.
Divij Kak is an actor from India with experience in theater, films, and television. He received training in acting from his mother, a well-known Indian film star from the 1960s, and also studied in the United States. Kak has played lead roles in plays and has appeared in several Hindi films, including 2005's "Saathi" and 2010's "Pehli Nazar Ka Pyaar". His most recent film is a comedy called "Yeh Kyaa Bhootiyapanti Hai".
Dustin Mihaich has over 8 years of experience working in live entertainment production as a stagehand. He has worked with many internationally touring artists setting up stages, lighting, and sound. He is skilled in stage management, equipment transportation, and festival operations. Currently he works as a stagehand and production assistant for several companies in central New York and is a permit worker with a local stagehand union.
O documento descreve objetivos para formandos em cursos de massagem, incluindo estabelecer objetivos específicos, ser preparado, educado e produtivo, e desenvolver estratégias de aprendizagem ao longo da vida.
Este documento describe los detalles de un proyecto de construcción de una carretera de 10 millas a través de un bosque. Explica los pasos de preparación del sitio, la maquinaria que se utilizará, y el cronograma esperado de 3 meses para completar el proyecto.
A Reflexologia é uma técnica antiga que envolve a pressão de áreas nos pés correspondentes a órgãos e glândulas do corpo para equilibrar os sistemas e ajudar o corpo a se curar. Sua origem moderna vem dos trabalhos da fisioterapeuta americana Eunice Ingham. A técnica ajuda a aliviar o estresse e induzir relaxamento para permitir que o corpo retorne ao estado de equilíbrio e saúde.
The document summarizes key concepts about functions from a lecture in discrete mathematics:
1. A function assigns each element of its domain to exactly one element of its codomain. Functions can be specified by explicitly stating assignments or through a relation of ordered pairs.
2. The domain is the set of inputs, codomain is the set of possible outputs, and the range is the set of actual outputs. An image is the output assigned to an input, and a preimage is the input assigned to an output.
3. For two functions to be equal, they must have the same domain, codomain, and assign the same outputs to each input. Changing any of these results in a different function.
This document introduces various concepts in discrete mathematics including propositions, compound propositions, logical connectives, truth tables, and conditional statements. It defines discrete mathematics as the study of mathematical structures that are fundamentally discrete rather than continuous, involving counting of objects and relationships between finite sets. Propositions are declarative statements that are either true or false. Compound propositions combine simple propositions using logical connectives like conjunction ("and"), disjunction ("or"), negation ("not"), conditional ("if...then"), and bi-conditional ("if and only if"). Truth tables illustrate the truth values of compound statements under different conditions.
Data Placemats: Construction and Practical Design TipsInnovation Network
Increasing stakeholder involvement throughout the evaluation lifecycle, not only enhances stakeholder buy-in to the final evaluation results, but it also ensures that the evaluator is taking into consideration multiple viewpoints to be able to provide a more comprehensive picture of a program or initiative. Data placemats, a data viz technique to improve stakeholder understanding of data, can be used to communicate preliminary evaluation results during the analysis phase of the evaluation life cycle. When done correctly, it offers stakeholders an opportunity to form their own judgments about the data and weigh in prior to the final report. In this session, the presenter will review the concept of data placemats, focusing specifically on the nuts and bolts of constructing a data placemat.
CV tradicional versus Portfólio fotograficoHugo Pedrosa
O documento discute as desvantagens dos currículos tradicionais e as vantagens dos portfólios fotográficos no mercado de trabalho atual. Com a maior competição e mudanças frequentes de emprego, os portfólios fotográficos interativos que demonstram as habilidades de uma pessoa são mais eficazes do que currículos que se concentram na experiência passada. O documento incentiva a criação de um perfil pessoal apoiado por um portfólio para se destacar na procura de emprego atual
This document presents a method for driving a chemical process output to a new operating level in minimum time using bang-bang control. The method involves:
1) Modeling the process using a second-order model with time delay and fitting the model parameters to process response data.
2) Calculating the switching times between maximum and minimum input levels using the model to achieve an optimal response time.
3) Implementing the bang-bang control by switching the input at the calculated times to drive the process output to the new level, then returning to conventional control.
The method provides improved set-point responses for processes compared to conventional control, without requiring detailed process dynamics information.
Output feedback trajectory stabilization of the uncertainty DC servomechanism...ISA Interchange
This work proposes a solution for the output feedback trajectory-tracking problem in the case of an uncertain DC servomechanism system. The system consists of a pendulum actuated by a DC motor and subject to a time-varying bounded disturbance. The control law consists of a Proportional Derivative controller and an uncertain estimator that allows compensating the effects of the unknown bounded perturbation. Because the motor velocity state is not available from measurements, a second-order sliding-mode observer permits the estimation of this variable in finite time. This last feature allows applying the Separation Principle. The convergence analysis is carried out by means of the Lyapunov method. Results obtained from numerical simulations and experiments in a laboratory prototype show the performance of the closed loop system.
Implementation of redundancy in the effective regulation of temperature in an...IOSR Journals
This document presents a new mechanism for ensuring reliable temperature measurement in a baby incubator using sensor redundancy. It proposes using dual hardware sensors, analytical redundancy by comparing measurements to an estimated model, and temporal redundancy by incorporating past measurements. Tests showed the solution reduces transient faults and failures in sensors. The key aspects are combining hardware, analytical, and temporal redundancy to provide precise and efficient temperature measurement for baby incubators where error is not tolerated.
This document provides a tutorial on the RESTART rare event simulation technique. RESTART introduces nested sets of states (C1 to CM) defined by importance thresholds. When the process enters a set Ci, Ri simulation retrials are performed within that set until exiting. This oversamples high importance regions to estimate rare event probabilities more efficiently than crude simulation. The document analyzes RESTART's efficiency, deriving formulas for the variance of its estimator and gain over crude simulation. Guidelines are also provided for choosing an optimal importance function to maximize efficiency. Examples applying the guidelines to queueing networks and reliable systems are presented.
Best of breed control of platinum reactorsRotimi Agbebi
This document describes modeling and controlling the temperature of a batch precipitation reactor used in platinum refining. Two PID controllers were implemented on a simulated reactor model at different operating points. A commercial advanced process controller (APC) was also connected to the model. Simulation results showed the PID controllers performed best when tuned to the specific operating point, while the APC controlled the temperature across different operating conditions and had better overall performance than the PID controllers. Further work will include fully implementing and comparing the APC controller to the PID controllers on the model.
The document describes integrating a physical Nest smart thermostat into an agent-based model for simulating residential HVAC loads. Researchers developed a statistical model to simulate individual house HVAC usage and then aggregated them. They replaced the simulated thermostat for one house with a physical Nest thermostat. The Nest thermostat was installed in an environmental chamber controlled by a PID controller to mimic house temperature conditions. Data was sent between the simulation and Nest using its API. This allows the simulation to use the Nest's actual thermostat logic and responses, increasing simulation realism for demand response control algorithm development.
Multivariable Parametric Modeling of a Greenhouse by Minimizing the Quadratic...TELKOMNIKA JOURNAL
This paper concerns the identification of a greenhouse described in a multivariable linear system
with two inputs and two outputs (TITO). The method proposed is based on the least squares identification
method, without being less efficient, presents an iterative calculation algorithm with a reduced
computational cost. Moreover, its recursive character allows it to overcome, with a good initialization, slight
variations of parameters, inevitable in a real multivariable process. A comparison with other method s
recently proposed in the literature demonstrates the advantage of this method. Simulations obtained will be
exposed to showthe effectiveness and application of the method on multivariable systems.
This course provides an introduction to thermodynamics over 15 weeks. Topics covered include the first and second laws of thermodynamics, properties of pure substances, energy analysis of control volumes and cycles, and isentropic processes. By the end of the course, students are expected to understand fundamental thermodynamic principles, laws, and be able to apply concepts such as the first law to calculate work and heat transfer in open and closed systems. Assessment includes exams and problem solving.
New calculation methodology for solar thermal systems Aiguasol
The document describes a new methodology called METASOL for calculating the sizing of solar thermal systems in Spain. It was developed to address limitations of the existing F-Chart methodology. METASOL is based on over 69,000 detailed TRNSYS simulations of 7 different solar thermal system configurations across 5 locations in Spain. Monthly correlations were extracted from over 800,000 data points to generate a simple calculation method that considers factors like multiple system types, locations, loads, and temperatures not addressed by F-Chart. The new methodology is integrated into a free and easy-to-use graphical interface to standardize solar thermal system sizing in Spain.
This document introduces multi-rate integration algorithms as a promising approach for efficiently simulating large object-oriented models. Multi-rate algorithms allow different components of a model to be integrated with different time steps, using smaller steps for fast subsystems and larger steps for slow subsystems. This is more efficient than single-rate algorithms that use a single small time step for the entire model. The document presents a self-adjusting multi-rate integration scheme and applies it to a test case model of a heating system with centralized heating and multiple user units. Results show the multi-rate approach reduces the number of derivative evaluations and computational time compared to a single-rate approach, especially as the system size increases.
Oscar Nieves (11710858) Computational Physics Project - Inverted PendulumOscar Nieves
This document describes a numerical simulation of an inverted pendulum system created in MATLAB using a 4th order Runge-Kutta algorithm. The simulation models an inverted pendulum attached to a horizontally moving cart. Forces like air drag and friction are included, and parameters like mass, pendulum length, and initial conditions can be varied. Small changes to initial conditions can lead to large differences in motion, demonstrating the system's chaotic behavior. The document also outlines the methodology for adapting the Runge-Kutta algorithm to solve systems of coupled differential equations.
This document summarizes the system identification and control of a two-cart spring system. Various identification techniques were used, including theoretical modeling, non-parametric methods like impulse response and sine sweeps, and parametric ARX modeling with chirp and square wave inputs. An ARX model with 3 poles was selected based on the identification results. An LQR/LQG controller was then designed and tuned, achieving reasonable closed-loop performance for controlling the position of the second cart.
- The document details a state space solver approach for analog mixed-signal simulations using SystemC. It models analog circuits as sets of linear differential equations and solves them using the Runge-Kutta method of numerical integration.
- Two examples are provided: a digital voltage regulator simulation and a digital phase locked loop simulation. Both analog circuits are modeled in state space and simulated alongside a digital design to verify mixed-signal behavior.
- The state space approach allows modeling analog circuits without transistor-level details, improving simulation speed over traditional mixed-mode simulations while still capturing system-level behavior.
This document contains definitions, examples, and questions related to thermodynamics. It covers topics like the first and second laws of thermodynamics.
1) It defines open, closed, and isolated systems and gives examples. Open systems allow heat, work, and mass transfer while closed systems only allow heat and work transfer.
2) It provides definitions for key thermodynamics terms like intensive and extensive properties, boundary, specific heat, and more. Intensive properties do not depend on amount of substance while extensive properties do.
3) It lists statements of the first and second laws of thermodynamics. The first law relates heat, work, and changes in internal energy. The second law states that heat
This document provides definitions and explanations of thermodynamic concepts related to pure substances and the steam power cycle. It includes definitions of terms like latent heat, saturation temperature and pressure, and superheated steam. It also summarizes the key points that latent heat is the heat required for phase changes, saturation conditions define boiling and vaporization, and superheating steam provides benefits like more work and efficiency by further heating dry steam.
Nonlinear batch reactor temperature control based on adaptive feedback based ilcijics
This work presents the temperature control of a nonlinear batch reactor with constrains in the manipulated
variable by means of adaptive feedback-based iterative learning control (ILC). The strong nonlinearities
together with the constrains of the plant can lead to a non-monotonic convergence of the l2-norm of the
error, and still worse, an unstable equilibrium signal e(t) can be reached. By numeric simulation this
works shows that with the adaptive feedback-based ILC is possible to obtain a better performance in the
controlled variable than with the traditional feedback and the feedback based-ILC.
NONLINEAR BATCH REACTOR TEMPERATURE CONTROL BASED ON ADAPTIVE FEEDBACK-BASED ILCijcisjournal
This work presents the temperature control of a nonlinear batch reactor with constrains in the manipulated variable by means of adaptive feedback-based iterative learning control (ILC). The strong nonlinearities together with the constrains of the plant can lead to a non-monotonic convergence of the l2-norm of the error, and still worse, an unstable equilibrium signal e∞(t) can be reached. By numeric simulation this works shows that with the adaptive feedback-based ILC is possible to obtain a better performance in the controlled variable than with the traditional feedback and the feedback based-ILC.
The document provides an introduction to control systems, including:
- Control systems are integral parts of modern society and are found in applications like rockets, manufacturing machines, and self-driving vehicles.
- The chapter defines a control system and describes their basic features and configurations, including open-loop and closed-loop systems.
- The objectives of control system analysis and design are described as producing the desired transient response, reducing steady-state error, and achieving stability.
- The design process for control systems is outlined in six steps: determining requirements, drawing block diagrams, creating schematics, developing mathematical models, reducing block diagrams, and analyzing and designing the system.
Simulation analysis of Series Cascade control Structure and anti-reset windup...IOSR Journals
This document presents a simulation analysis of series cascade control structure and anti-reset windup technique for a jacketed continuous stirred tank reactor (CSTR). It discusses modeling and linearization of a CSTR process. It then analyzes series cascade control structure and designs PID controllers using auto-tuning. Next, it explains an anti-reset windup protection technique to address issues like overshoot and windup. Simulation results showing step responses indicate that responses with anti-windup have less overshoot and shorter settling time compared to the conventional cascade control system. In conclusion, the anti-reset windup technique improves closed-loop performance for the CSTR process.
This document contains a summary of key concepts in engineering thermodynamics:
1. It defines different types of thermodynamic systems - open, closed, and isolated - and gives examples of each.
2. It explains important thermodynamic concepts like intensive and extensive properties, thermal equilibrium, boundaries, and states.
3. It covers the first and second laws of thermodynamics, including definitions of reversible and irreversible processes, and statements like Kelvin-Planck, Clausius, and Carnot's theorem.
4. It discusses thermodynamic properties, processes, cycles and applications to devices like turbines, compressors and heat engines.
1. Proceeding of the 6th
International Symposium on Artificial Intelligence and Robotics & Automation in Space:
i-SAIRAS 2001, Canadian Space Agency, St-Hubert, Quebec, Canada, June 18-22, 2001.
Continuous Measurements and Quantitative Constraints - Challenge Problems for
Discrete Modeling Techniques
Charles H. Goodrich, Dynacs Engineering,
Kennedy Space Center, FL
Charles.Goodrich@ksc.nasa.gov
James Kurien
NASA Ames Research Center
jkurien@arc.nasa.gov
Keywords model-based diagnosis, discrete models,
constraints, modeling, in-situ resource utilization.
Abstract
Many techniques in artificial intelligence operate on
discrete models, wherein each variable of a system
description may take on only a finite number of
discrete values. These discrete models are easy to
acquire, they have computational advantages, and
there are many well-developed algorithms for
manipulating them. In contrast, the world presents us
with many continuous processes we would like to
simulate, identify or control. Many discrete techniques
from AI are regularly applied to discrete abstractions
of continuous processes. This of course is not always
possible. It’s therefore important to consider whether
one’s continuous problem lends itself to being
abstracted and solved as a discrete problem. We
describe a set of modeling technique and algorithms
for discrete, model-based diagnosis and control, in a
manner we hope will be accessible to those outside the
field. We then present a continuous problem in the
domain of spacecraft state identification and control
for which a discrete abstraction of the problem allows
us to perform useful diagnosis and reconfiguration.
We then present a seemingly similar problem for
which developing a discrete abstraction was quite
difficult and which did not result in as useful a
diagnosis and control system. We contrast the two
systems, and describe some of the problems that made
the second problem far less suitable for use with a
discrete model and discrete reasoning algorithms.
1 Introduction
Suppose we would like to create algorithms that
perform computations about a physical system such as
a spacecraft in order to perform tasks such as
diagnosing its current condition, simulating its future
operation, or planning a set of control inputs to move
the system to a desired condition. In order to use
such algorithms, we will require a model or formal
description of the physical system. A continuous
model includes real-valued attributes that may take on
an infinite number of values and continuous functions
that compute the value of one attribute from another.
Change is modeled as the derivative of one or more
attributes over time. For example, a model of heating
and cooling of a spacecraft might include continuous
variables that represent the energy radiated from the
spacecraft into space and the energy output of its
heaters, and a set of differential equations that model
thermal conductivity through the spacecraft’s
structure. When we begin to model complete systems,
we may often find that the physical behavior of the
system is continuous, but that a controller with
discrete states controls it. A hybrid model includes
both discrete states and continuous variables. A
hybrid model can discretely transition from one state
to another, and within each state can evolve
continuously through a set of differential equations.
Consider the following example.
T < Low Set Point
Cooling
T’= f(T,R)
Heater Off
T > High Set Point
Heating
T’= g(T,R)
Heater On
Figure 1 Simplified Continuous Thermostat
Conceptually, Figure1 illustrates a hybrid model of a
simple thermostatic heating system. The variable T
represents the current temperature of the system, while
T’ represents the derivative of the temperature with
respect to time. R represents the thermal properties of
the system being heated, for example its thermal
conductance. When in the Cooling state, the
controller turns the heater off, and the temperature
falls according to some continuous function f . When
the temperature falls below a low set point, the
thermostat controller makes a discrete transition to the
Heating state. In this state, the controller turns the
Page 1
2. heater on, and the temperature rises according to some
continuous function g. Such a model would help us to
simulate the temperature of the system given the set
points and the parameter R, would be useful in
diagnosing whether the heater was operating properly,
and so on.
While much of the world is hybrid, a significant
amount of work in artificial intelligence concerns
discrete models. In contrast to a continuous model,
each attribute of a discrete model may take on only a
finite number of discrete values. Thus, there is only a
finite (though possibly very large) set of states the
discrete model can attain. Using a discrete model has
computational advantages, and a wide range of
discrete modeling formalisms and algorithms have
been developed or applied by the AI community.
Examples of techniques that apply to discrete models
include STRIPS-style planning and many of its
extensions (see Boutilier, Dean & Hanks, 1995 for an
overview), partially observable Markov decision
processes (see Kaelbling, Littman & Cassandra), some
of the work in model-based diagnosis (see Hamscher,
Console & deKleer 1992 for an overview), and
anything that makes use of a propositional logic
encoding.
Fortunately, we can often capture the features of our
hybrid system that are relevant to a particular task
(e.g., planning, diagnosis, simulation or so on) in a
discrete abstraction. That is, we can abstract an
infinite number of hybrid behaviors into a finite
number of discrete behaviors. For example, to
determine whether or not the thermostat of Figure 1 is
functioning correctly, it may be sufficient to create the
discrete model illustrated in Figure 2. When the
temperature level drops below a set point, the system
enters the discrete heating state, wherein the heater
must be on and the temperature must be rising. Any
continuous behavior that fits this discrete description
is normal behavior, and any that does not indicates a
failure.
T < Low Set Point
Cooling
T’< 0
Heater Off
T >High Set Point
Heating
T’>= 0
Heater On
Figure 2 Qualitative Thermostat Model
If a discrete abstraction such as this provides sufficient
information for the task at hand, then we may then
apply our discrete techniques. Discrete abstractions
are regularly applied in AI with great success.
Examples of their use are too numerous to enumerate,
but they include robot navigation (for example,
Nourbakhsh, Powers & Birchfield, 1996), and
spacecraft diagnosis and control (for example,
Williams & Nayak, 1996).
The issue is then, when is a discrete abstraction
sufficient, when is it insufficient, and how does one
determine this before investing time writing a discrete
model. We have spent the last few years applying
discrete diagnosis and control systems to a variety of
domains (Bernard, et al, 1998; Kurien, Nayak &
Williams, 1998). In the following sections of the
paper, we first describe a typical application to which
we have applied discrete diagnosis and control
techniques. We then give an intuition of how one
particular discrete diagnosis and control system, called
Livingstone (Williams & Nayak, 1996; Kurien &
Nayak, 2000) operates and provide some intuitions on
why it works well on the typical application. We then
describe a domain that appears to be similar where
discrete abstractions worked rather poorly. We then
describe the types of problems that separate the two
domains, and what capabilities a hybrid diagnosis and
control system needs to have to address the more
complex domain.
3 The Propulsion System Application
Figure 3 illustrates the redundant propulsion system
used in the Cassini spacecraft, designed to last a seven
year cruise to Saturn and autonomously insert itself
into orbit around Saturn. The purpose of the system is
to provide the appropriate amount of acceleration by
combining fuel and an oxidizer in an engine for a
specified amount of time. The helium tank is filled
with helium under high pressure. Conceptually,
controlling the system is straightforward. When the
appropriate valves are opened, the high pressure in the
helium tank pressurizes the oxidizer and fuel tanks.
This forces oxygen and fuel into the engine where it is
ignited to produce thrust. When sufficient thrust is
achieved, the valves are closed.
Page 2
3. Helium tank
Fuel tank
Oxidizer Tank
Main
Engines
Valve
Pyro valve
Pyro ladder
Regulator
Figure 3- Engine Schematic
In actuality, the control problem is complicated by the
redundancy needed to ensure success on a long
mission. Two engines are provided in the case that one
fails. Each engine is supplied with fuel and oxidizer
through a complex arrangement of valves. Valves or
pipe branches in parallel ensure that if valves stick
closed, a redundant parallel valve can be used to allow
fluid flow. Valves in series ensure that if valves stick
open, an upstream valve can be closed to prevent fluid
flow. Not shown are valve drivers that control the
latch valves and a set of flow, pressure and
acceleration sensors that provide partial observability
of the system. There are approximately 1015
possible
configurations of the system including failures.
Several hundred of those configurations produce
thrust, depending upon which valves are open or
closed. Given a set of failures, thrust configurations
that can be reached without using a pyro valve are
preferred, as pyro valves can only be opened or closed
once. Regardless of the number of failures that occur,
we’d like the control system to determine the current
configuration of the propulsion system and find the
best viable configuration of the system that will
produce thrust.
Though this system is relatively complex, using only a
discrete model we can answer the question of which
valves are stuck open or closed and what actions
should be taken to create a route for fuel and oxidizer
to a working engine. The next section describes how
this is accomplished.
2 Discrete Diagnosis & Control
Our discrete model of a hardware system must specify
the components of the system (e.g. there are three
tanks, twenty-eight valves, and assorted other parts).
For each component, the model must specify the
possible states, referred to as modes, the component
may occupy (e.g. a valve may be open, closed, stuck
open, or stuck closed). For each mode, the model
must specify the component’s behavior (e.g. a closed
valve prevents flow). We must also specify the
transitions. A transition moves the model from one
mode to another when some condition on the
attributes of the current mode is true. If our system is
not deterministic, we can allow multiple transitions on
the same condition, and assign a probability to the
occurrence of each transition (e.g. when commanded
open, a closed valve usually opens but may stick
closed with some probability p). All of this
information can be encoded using an automaton to
represent each component. For example, a valve
might be represented as shown in Figure 4.
The ovals in Figure 4 represent the possible modes of
the valve, open, closed, stuck open and stuck closed.
Each mode includes a partial description of how the
valve behaves in that mode. For example, when the
valve is in the closed mode, the flow through the valve
is zero. The arcs specify how the mode changes when
an action is taken. Starting in the closed mode, when
the command to open is given, the most likely
outcome is that the valve moves to the open mode via
the darker arc. The lighter arcs represent less likely
failure transitions to the stuck open or stuck closed
mode that may occur.
valveCommand =open
stuckclosed
Flow=zero
closed
Flow=zero
valveCommand =close
open
Flow ≈ Pressure
stuckopen
Flow ≈ Pressure
Figure 4 - Valve Automaton
Using a single component, we can develop a basic
intuition for how a discrete control algorithm might
work. For the sake of simplicity, the algorithm is
broken down into a method for estimating the state of
the system given the sensors and a method for
determining the best action to take given the state
estimate. Suppose we know a valve to be in the
closed mode, and we issue the command to open the
valve. We then receive an observation of the flow and
pressure, and wish to determine the new state of the
valve. Suppose the flow reported by the sensor is zero
and the pressure is high. We investigate each possible
transition from the closed mode in turn. If the valve
took the likely transition to the open mode, the flow
through the valve would be proportional to the
pressure. It is not, so this transition, although likely, is
ruled out. Similarly, the less likely transition to the
stuck open mode is ruled out by the observations. The
only transition consistent with the observations is the
Page 3
4. stuck closed mode, and this becomes our state
estimate. The basic intuition is that diagnosis is a
search over the transitions of the hardware model to
find a mode that is consistent with the observations.
Choice of a control action is accomplished in a similar
manner. Suppose we again know the valve to be in the
closed mode. We wish to have flow through the
valve. We first check to see if the current mode
allows flow. It does not, so we must find a path to a
mode that does. We cannot use any of the arcs to
failure modes in our path, as we cannot force failures
to occur. Instead, we must use only the commandable
(darker) arcs. In this case, there is only one arc from
the closed mode to the open mode. Fortunately, in the
open mode there must be flow and our search ends.
The basic intuition is that action selection is a search
over the transitions of the hardware model to find a
mode that enforces the desired conditions.
The search for a diagnosis or control action naturally
extends to multiple components. Consider the
simplified propulsion system of Figure 5. Consider
the case where we have commanded all three valves
V1, V2 and V3 to open. From the interconnections of
the components, we can automatically infer that the
pressure in the He tank is pressurizing the input of V3.
From the valve model, we can predict there is a
pressure and flow through V3. Similarly, we predict
that the O2 and fuel tanks are pressurized, and there is
a flow of O2 and fuel to the engine through V1 and
V2. From the engine model, we predict acceleration
given the flow of oxidizer and fuel. If no acceleration
is measured, the assumption that the system is
operating properly is inconsistent, and a search for a
consistent set of mode transitions is required.
Conceptually, this is a search over all of the
components to find a set of failures that are consistent
with the current observations.
Figure 5 A Simplified Propulsion System
In practice, considering every possible combination of
component failures would be expensive and
unnecessary. Using observations, we can quickly
focus the search to the relevant components. For
example, a flow at V1 was previously predicted
because of the assumed states of V1, the O2 tank, V3
and the He tank. If we measure no flow at V1, then at
least one of these components must have suffered a
failure. Similarly, if we measure a pressure at V2,
then it is inconsistent to believe the He tank is
ruptured or V3 is stuck closed. Thus with two
observations we have focused our search for a
diagnosis on V1 and the O2 tank. We may then
consider possible failures of V1 or the tank in turn,
and check if the model of each failure mode is
consistent with the observations. In larger systems,
the focusing effect of observations can be even
greater. For example, in the propulsion system of
Figure 3, observation of pressure at the oxidizer tank
removes all fourteen components to the right of the
observation from consideration in the diagnosis. For a
more detailed account of these techniques, please see
(Williams & Nayak, 1996; Kurien & Nayak, 2000).
We have successfully applied these discrete diagnosis
and control techniques to a number of domains.
Models of the propulsion systems of the Cassini
spacecraft (Pell, et al, 1996) and X-34 vehicle as well
as subsystems of the X-37 spacecraft have been
developed and tested in simulation. A model of the
reaction control, power and other systems of the Deep
Space 1 spacecraft was tested in flight (Bernard, et al,
1998). In the next section, we describe a seemingly
similar domain in which our attempts to apply discrete
diagnosis and control techniques were not as
straightforward.
4 Reverse Water Gas Shift
In-Situ Resource Utilization has become a key
component of NASA’s plans for Mars exploration.
Major cost savings are possible when propellants and
other consumables are manufactured on Mars instead
of being imported from earth. The reverse water gas
shift reaction (RWGS) is a chemical reaction that
produces oxygen (O2) from the atmosphere of Mars,
which is mostly carbon dioxide (CO2).
Oxygenstorage
Electrolyzerreactor
RWGSPlant
CO2 from
Martian
atmosphere
H20
H2
COvented
O2
Figure 7 – RWGS Plant on Mars
The RWGS reaction occurs when CO2 is combined
with hydrogen (H2) as shown in Equation 1. The water
produced is electrolyzed (Equation 2) the oxygen from
He
O2
Fuel
V3
V1
V2
Page 4
5. electrolysis is stored, and the H2 is recirculated into
the input stream (see Figure 7).
Equation 1
CO2 + H2 = CO + H2O
Equation 2
2H2O + 4e-
= 2H2 + O2
Equation 3
CO = minimum(H2,CO2 )
Since all the H2 is reused, only a small amount needs
to be imported from earth. The net result of the
RWGS plant is to produce as much O2 as needed for
propellant or life support using only CO2 from the
Martian atmosphere as a raw material.
As a byproduct of the reaction of Equation 1, The
RWGS reactor vents carbon monoxide (CO). When
two reactants are supplied in the correct ratio both are
completely converted into products with no excess of
either left over. If the molar ratio of feed gases in
RWGS is not exactly 1:1, excess H2 or CO2 will also
vent. Equation 3 expresses this constraint. The
control challenge is to supply CO2 and H2 to the
reactor in exactly the right amounts to maximize
production and avoid wasting either gas - particularly
H2 that is relatively scarce on Mars. Among other
things, the plant control system must monitor the vent
stream, detect if either feed gas is in excess and adjust
flows to continue efficient operation. RWGS must
operate for several years on Mars without human
intervention, so its control system must be
autonomous and highly reliable. One of the most
common fault modes for process equipment in harsh
environments is instrumentation failure. One or more
measurements may prove defective over the operating
lifetime of the system. However, given the remaining
sensors and knowledge of the RWGS process, it is
possible for a control system to continue producing O2
without intervention from ground controllers. The
control system must infer the missing instrumentation
data and correctly select control actions.
The RWGS plant can be viewed as a constraint
network (see Figure 9 below). There are eleven
parameters constrained by four real-valued functions
(F1, F2, F3 & F4). Five of the parameters are
monitored by measurements from the plant, and two
others are commands used to control the system. The
constraint network of Figure 9 may be used for both
automated diagnosis and control. Conceptually, this
could be accomplished in a manner similar to that
described in the previous section. To perform
diagnosis, when one or more measurements from the
plant is inconsistent with values predicted by the
constraint network, we could attempt to isolate the
fault by suspending one constraint at a time and
calculating a value for it using the others. If the new
value can be computed consistently, the suspended
constraint is a valid fault suspect. To perform
reconfiguration or more general control, we could
express an operating goal as a set of constraints and
attempt to invert the constraint network to calculate
the commands that will satisfy it. We attempted to
build a discrete, qualitative model of the RWGS
constraint network to do exactly this.
CO2 feed rate
H2 feed rate H2O produced
Electrolyzer current
Legend:
Vent flow rate
F1
F2 F3
CO vent rate
Excess H2
Excess CO2
H2O use rate
H2O accumulationF4
X
M
command
measurement
O2 flow rate
X
M
X
M
M
M
M
reactor
electrolyzer
mass
flowmeter
Figure 9 – Constraint network for RWGS
In order to produce a qualitative model of a
continuous system, we must discretize the variables
and constraints that model the system’s behavior. In
the thermostat example, we discretized a continuous
model of the temperature change over time into a
discrete model specifying whether the derivative of
the temperature was positive or negative. In order to
diagnose the reaction control system of Deep Space 1,
we discretized the measured error between the desired
and actual orientation of the spacecraft in three
dimensions into three variables that captured whether
the deviation on each axis was positive, negative or
approximately zero. For each of these discretizations,
we would write a small piece of software, referred to
as a monitor, to convert from the real-valued sensor
reading into the appropriate discrete category.
In order to develop a qualitative model of the RWGS
system, we first characterized continuous variables
such as electrolyzer current and H2 flow rate as “low,
expected or high”. This allowed us to start writing
Page 5
6. discrete constraints, for example relating the
qualitative flow rate of H2 and CO2 to the qualitative
rate of H2O production. Intuitively, if the H2 input to
the reaction is lower than expected, then the H20 will
be low as well. It soon became clear this qualitative
abstraction of the system was inadequate. Often, a
“low” value was the expected value. For example, if
we intentionally turn a valve off, for example in a
redundant, unused branch of the system, then the
expected flow rate in the branch is zero. The sensed
value zero thus corresponds the qualitative value
“expected”. However, if the H2O output of the
reactor is zero, the qualitative value is “low”. We
addressed this problem by quantifying flows using
both the “low, expected, high” discretization and a
“zero, positive” discretization and augmenting our
valve, flow controller and other models to correctly
predict one or both types of value. This significantly
complicated the model. Unfortunately, this still was
not adequate to correctly diagnose the relevant
failures.
Consider the case where the current to the electrolyzer
is reduced by the RWGS controller. By function F1
of the constraint diagram, the H2 feed rate will be
correspondingly reduced according to some
continuous function. However, this is as expected.
That is to say, we do not need to diagnose a failure to
explain the reduced rate. In order to accommodate
this in a qualitative model that cannot perform
continuous calculations, it became necessary to
compute such relationships between variables outside
of the model. This made it possible to relate
“expected” electrolyzer current to “expected” H2 flow
by a continuous function. Whatever operating level
was required for the electrolyzer, the external function
would compute the “expected” expected H2 flow that
could be compared to the observed values in order to
report “low, expected or high”. We could then
perform a system-wide, discrete diagnosis. This
arrangement is awkward and requires maintenance of
separate auxiliary code. Other variables in RWGS
required comparisons between two or more
quantitative values; these relationships were almost
impossible to model qualitatively. In particular, the
reactor function F2 is a comparison between two real-
valued parameters, H2 flow and CO2 flow (Equation 3)
that we could not adequately capture within the
discrete model.
In retrospect, the Cassini propulsion system model is
something of a special case. At the level of detail to
which it was modeled, it consists of a pressurized tank
at one end and vacuum at the other. The control flow
and pressure gradient in this system are always in one
direction. There are no closed loops or mixing of
flows. The diagnosis problem was only concerned
with abrupt failures such as stuck valves, and did not
attempt to capture leaks, flow reversions, or more
subtle flow anomalies. No diagnosis required
observing the system over time. Thus, we could
perform our diagnosis using only a context-free
discretization of the observations (e.g., flow, no flow).
Similarly, the control problem was defined to only
concern discrete actions such as opening and closing
valves. There was no need to estimate and adjust
continuous parameters of the system such as flow
rates. In such domains, a discrete, qualitative model is
often effective. In these cases, the ease of modeling
and computational efficiency of a discrete, qualitative
model are attractive.
In contrast, the RWGS system and many other
problems involve branching or multi-directional
propagation of fluid flows, electrical current or similar
quantities, and capacitance, such as storage tanks or
buffers, that evolves over time. Often it is extremely
difficult to produce a discrete abstraction of such a
domain that is both consistent with respect to
diagnosis and relevant with respect to control. In the
following section we provide some intuitions from the
RWGS domain on where the trouble arises.
5 Issues with Continuous Variables
Consider again the complete constraint network for
RWGS (Figure 9). Such a constraint network
provides many opportunities to exploit analytical
redundancy in the system measurements, and we
would like to use it to devise an RWGS control system
that is extremely robust and fault-tolerant. There are
many other spacecraft systems that are characterized
by multiple quantitative constraints in complex
relationships. Below we discuss diagnosis and control
problems on this network that we were unable to
adequately address using a discrete model because of
complex interactions of the continuous variables. For
each we create a table illustrating the relevant
continuous constraints that were involved, and the
nature of the constraint satisfaction we were unable to
perform in the discrete abstraction.
Sensor Fault Example
Table 1 uses analytic redundancy to find a sensor
failure. The columns of the table correspond to the
continuous variables of the RWGS system. The rows
correspond to the operation of constraints to fill in
variable values. The first row specifies the constraints
themselves. For clarity, only the constraints associated
with the electrolyzer (function F1) are shown.
Page 6
7. Table 1 – Diagnosing faulty H2 measurement
Row Electrolyzer
Current
amps
H2
gMol/h
r
H2O
cc/min
O2
gMol/hr
1 I I*0.33 I*0.10 I*0.17 Function F1
2 15 4.95 1.5 2.55 Predicted
3 15 8 1.5 2.55 Observed
4 24/15 8 1.5 2.55 Suspend amps
5 15 4.95 1.5 2.55 Suspend H2
Suspended constraint 4.95 Discrepancy 8
Row 1 – Functions for constraint calculations
Row 2 – Assuming the electrolyzer current reading of
15 amps is correct, the constraint network predicts H2
flow of 4.95 gram Moles per hour. The observed H2
flow (Row 3) is 8. Thus either the current
measurement or flow measurement is faulty.
Row 4 - Suspending the current measurement, we
invert the formula F1 in Row 1 and calculate current
from H2 (8/0.33=24 amps) H2O (1.5/0.1=15 amps) and
O2 (2.55/0.17=15 amps). Failure of the current
measurement alone is not a consistent diagnosis.
Row 5 – Suspending the H2 constraint we calculate
4.95 for H2 from electrolyzer current, H2O and O2.
These results are consistent. Failure of the H2
measurement alone is consistent.
Control Examples
Table 3 is an example illustrating control. Suppose
the goal for electrolyzer operation is O2 flow of 2.0
gram moles per hour.
Table 3 – Controlling O2 flow
Electrolyzer
Current
amps
H2
gMol/hr
H2O
cc/min
O2
gMol/hr
1 I I*0.33 I*0.10 I*0.17 Function F1
2 ? ? ? 2.0 Goal for O2
3 11.76 2.0 Calc amps
4 11.76 3.9 1.2 2.0 Calc others
Row 3 – Inverting F1, we can calculate the
electrolyzer current that will yield the desired flow
(2.0/0.17 = 11.76 amps).
Row 4 – Using the value for current we can calculate
expected values for H2 and H2O.
The electrical circuit (Figure 10) provides another
example of a system that depends on comparison
between two quantitative constraints. Currents I1 and
I2 depend on the resistance of R1 and R2 plus the
other circuit components.
I2
+3v
R1
5 ohm
IT = I1+ I2
V1 = 3 - 5* IT
I1 = V1/R1
I2 = V1/R2
R2
I1
V1
Figure 10 – Resistor Problem
Table 4 illustrates a control problem for this circuit.
The goal is to equalize current through both resistors
at 0.18 amps each. Simply increasing resistance R1 to
reduce its current won’t work; that would produce
excess current in R2. Both resistors have to be
adjusted to achieve the goal.
Table 4 – Resistor Problem Constraint Solution
V1
volts
R1
ohms
R2
ohms
I1
amps
I2
amps
1 3 -
5*IT
R1 R2 V1
R1
V1
R2
Function
2 0.35 1.00 2.00 0.35 0.18 Initial cond
3 ? ? ? 0.18 0.18 Goals
4 1.2 Calculate V1
5 1.2 6.7 Calculate R1
6 1.2 6.7 Calculate R2
7 1.2 6.7 6.7 0.18 0.18 Final cond
Row 2 – Initially, I1=0.35 amps and I2=0.18 amps
Row 4 – To see if the goal is possible, we first must
calculate V1. From the first constraint in Figure 10
we know that IT = I1+I2 (0.18 + 0.18 = 0.36 amps)
The constraint in Row 1 gives us V1 = 3 - 5* IT
(3 - 5*0.36 = 1.2 volts)
Row 5&6 – Invert the function for I1 and solve for R1
= R2 = V1/I1 (1.2/0.18 = 6.7 ohms)
Row 7 – Final conditions meet the control goal.
More Complex Diagnosis and Control
Figure 11 illustrates a quantitative model
characteristic of life support and various industrial
systems. A fluid is flowing through a duct. The flow
rate is controlled by a butterfly valve V and measured
by a flow meter F. Temperature of the fluid is
controlled by the heater Q and measured by
temperature sensors T1 and T2. This system can be
analyzed very well with a constraint network and can
be quite robust even when some of the sensors fail.
Page 7
8. +-
T2Q
m
FVT1
12 T
mC
Q
T +=
Figure 11 - Fluid Flow in a Duct
Consider the failure of flow meter F that is analyzed
in Table 5. In this example the fluid is water. The
equation at the top of Figure 11 expresses the
relationship between mass flow m, heat Q and
temperatures T1 and T2. C is the heat capacity of water
– a constant equal to 1.0 cal/g. For clarity we can
assume that the mass flow m is equal to the flow
command F. By suspending constraints in rows 4-7
we diagnose that the flow measurement F is faulty and
should be 30 instead of 2.
Table 5 - Duct Flow Meter Failure
T1
o
C
F
g/hr
Q
cal
T2
o
C
1 T1 m Q
1T
mC
Q
+
Function
2 25 30 300 35 Predicted
3 25 2 300 35 Observed
4 25/-115 2 300 35 Suspend T1
5 25 30 300 35 Suspend F
6 25 2 20/300 35 Suspend Q
7 25 2 300 35/175 Suspend T2
Once the flow meter is known to be faulty we can still
control the duct flow by reference to the remaining
measurements. (Refer to Table 6). If we want mass
flow m of 40 g/hr while at the same time maintaining
35o
C for T2 , we can set flow control to 40 without
reference to the flow measurement and calculate a
new value for Q. The proper flow and heater settings
are confirmed by observing the rest of the
measurements.
Table 6 – Duct Control with Degraded Sensors
T1
o
C
F
g/hr
Q
cal
T2
o
C
1 T1 m Q
1T
mC
Q
+
Function
2 ? 40 ? ?- Goal for m
3 ? ? ? 35 Goal for T2
4 40 Calculate F
5 25 40 400 35 Calculate Q
6 25 400 35 Observed
The usefulness of quantitative constraints is more
apparent when the principles illustrated by the
electrical circuit and fluid flow examples are
combined. Figure 12 shows two ducts connected to a
common manifold. Since m0 = m1+m2 if we attempt
to increase flow by opening V1, m1 will increase; but
m2 will decrease at the same time. The
interconnected nature of the constraints makes for a
complicated network, but there is a significant
advantage in flexibility for diagnosis and control. For
example, the temperature measurements may be used
to confirm that duct flows are correct even if flow
measurements become defective as in Table 5. Flow
measurements may likewise stand in for faulty
temperature sensors. Under some circumstances, it is
possible to adjust flow in one duct if its control valve
is inoperative by tweaking the valve in the other duct.
Only if we have a model of the continuous behavior of
the system will we be able to create this level of
flexibility and fault tolerance.
+-
T1Q1 F1
V1
0
2
2
2 T
Cm
Q
T += +-
T2
T0
m2
m1
m0
Q2
F2
V2
0
1
1
1 T
Cm
Q
T +=
Figure 12 - Two-Duct Flow
Time-related Problems
A further example from RWGS (Figure 13) illustrates
another class of problems that is difficult to manage
using a discrete model. In this case, the issue is the
discrete, non-metric model of time. Suppose we wish
to fill the tank. Knowing the initial water level in the
tank LL0 it is possible to predict what the liquid level
measurement will read at some arbitrary time t. With
a predicted level, one can continuously monitor the
system and diagnose a faulty level sensor LL , flow
meter F or broken pump as soon as the measured level
deviates from the prediction. With a discrete time and
discrete state model, one simply cannot represent the
evolution of the water level over time. Our experience
Page 8
9. has been this makes representation of systems with
capacitance of any kind very difficult to represent.
LL
F
∫−=
t
t FdtLLLL
0
0
Figure 13 - Tank Level Problem
6 Conclusions
We have provided a succinct conceptual introduction
to hybrid, continuous and discrete systems and
explored the primary concepts behind model-based,
discrete diagnosis and control in a manner we hope is
accessible to those outside the field. We have found
that discrete models, in particular for model-based
diagnosis and control, can be quite attractive. For
appropriate domains, they are intuitive, simple to
encode, and computationally tractable. We have given
an example of a domain where discrete models and
techniques were quite useful, and attempted to
characterize it. In particular, a discrete abstraction is
useful where the abstraction of each variable from a
continuous-valued variable to a discrete variable can
be performed independent of other variables and the
particular configuration of the system being modeled.
In addition, there are many applications that require
hybrid models with both discrete and continuous
components. We have provided an example of such a
domain, and attempted to illustrate some of its
characteristics. In particular, hybrid models are
essential where the physical system is characterized by
continuous variables whose discrete characterization is
dependent upon some context, that are summed or
multiplied, that branch in multiple directions or that
are compared to each other. Our experience with the
RWGS system suggests that making use of a hybrid
representation would present many opportunities to
build systems that are very robust and fault-tolerant –
able to operate with missing information and helping
solve control problems that will enable future
planetary exploration.
7 Acknowledgments
The authors are indebted to the RWGS development
team at NASA Kennedy Space Center, FL and the
Model-based Autonomy group at NASA Ames
Research Center whose work made this publication
possible including Peter Engrand, Sharon Feagan,
Douglas Hammond, Tim Hodge, Curtis Ihlefeld, Dale
Lueck, Carl Mattson, Bob McLaughlin, Pamela
Mullenix, Clyde Parrish, Guy Smith, John Taylor,
Susan Waterman Dan Clancy, Bill Millar, Chris
Plaunt, Adam Sweet, Anupa Bajwa, Charles Pecheur,
Benoit Hudson and Shirley Pepke
References
H. Abelson and G. J. Sussman, Structure and Interpretation
of Computer Programs, pages 286-295, MIT Press, 1996.
D. E. Bernard, G. A. Dorais, C. Fry, E. B. Gamble Jr., B.
Kanefsky, J. Kurien, W. Millar, N. Muscettola, P. P. Nayak,
B. Pell, K. Rajan, N. Rouquette, B. Smith, B. C. Williams,
“Design of the Remote Agent Experiment for Spacecraft
Autonomy”, Proceedings IEEE Aerospace, 1998.
C. Boutilier, T. Dean and S. Hanks, Planning under
Uncertainty: Structural Assumptions and Computational
Leverage, Journal of Artificial Intelligence Research,
Volume 11, 1999.
J. de Kleer and B. C. Williams, Diagnosing Multiple Faults,
Artificial Intelligence, Vol 32, Number 1, 1987.
J. de Kleer and B. C. Williams, Diagnosis With Behavioral
Modes, Proceedings of IJCAI-89, 1989.
W. Hamscher, L. Console and J. de Kleer, Readings in
Model-Based Diagnosis, Morgan Kaufmann, 1992.
L. P. Kaelbling, M. L. Littman and A. R. Cassandra,
Planning and Acting in Partially Observable Stochastic
Domains, Artificial Intelligence, Vol. 101, 1998
J. Kurien, P. P. Nayak and B. C. Williams, Model-Based
Autonomy for Robust Mars Operations,Founding
Convention of the Mars Society,1998.
J. Kurien and P. P. Nayak, Back to the Future with
Consistency Based Trajectory Tracking, AAAI, 2000.
I. Nourbakhsh, R. Powers and S. Birchfield, Dervish: An
office-navigating robot, AI Magazine, Summer, 1995.
B. Pell, D. E. Bernard, S. A. Chien, E. Gat, N. Muscettola,
P. Nayak, M. D. Wagner, and B. C. Williams, “A Remote
Agent Prototype for Spacecraft Autonomy,” SPIE
Proceedings Volume 2810, Denver, CO, 1996.
B. C. Williams and P. Nayak, A Model-based
Approach to Reactive Self-Configuring Systems,
AAAI, 1996.
Page 9