3,344 research outputs found
A semidefinite relaxation procedure for fault-tolerant observer design
A fault-tolerant observer design methodology is proposed. The aim is to guarantee a minimum level of closed-loop performance under all possible sensor fault combinations while optimizing performance under the nominal, fault-free condition. A novel approach is proposed to tackle the combinatorial nature of the problem, which is computationally intractable even for a moderate number of sensors, by recasting the problem as a robust performance problem, where the uncertainty set is composed of all combinations of a set of binary variables. A procedure based on an elimination lemma and an extension of a semidefinite relaxation procedure for binary variables is then used to derive sufficient conditions (necessary and sufficient in the case of one binary variable) for the solution of the problem which significantly reduces the number of matrix inequalities needed to solve the problem. The procedure is illustrated by considering a fault-tolerant observer switching scheme in which the observer outputs track the actual sensor fault condition. A numerical example from an electric power application is presented to illustrate the effectiveness of the design
DESIGN OF OPTIMAL PROCEDURAL CONTROLLERS FOR CHEMICAL PROCESSES MODELLED AS STOCHASTIC DISCRETE EVENT SYSTEMS
This thesis presents a formal method for the the design of optimal and provably correct
procedural controllers for chemical processes modelled as Stochastic Discrete Event Systems
(SDESs). The thesis extends previous work on Procedural Control Theory (PCT) [1],
which used formal techniques for the design of automation Discrete Event Systems (DESs).
Many dynamic processes for example, batch operations and the start-up and shut down of
continuous plants, can be modelled as DESs. Controllers for these systems are typically
of the sequential type.
Most prior work on characterizing the behaviour of DESs has been restricted to deterministic
systems. However, DESs consisting of concurrent interacting processes present
a broad spectrum of uncertainty such as uncertainty in the occurrence of events. The
formalism of weighted probabilistic Finite State Machine (wp-FSM) is introduced for
modelling SDESs and pre-de ned failure models are embedded in wp-FSM to describe
and control the abnormal behaviour of systems. The thesis presents e cient algorithms
and procedures for synthesising optimal procedural controllers for such SDESs.
The synthesised optimal controllers for such stochastic systems will take into consideration
probabilities of events occurrence, operation costs and failure costs of events in
making optimal choices in the design of control sequences. The controllers will force the
system from an initial state to one or more goal states with an optimal expected cost and
when feasible drive the system from any state reached after a failure to goal states.
On the practical side, recognising the importance of the needs of the target end
user, the design of a suitable software implementation is completed. The potential of both
the approach and the supporting software are demonstrated by two industry case studies.
Furthermore, the simulation environment gPROMS was used to test whether the operating
speci cations thus designed were met in a combined discrete/continuous environment
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks
We give an overview of known methods for monitoring, fault diagnosis and testing problems for real-time systems using timed automata as the main model. We present techniques for constructing monitors/diagnosers/testers with analog or digital clocks. We list a number of open problems in the field
A Tractable Fault Detection and Isolation Approach for Nonlinear Systems with Probabilistic Performance
This article presents a novel perspective along with a scalable methodology
to design a fault detection and isolation (FDI) filter for high dimensional
nonlinear systems. Previous approaches on FDI problems are either confined to
linear systems or they are only applicable to low dimensional dynamics with
specific structures. In contrast, shifting attention from the system dynamics
to the disturbance inputs, we propose a relaxed design perspective to train a
linear residual generator given some statistical information about the
disturbance patterns. That is, we propose an optimization-based approach to
robustify the filter with respect to finitely many signatures of the
nonlinearity. We then invoke recent results in randomized optimization to
provide theoretical guarantees for the performance of the proposed filer.
Finally, motivated by a cyber-physical attack emanating from the
vulnerabilities introduced by the interaction between IT infrastructure and
power system, we deploy the developed theoretical results to detect such an
intrusion before the functionality of the power system is disrupted
- …