arXiv subjects

Costas Kravaris

Publications and source records attributed to Costas Kravaris.

12 recordsLinked to original sources

arXiv2025

Design of Linear Residual Generators for Combined Fault Detection and Estimation in Nonlinear Systems

A systematic method for the design of linear residual generators for combined fault detection and estimation in nonlinear systems is developed. The proposed residual generator is a linear functional observer built for an extended system that incorporates the fault dynamics from a linear exo-system, and in addition possesses disturbance-decoupling properties. Necessary and sufficient conditions for the existence of such residual generators for nonlinear systems are derived. As long as these conditions are satisfied, we obtain explicit design formulas for the residual generator. The results are illustrated through a chemical reactor case study, which demonstrates the effectiveness of the proposed methodology.

eess.SY↗

arXiv2024

On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics

This paper proposes a novel approach for designing functional observers for nonlinear systems, with linear error dynamics and assignable poles. Sufficient conditions for functional observability are first derived, leading to functional relationships between the Lie derivatives of the output to be estimated and the ones of the measured output. These are directly used in the proposed design of the functional observer. The functional observer is defined in differential input-output form, satisfying an appropriate invariance condition that emerges from the state-space invariance conditions of the literature. A concept of functional observer index is also proposed, to characterize the lowest feasible order of functional observer with pole assignment. Two chemical reactor applications are used to illustrate the proposed approach.

eess.SY↗

arXiv2023

Disturbance decoupled functional observers for fault estimation in nonlinear systems

This work deals with the problem of designing disturbance decupled observers for the estimation of a function of the states in nonlinear systems. Necessary and sufficient conditions for the existence of lower order disturbance decoupled functional observers with linear dynamics and linear output map are derived. Based on this methodology, a fault-estimation scheme based on disturbance decoupled observers will be presented. Throughout the paper, the application of the results will be illustrated through a chemical reactor case study

math.OC↗

arXiv2021

Functional observers with linear error dynamics for discrete-time nonlinear systems, with application to fault diagnosis

This work deals with the problem of designing observers for the estimation of a single function of the states for discrete-time nonlinear systems. Necessary and sufficient conditions for the existence of lower order functional observers with linear dynamics and linear output map are derived. The results provide a direct generalization to Luenberger's linear theory of functional observers. The design methodology is tested on a non-isothermal CSTR case study.

eess.SY↗

arXiv2021

Functional Observers with Linear Error Dynamics for Nonlinear Systems

In this work, the problem of designing observers for estimating a single nonlinear functional of the state is formulated for general nonlinear systems. Notions of functional observer linearization are also formulated, in terms achieving exactly linear error dynamics in transformed coordinates and with prescribed rate of decay of the error. Necessary and sufficient conditions for the existence of a lower-order functional observer with linear dynamics are derived. The results provide a direct generalization of Luenberger's linear theory of functional observers to nonlinear systems.

eess.SY↗

arXiv2021

Hidden Markov Model Based Approach for Diagnosing Cause of Alarm Signals

When a fault occurs in a process, it slowly propagates within the system and affects the measurements triggering a sequence of alarms in the control room. The operators are required to diagnose the cause of alarms and take necessary corrective measures. The idea of representing the alarm sequence as the fault propagation path and using the propagation path to diagnose the fault is explored. A diagnoser based on hidden Markov model is built to identify the cause of the alarm signals. The proposed approach is applied to an industrial case study: Tennessee Eastman process. The results show that the proposed approach is successful in determining the probable cause of alarms generated with high accuracy. The model was able to identify the cause accurately, even when tested with short alarm sub-sequences. This allows for early identification of faults, providing more time to the operator to restore the system to normal operation.

eess.SY↗

arXiv2011

Global Exponential Observers for Two Classes of Nonlinear Systems

This paper develops sufficient conditions for the existence of global exponential observers for two classes of nonlinear systems: (i) the class of systems with a globally asymptotically stable compact set, and (ii) the class of systems that evolve on an open set. In the first class, the derived continuous-time observer also leads to the construction of a robust global sampled-data exponential observer, under additional conditions. Two illustrative examples of applications of the general results are presented, one is a system with monotone nonlinearities and the other is the chemostat system.

math.OC↗

arXiv2008

Relaxed Lyapunov Criteria for Robust Global Stabilization of Nonlinear Systems

The notion of the relaxed Robust Control Lyapunov Function (relaxed RCLF) is introduced and is exploited for the design of robust feedback stabilizers for nonlinear systems. Particularly, it is shown for systems with input constraints that relaxed RCLFs can be easily obtained, while RCLFs are not available. Moreover, it is shown that the use of relaxed RCLFs usually results to different feedback designs from the ones obtained by the use of the standard RCLF methodology. Using the relaxed RCLFs feedback design methodology, a simple controller that guarantees robust global stabilization of a perturbed chemostat model is provided.

math.OC↗

arXiv2008

From Continuous-Time Design to Sampled-Data Design of Nonlinear Observers

In this work, a sampled-data nonlinear observer is designed using a continuous-time design coupled with an inter-sample output predictor. The proposed sampled-data observer is a hybrid system. It is shown that under certain conditions, the robustness properties of the continuous-time design are inherited by the sampled-data design, as long as the sampling period is not too large. The approach is applied to linear systems and to triangular globally Lipschitz systems.

math.OC↗

arXiv2007

Robust Global Stabilizability by Means of Sampled-Data Control with Positive Sampling Rate

This work proposes a notion of robust reachability of one set from another set under constant control. This notion is used to construct a control strategy, involving sequential set-to-set reachability, which guarantees robust global stabilization of nonlinear sampled data systems with positive sampling rate. Sufficient conditions for robust reachability of one set from another under constant control are also provided. Finally, the proposed method is illustrated through two examples.

math.OC↗

arXiv2006

Non-Uniform in Time State Estimation of Dynamical Systems

In this paper it is showed that if a time-varying uncertain system is robustly completely detectable then there exists an estimator for this system, i.e. we can estimate asymptotically the state vector of the system. Moreover, if a time-varying uncertain system is robustly completely observable then there exists an estimator for this system that guarantees convergence of the estimates with assignable rate of convergence. Finally, it is proved that under the assumption of Robust Lipschitz complete observability, there is a global solution of the observer problem.

math.OC↗

arXiv2006

Global Stability Results for Systems Under Sampled-Data Control

In this work sufficient conditions expressed by means of single and vector Lyapunov functions of Uniform Input-to-Output Stability (UIOS) and Uniform Input-to-State Stability (UISS) are given for finite-dimensional systems under feedback control with zero order hold.

math.OC↗