This paper presents a method for investigating, through an automatic procedure, the (lack of) identifiability of parametrized dynamical models. This method takes into account constraints on parameters and returns parameters whose estimations make the model identifiable. It is based on i) an equivalence between an extension of the notion of identifiability and the existence of solutions of algebraic systems, ii) the use of symbolic computations for testing their existence.This method is described in details and is applied to two examples, of which the last one involves 12 parameters.
This paper gives sufficient conditions for having complete synchronization of oscillators in connected undirected networks. The considered oscillators are not necessarily identical and the synchronization terms can be nonlinear. An important problem about oscillators networks is to determine conditions for having complete synchronization that is the stability of the synchronous state. The synchronization study requires to take into account the graph topology. In this paper, we extend some results to non linear cases and we give an existence condition of trajectories. Sufficient conditions given in this paper are based on the study of a Lyapunov function and the use of a pseudometric which enables us to link network dynamics and graph theory. Applications of these results are presented.
This paper presents a novel method for assessing multiple fault diagnosability and detectability of nonlinear parametrized dynamical models. This method is based on computer algebra algorithms which return precomputed values of algebraic expressions characterizing the presence of some constant multiple fault(s). Estimations of these expressions, obtained from inputs and outputs measurements, permit then the detection and the isolation of multiple faults acting on the system. This method applied on a coupled water-tank model attests the relevance of the suggested approach.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.