We propose a definition of detectability for nonlinear systems. This definition generalizes naturally the standard property in the linear case, and is consistent with the “input to state stability” approach to controlled stability. We provide a characterization in terms of a dissipation inequality involving storage (Lyapunov) functions.

It is shown that any stabilizing, certainty equivalence control used within an adaptive control system, causes the familiar interconnection of a controlled process and associated output estimator to be detectable through the estimator's output error e p , for every frozen value of the index or parameter vector p upon which both the estimator and controller dynamics depend. The fact that certain...

Industry 4.0 focuses on the deployment of artificial intelligence in various fields for automation variety industrial applications like aerospace, defence, material manufacturing, etc. Application these principles to active thermography, facilitates automatic defect detection without human intervention and helps assessing integrity product quality. This paper employs neural network (ANN) based ...

<p style='text-indent:20px;'>This technical note presents analytical investigations on detectability of Boolean network with pinning control and injection mode (BNPCIM). Detectability represents the property to uniquely determine current state system according known input-output sequences. Using Cheng product matrices, BNPCIM can be converted into a special algebraic form BCNs mix-valued ...

Asraf, D., 2003. Optimal Detectors for Transient Signal Families and Nonlinear Sensors: Derivations and Applications, 201 pp. Uppsala. ISBN 91-506-1664-1. This thesis is concerned with detection of transient signal families and detectors in nonlinear static sensor systems. The detection problems are treated within the framework of likelihood ratio based binary hypothesis testing. An analytical ...

We study surplus extraction in the general environment of McAfee and Reny (1992), provide two alternative proofs their main theorem. The first is an analogue classic argument Crémer McLean, 1985, 1988, using geometric features set agents' beliefs to construct a menu contracts extracting desired surplus. This argument, which requires finite state space, also leads counterexample showing that ful...

This thesis proposes a quantitative method to optimize inspection/repair intervention in rail defect management. Rail defect management is important for track maintenance, since rails are the most significant and basic component of the track systems. Rail inspection is a fundamental intervention to prevent rail failure. Railroads have evolved the rail inspection interval based on their empirica...