Process connected simulation of a process is very useful for optimal decision making. The problem of computer aided operator support in the case of a sudden augmentation of cyanide concentration in the inlet flow of a...
详细信息
Process connected simulation of a process is very useful for optimal decision making. The problem of computer aided operator support in the case of a sudden augmentation of cyanide concentration in the inlet flow of a big industrial wastewater treatment plant is presented in the work. By using simulation experiments the operator of the process may check the consequences of the operating control strategies before the emergency in the real-world process occurs.
By a hybrid system we mean a discrete controller in interaction with a physical environment. This paper discusses methodologies for incorporating physically grounded models in representations of hybrid systems. To thi...
详细信息
An intelligent and dependable voting mechanism for use in real-time control applications is presented. Strategies proposed by current safety standards advocate N-version software to minimise the effects from undetecte...
详细信息
An intelligent and dependable voting mechanism for use in real-time control applications is presented. Strategies proposed by current safety standards advocate N-version software to minimise the effects from undetected software design faults (bugs). This requires diversity in design but presents a problem that truly diverse code produces diverse results, that is, differences in output values, timeliness and reliability. To reach a consensus requires an intelligent voter, especially when non stop operation is demanded, e.g. aerospace applications. This paper, therefore, firstly considers the applicable safety standards and the requirements for an intelligent voter service. The use of replicated voters to improve reliability is examined and a mechanism to ensure non stop operation is presented. The formal mathematical analysis used to verify the crucial behavioural properties of the voting service design is detailed. Finally the creation of N-version redundant voters are considered using Neural nets and Genetic Algorithms.
An intelligent and robust voting service for real-time distributed control systems is proposed. Three novel features of the voter are described. Firstly, the voter is distributed using a primary site algorithm. This a...
详细信息
A simple algorithm for establishing the presence of points common to some singularity (hyper)surfaces associated to covariance matrices is developed. It allows, on the basis of the new algebraic and geometric properti...
详细信息
A simple algorithm for establishing the presence of points common to some singularity (hyper)surfaces associated to covariance matrices is developed. It allows, on the basis of the new algebraic and geometric properties recently given by Guidorzi (1994), the computation of the maximal number of linear relations that can be associated to a given set of data.
A hybrid system is a system containing both of time-evolving components and event-driven components. A formal approach is explored in this paper, based on Extended Duration Calculus (EDC), for the development of hybri...
详细信息
This paper introduces a framework of tools which allow the design of distributed, potentially fault-tolerant, real-time control software. This framework takes a system specified in the control engineering domain and t...
详细信息
This paper introduces a framework of tools which allow the design of distributed, potentially fault-tolerant, real-time control software. This framework takes a system specified in the control engineering domain and translates this application-oriented representation into a software engineering representation. From this new representation, automatic code generation tools have been developed to create a complete, executable control system implementation.< >
Al planning systems must be able to update their internal model of the domain in order to determine the effects of a possible action. The most widely used update method is the STRIPS operator. STRIPS operators are ext...
详细信息
In this paper, a combined method of change detection and failure decision is proposed for the system under the adaptive control based on the self-tuning regulator. The controlled system is assumed encounter unexpected...
详细信息
In this paper, a combined method of change detection and failure decision is proposed for the system under the adaptive control based on the self-tuning regulator. The controlled system is assumed encounter unexpected parameter changes, which may be caused by a failure or a normal operation. Such a system change can effectively be detected by using Fullback Discrimination Information (KDI) as an index for model discrimination. In order to decide whether the detected system change is caused by a failure or not, a neural network approach to failure decision is introduced. Based on the knowledge about failure modes and system operations, the regulator parameter variations after the change detection are used as training data for the network learning. In this way an on-line monitoring scheme of adaptively controlled systems can be established. Simulation studies of a second-order damped oscillator have been earned out to demonstrate the effectiveness of the method.
Design and implementation of an autopilot for ships using multiple control strategies are discussed in this paper. Both course-keeping and track-keeping problems are involved, the course-keeping controller is the esse...
详细信息
Design and implementation of an autopilot for ships using multiple control strategies are discussed in this paper. Both course-keeping and track-keeping problems are involved, the course-keeping controller is the essential part of the track-keeping project, and the track-keeping controller is in fact a heading error calculator and transmitter. A self tuning regulator (STR) of the generalized minimum variance (GMV) type is taken as the principal controller, to which an integral controller (I) and a linear quadratic gaussian controller (LQG) are superposed to improve the performance of ship motion control and to enhance the energy saving outcomes. When the heading error exceeds a certain threshold a PlO controller or a knowledge-based multi-mode controller (MC), depending on the control is in course-keeping or track-keeping mode, will take over the heading control to overcome the severe environment disturbances or to speed up the track-following processes. Laboratory simulations and full scale sea trials have been performed, the main results are briefly reported.
暂无评论