Hanane LOUAJRI, Moamar SAYED-MOUCHAWEH

Slides:



Advertisements
Similar presentations
L3S Research Center University of Hanover Germany
Advertisements

Modeling and Simulation By Lecturer: Nada Ahmed. Introduction to simulation and Modeling.
V-1 Part V: Collaborative Signal Processing Akbar Sayeed.
A Sensor Fault Diagnosis Scheme for a DC/DC Converter used in Hybrid Electric Vehicles Hiba Al-SHEIKH Ghaleb HOBLOS Nazih MOUBAYED.
Dependence Analysis in Reduction of Requirement Based Test Suites Boris Vaysburg Luay Tahat Bogdan Korel Computer Science Department Bell Labs Innovations.
Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings Agnes Madalinski 1, and Victor Khomenko 2 1 Faculty of Engineering.
Cerebellar Spiking Engine: Towards Object Model Abstraction in Manipulation UGR with input from PAVIA and other partners  Motivation 1.Abstract corrective.
Experiments on Query Expansion for Internet Yellow Page Services Using Log Mining Summarized by Dongmin Shin Presented by Dongmin Shin User Log Analysis.
CHE 185 – PROCESS CONTROL AND DYNAMICS
Bastien DURAND Karen GODARY-DEJEAN – Lionel LAPIERRE Robin PASSAMA – Didier CRESTANI 27 Janvier 2011 ConecsSdf Architecture de contrôle adaptative : une.
Locally Constraint Support Vector Clustering
Towards Distributed Diagnosis of Complex Physical Systems J. Gandhe Embedded & Hybrid Systems Laboratory, EECS Dept & ISIS, Vanderbilt University Collaborators:
Chess Review May 10, 2004 Berkeley, CA Towards Distributed Diagnosis of Complex Physical Systems Presented by- Gautam Biswas Jyoti Gandhe Xenofon D. Koutsoukos.
Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng Department of Computer and Information Science, Linkoping University, Sweden December 3, 2010.
EXAMPLES OF FEEDBACK Today we will
1 IMPROVING RESPONSIVENESS BY LOCALITY IN DISTRIBUTED VIRTUAL ENVIRONMENTS Luca Genovali, Laura Ricci, Fabrizio Baiardi Lucca Institute for Advanced Studies.
2. Introduction to Redundancy Techniques Redundancy Implies the use of hardware, software, information, or time beyond what is needed for normal system.
A Multi-Agent System for Visualization Simulated User Behaviour B. de Vries, J. Dijkstra.
Dependability Evaluation. Techniques for Dependability Evaluation The dependability evaluation of a system can be carried out either:  experimentally.
Introduction to Distributed Systems CS412: Programming Distributed Applications Computer Science Southern Illinois University CS412: Programming Distributed.
November 21, 2005 Center for Hybrid and Embedded Software Systems Engine Hybrid Model A mean value model of the engine.
ESA PetriNet: Petri Net Tool for Reliability Analysis Romaric Guillerm, Nabil Sadou, Hamid Demmou 14 Oct LAAS-CNRS.
Seashells. This presentation presents a method for modeling seashells. Why seashells you ask ? Two main reasons : The beauty of shells invites us to construct.
Case 1: Optimum inspection and maintenance rates (wind turbine is available during inspection) Case 2: Optimum inspection and maintenance rates (wind turbine.
Agent Based Modeling and Simulation
COMPLEXITY SCIENCE WORKSHOP 18, 19 June 2015 Systems & Control Research Centre School of Mathematics, Computer Science and Engineering CITY UNIVERSITY.
Introduction Due to the recent advances in smart grid as well as the increasing dissemination of smart meters, the electricity usage of every moment in.
Discovery of Cellular Automata Rules Using Cases Ken-ichi Maeda Chiaki Sakama Wakayama University Discovery Science 2003, Oct.17.
MULTITEMP 2005 – Biloxi, Mississippi, USA, May 16-18, 2005 Remote Sensing Laboratory Dept. of Information and Communication Technology University of Trento.
UPC/SHMEM PAT High-level Design v.1.1 Hung-Hsun Su UPC Group, HCS lab 6/21/2005.
Chiung-Yao Fang Hsiu-Lin Hsueh Sei-Wang Chen National Taiwan Normal University Department of Computer Science and Information Engineering Dangerous Driving.
My talk describes how the detailed error diagnosis and the automatic solution procedure of problem solving environment T-algebra can be used for automatic.
Statistical Sampling-Based Parametric Analysis of Power Grids Dr. Peng Li Presented by Xueqian Zhao EE5970 Seminar.
Jana Flochová and René K. Boel Faculty of Informatics and Information Technology Slovak university of Technology, Bratislava, Slovakia EESA Department,
1 StL IDENTIFICATION AND MONITORING OF PEM ELECTROLYSER BASED ON DYNAMICAL MODELLING Mohamed El Hadi LEBBAL, Stéphane LECŒUCHE Ecole des Mine de Douai.
CS 367: Model-Based Reasoning Lecture 5 (01/29/2002) Gautam Biswas.
1 Computing Challenges for the Square Kilometre Array Mathai Joseph & Harrick Vin Tata Research Development & Design Centre Pune, India CHEP Mumbai 16.
Nordic Process Control Workshop, Porsgrunn, Norway Application of the Enhanced Dynamic Causal Digraph Method on a Three-layer Board Machine Cheng.
Fault-Tolerant Control. Fault Tolerance Passive Passive  Tolerance achieved by the use of feedback control laws that are robust to possible system faults.
Abdul-Rahman Elshafei – ID  Introduction  SLAT & iSTAT  Multiplet Scoring  Matching Passing Tests  Matching Complex Failures  Multiplet.
Transforming DEVS to Non-Modular Form For Faster Cellular Space Simulation Arizona Center for Integrative Modeling and Simulation Electrical and Computer.
HT-7 Proposal of the investigation on the m=1 mode oscillations in LHCD Plasmas on HT-7 Exp2005 ASIPP Youwen Sun, Baonian Wan and the MHD Team Institute.
Introduction to GO-FLOW Method and Comparison to RGGG Method Lab Seminar Dec. 13th, 2010 Seung Ki Shin.
1 Decentralized Adaptive Voltage Control with Distributed Energy Resources Presenter: Huijuan Li.
Control of Dynamic Discrete-Event Systems Lenko Grigorov Master’s Thesis, QU supervisor: Dr. Karen Rudie.
BJT Circuits Chapter 5 Dr.Debashis De Associate Professor
Experience Report: System Log Analysis for Anomaly Detection
Automatically Labeled Data Generation for Large Scale Event Extraction
OPERATING SYSTEMS CS 3502 Fall 2017
Modeling event building architecture for the triggerless data acquisition system for PANDA experiment at the HESR facility at FAIR/GSI Krzysztof Korcyl.
402.5 MHz Debunching in the Ring
Recognizing Deformable Shapes
Wen Cai Supervisor: Dr. Babak Fahimi December 04, 2015
Parallel and Distributed Simulation Techniques
Pole Placement and Decoupling by State Feedback
Multiple Wavelet Coefficients Fusion in Deep Residual Networks for Fault Diagnosis
Defect and High Level Fault Modeling in Digital Systems
The Globus Toolkit™: Information Services
Reinforcement Learning with Partially Known World Dynamics
Soft Error Detection for Iterative Applications Using Offline Training
by Xiang Mao and Qin Chen
Distributed Control Applications Within Sensor Networks
Market-based Dynamic Task Allocation in Mobile Surveillance Systems
Volume 98, Issue 9, Pages (May 2010)
Assembly Language for Intel-Based Computers, 5th Edition
Berlin Chen Department of Computer Science & Information Engineering
Predictability Verification with Petri Net Unfoldings
Berlin Chen Department of Computer Science & Information Engineering
Berlin Chen Department of Computer Science & Information Engineering
Tom Peterson, Fermilab 6 December 2011
Presentation transcript:

Hanane LOUAJRI, Moamar SAYED-MOUCHAWEH Decentralized Diagnosis of a Class of Hybrid Dynamic Systems: Application to the Three Cell Converter Hanane LOUAJRI, Moamar SAYED-MOUCHAWEH Computer Science and Automatic Control Lab Ecole des Mines de Douai, France 25 June, 2014 1

Plan Introduction System decomposition and modelling Decentralized hybrid diagnoser Experimentation and obtained results Conclusion 1 December 2018

Objectives and motivations Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Objectives and motivations Diagnosing of the hybrid dynamic systems In particular, power electronic systems discretely controlled continuous systems large scale systems Type of faults : parametric faults discrete faults Decentralized diagnosing of hybrid dynamic systems Taking benefit of the modularity of the system in order to overcome the diagnosis complexity of large scale systems Exploiting the continuous and discrete dynamics as well as the interactions between them 1 December 2018

Three Cell Converter Discrete controller E S2 S3 S1 R C2 C1 Vc2 Vc1 I Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Three Cell Converter E S2 S3 S1 R C2 C1 Vc2 Vc1 I OS3, CS3 OS2, CS2 OS1, CS1 L [Vc1, Vc2, I] Discrete controller 1 December 2018

Three cell converter faults Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Three cell converter faults Discrete faults: F1: S1 stuck opened F2: S1 stuck closed F3: S2 stuck opened F4: S2 stuck closed F5: S3 stuck opened F6: S3 stuck closed Parametric faults: F7: F8: 1 December 2018

Proposed approach DD2 Local diagnosis decision DD1 DD3 Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Proposed approach Hybrid dynamic system HDS Hybrid component HC1 Hybrid component HC3 Hybrid component HC2 Local hybrid diagnoser D1 Local hybrid diagnoser D2 Local hybrid diagnoser D3 Coordinator Interactions Decomposition Local diagnosis decision DD1 DD2 DD3 Global diagnosis decision DD Local hybrid model A1 Local hybrid model A2 Local hybrid model A3 1 December 2018

Discrete components modling Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Discrete components modling CS1 OS1 S1_stuck_open S1_stuck_close OS1

Continuous components modling and residuals generation Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Continuous components modling and residuals generation Normal Faults fault Normal transition 1 December 2018

Hybrid denamic residuals generation Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Hybrid denamic residuals generation Proper dynamics of Cci Interaction between Dcj and Ccm and Cci Interaction between Dcj and Cci Interaction between Ccm and Cci Interaction between Dcj and Ccm and Cci Interaction between Ccm and Cci Interaction between Dcj and Cci Proper dynamics of Cci 1 December 2018

Hybrid denamic residuals generation Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Hybrid denamic residuals generation 1 December 2018

Discrete controller [Vc1, Vc2, I] OS2, OS3, OS1, CS3 CS2 CS1 S3 S2 S1 Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser [Vc1, Vc2, I] Discrete controller OS3, CS3 OS2, CS2 OS1, CS1 S3 S2 S1 L C2 C1 R I E Vc1 Vc2 HC2 HC1 HC3 1 December 2018

Hybrid components modling Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Hybrid components modling State index 1 December 2018

Hybrid components modling Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Hybrid components modling OS1 CS1 S1_stuck_close S1_stuck_open 1 December 2018

Tasks of the decentralized hybrid deiagnoser Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Tasks of the decentralized hybrid deiagnoser Detecting and localizing the discrete faults affecting the corresponding hybrid component Detecting parametric faults affecting the corresponding hybrid component , determining their amplitude and following their progress 1 December 2018

Fault signatures construction Introduction Experimentation and obtained results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Fault signatures construction Continuous symbols (CS): 1 December 2018

Fault signatures construction Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Fault signatures construction Discrete symbols (DS): 1 December 2018

Fault signatures construction Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Fault signatures construction Global fault signature: Local fault signature: 1 December 2018

Equivalence between global and local fault signatures Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Equivalence between global and local fault signatures 1 December 2018

Global residuals calculation Global signature construction Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Central point Discrete controller K Central point Global residuals calculation Global signature construction HDS 1 December 2018

Decentralized hybrid diagnoser construction Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Decentralized hybrid diagnoser construction Initial state of model , states reached by the occurrence of unobservable events states that are reached from any state of , through either the same control command event or the same fault signature The transition function: Model states: Model states: 1 December 2018

System decomposition and modelling Conclusion Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 Initial state of model , states reached by the occurrence of unobservable events OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

System decomposition and modelling Conclusion Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 Initial state of model , states reached by the occurrence of unobservable events OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

System decomposition and modelling Conclusion Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 The nominal evolution corespendant to nominal evolution of this state OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

System decomposition and modelling Conclusion Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 And the label englob the set of the label of the selecte state OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

System decomposition and modelling Conclusion Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser CS1 CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 After the occurrence of the controlled trnsition OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

CS1 1 December 2018 MED-2014 CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

CS1 OS1 CS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 So the second state englob the set of state reach from the state of z1 due to yhe occurrence of the controlled event CS1 OS1 CS1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

CS1 CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 OS1 CS1 And the state rech from the select state du the occurrence of an observibel event OS1 CS1 OS1 CS1 1 December 2018 MED-2014

CS1 CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 OS1 CS1 The sst tz q4 generate a faumt signature that allow to diagnose with certainty the occurencee of fault F1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

CS1 CS1 OS1 CS1 OS1 OS1 CS1 CS1 OS1 CS1 S1_stuck_open S1_stuck_close OS1 OS1 CS1 The sst tz q4 generate a faumt signature that allow to diagnose with certainty the occurencee of fault F1 OS1 CS1 OS1 CS1 1 December 2018 MED-2014

CS1 OS1 1 December 2018 MED-2014

Coordinator construction Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Coordinator construction Cases Local diagnoser D1 Local diagnoser D2 Local diagnoser D3 Global decision 1 N1 N2 N3 N 2 F1 N2 or Nothing N3 or Nothing 3 N1 or Nothing F2 4 F1 or F2 5 F3 F1 or F3 6 F2 or F3 7 F1orF2 or F3 8 Nothing The global decisionn is calculated by margin the set of local deci 1 December 2018 MED-2014

Experimentation and obtained results: Normal operating mode Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Experimentation and obtained results: Normal operating mode Vc1has a periodic signal corresponding to load and unload of capacitor (respectively ) around the mean value (respectively and that the current remains constant in the region of its reference value (0.15A). 1 December 2018

Experimentation and obtained results: Faulty operating mode Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Experimentation and obtained results: Faulty operating mode The test scenario is generated as follows 1 December 2018

Experimentation and obtained results: Faulty operating mode Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Experimentation and obtained results: Faulty operating mode (respectively ) has lost the periodic aspects in the case of fault and that the current has become nonconstant in the region of its reference value. 1 December 2018

Experimentation and obtained results: Faulty operating mode Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Experimentation and obtained results: Faulty operating mode 1 December 2018

Experimentation and obtained results: Faulty operating mode Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Experimentation and obtained results: Faulty operating mode 1 December 2018

Experimentation and obtained results: Faulty operating mode Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Experimentation and obtained results: Faulty operating mode 1 December 2018

Conclusion and perspectives Introduction Simulation results System decomposition and modelling Conclusion Decentralized hybrid diagnoser Conclusion and perspectives Works in progress Application of the proposed decentralized diagnosis hybrid dynamic systems using noisy signals (input and process) Perspectives Using real three cell converter Diagnosing the multiple faults Expanding the class of considered hybrid dynamic systems Achieving the prognostics of drift-like faults 1 December 2018