The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
CCAMY systems in partnership with Lille University currently develops Emulatio: a simulation and diagnosis platform for multi-physic systems, using Hybrid Bond Graph. This platform is devoted to automatically build model of industrial Computer-Aided Design schematics, then generate Block-Diagrams for simulation and export Global Analytical Redundancy Relations for model-diagnosis. For this task, a...
In this paper, a formal approach to analyze system reconfigurability is proposed. The model we use to describe a system is based on the notions of services provided by the system components and their organization into USOM (User Operating Modes). Fault tolerance results from the possibility to run a given service under several different versions. Each version is characterized by a different set of...
An efficient supervision system requires not only a highspeed system, but also high reliability (i.e. fault tolerant systems), high flexibility (generic design) and high scalability (distributed design). Industrial applications have revealed these absolute needs that distinguish modern architectures from the known ones. Marrying top-level researches from three distinct domains — automation, distributed...
The Fuel Cell (FC) is an ideal electrical power source. However, FC stacks and even more FC systems are vulnerable to faults (such as water flooding and membrane drying) that can cause the disruption or the permanent damage. To guarantee the safe operation of the FC systems, it is necessary to use systematic techniques to detect and isolate faults for the purpose of diagnosis. The problematic for...
This paper continues to present the framework of multi-faults diagnosis from the preceding paper. There are two main contributions in this part. One is aimed at developing a new diagnostic process for continuous and dynamic system and its corresponding consistency-checking module. This diagnostic process and its consistency-checking module are all based on the models defined by STRIPS (STandford Research...
This paper is part I of a two part effort that is intended to present a framework of multi-faults diagnosis. Reiter has proposed a consistency-based approach for multi-faults diagnosis. We extend his theory to deal with the dynamic and continuous systems and offer a necessary assumption and a formal demonstration. Multi-faults diagnosis is a partially observable problem because there is usually not...
This paper proposes a generic component model (GCM) to give a functional representation of large scale systems. The GCM rests on the notion of services provided by components and their organization into operating modes. To each operating mode corresponds a behavior model uses as reference to diagnose fault. Faults are detected by local diagnosers built on subsystems using a merging procedure without...
This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether...
This paper presents a formal approach to analyze system reconfigurability, based on a generic component model, which describes the system from the services provided by its components, and their organization into operating modes, in order to achieve specific objectives. Following a bottom-up approach, services provided by elementary components are used as resources for services at a higher level. Several...
We propose in this paper a graphical interpretation of the structural properties of a system. The concerned properties are the observability, the controllability and the reconfigurability. The observability allows to identify the part of the system which is monitorable and the controllability allows to drive the system to a wished state. These two properties are required for the realisation of the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.