The book introduces novel algorithms for designing fault-tolerant control (FTC) systems using the behavioral system theoretic approach, and presents a demonstration of successful novel FTC mechanisms on several benchm...
详细信息
ISBN:
(数字)9783319688299
ISBN:
(纸本)9783319688275;9783319886640
The book introduces novel algorithms for designing fault-tolerant control (FTC) systems using the behavioral system theoretic approach, and presents a demonstration of successful novel FTC mechanisms on several benchmark examples. The authors also discuss a new transient management scheme, which is an essential requirement for the implementation of active FTC systems, and two data-driven methodologies that are broadly classified as active FTC systems: the projection-based approach and the online-redesign approach. These algorithms do not require much a priori information about the plant in real-time, and in addition this novel implementation of active FTC systems circumvents various weaknesses induced by using a diagnostic module in real-time. The book provides graduate students taking masters and doctoral courses in mathematics, control, and electrical engineering an excellent stepping-stone for their research. It also appeals to practitioners interested to apply innovative fail-safecontrol techniques.
This book proposes a new approach to handle the problem of limited training data. Common approaches to cope with this problem are to model the shape variability independently across predefined segments or to allow art...
详细信息
ISBN:
(数字)9783319535081
ISBN:
(纸本)9783319535074;9783319851693
This book proposes a new approach to handle the problem of limited training data. Common approaches to cope with this problem are to model the shape variability independently across predefined segments or to allow artificial shape variations that cannot be explained through the training data, both of which have their drawbacks. The approach presented uses a local shape prior in each element of the underlying data domain and couples all local shape priors via smoothness constraints. The book provides a sound mathematical foundation in order to embed this new shape prior formulation into the well-known variational image segmentation framework. The new segmentation approach so obtained allows accurate reconstruction of even complex object classes with only a few training shapes at hand.
The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
ISBN:
(数字)9783031230080
ISBN:
(纸本)9783031230073;9783031230103
The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
暂无评论