One of the unique features of the PHM conferences is a full day of free technical tutorials on various topics in health management taught by industry experts. At the first European PHM conference, tutorials will take place on day one, Tuesday July 03. As educational events tutorials provide a comprehensive introduction to the state-of-the-art in the tutorial’s topic. Proposed tutorials address the interests of a varied audience: beginners, developers, designers, researchers, practitioners, and decision makers who wish to learn a given aspect of prognostic health management. Tutorials will focus both on theoretical aspects as well as industrial applications of prognostics. These tutorials reach a good balance between the topic coverage and its relevance to the community.
- Model Based Diagnosis
Presented by Peter Struss (Technical University of Munich, Germany)
- Fundamentals of Prognostics
Presented by Kai Goebel(NASA, USA) / Abhinav Saxena (NASA/SGT, USA)
- State-of-the-Art Realization of Prognostics in Industry
Presented by By Benoit Iung (Lorraine University, France), Jean-Baptiste Leger (Predict company, France), and Michel Schieber (Cassidian T&S, EADS company, France)
- Runtime Verification and Runtime Reflection
Presented by By Martin Leucker (University of Lübeck, Germany)
PHM conference tutorials have been a popular event in the past and the PHM Society is proud to continue this service to the community. Tutorials from the past conferences can be freely accessed from respective conference pages.
Tutorials Chair: Len Gelman (Cranfield University, UK)
Tutorial Title: Model Based Diagnosis
Tutorial Presenter: Peter Struss, Technical University of Munich
This tutorial will present theoretical foundations of consistency-based problem solving, principles and techniques of compositional modeling, and illustrative examples and industrial applications of the technology. The tutorial is intended towards researchers interested in knowledge-based technologies that are applicable to real-world problems and representatives from industry interested in innovative applications. Model-based systems are knowledge-based systems that are grounded in an explicit representation of this kind of 1st principles knowledge in terms of a behavior model of the system which is subject to problem solving. Tasks addressed by this technology include design, diagnosis and fault analysis, testing, and decision support. Important principles are representing the knowledge about a class of real-world systems as a library of models with a maximum of versatility and re-use to different system instances and for different tasks, and providing model-based problem solving engines that support or automate the exploitation of such models. The session will start with an Introduction to the Model-based Systems. Component-oriented (Qualitative) Modeling will be introduced next, followed by Consistency-based Diagnosis, and Test Generation. Other Tasks during the Product Lifecycle will also be presented with summary and presenter’s perspectives on the technology.
Peter Struss is a Professor of Computer Science at the Technical University of Munich since 1992, where he heads the Model-based Systems and Qualitative Modeling (MQM) group. Prior to that he worked in the Corporate R&D division of Siemens Corp., where he was in charge of the knowledge-based systems group. He stayed as a guest researcher at the Xerox Palo Alto Research Center several times and also at the International Computer Science Institute in Berkeley. His research interest is in Artificial Intelligence with a focus on the development of foundations and environments for modeling and model library building (qualitative modeling and multiple modeling, automated model abstraction), model-based problem solvers, esp. automated diagnosis, testing, failure-modes-and-effects analysis (logical foundations, inference engines, modeling of work processes), and model-based systems applications (such as in the automotive industries as a major focus, aeronautics, food packaging systems, structures (buildings), water treatment, ecological systems).Among various other professional activities, he is a member of the editorial board of the Journal of AI Research, the Artificial Intelligence Journal, and the International Journal of Prognostics and Health Management.
Tutorial Title: Fundamentals of Prognostics
Tutorial Presenters: Kai Goebel, NASA Ames Research Center, Abhinav Saxena, Research Scientist, SGT at NASA Ames Research Center
This Tutorial will focus on the concepts and basics of prognostics from condition-based systems health management viewpoint. Participants will be introduced to a prognostic framework that will contrast the differences with other techniques and philosophies of prognostics used in other domains. Examples will be used to illustrate various types of prediction scenarios and what does it take to set up a desired prognostic system. This will include discussions on significance of run-to-failure data, requirements and specifications generation for prognostics, prediction algorithms, post prognostic reasoning, etc. The session, then, will go into the details of setting up a prognostics problem and algorithm development using data-driven and model based approaches including data preprocessing and feature extraction steps. Discussion on prognostic performance evaluation and performance metrics will conclude the technical discussion followed by a general discussion on open research problems and challenges in prognostics.
Dr. Kai Goebel is a deputy branch chief of the Discovery and Systems Health Technology Area at NASA Ames Research Center. He also coordinates the Prognostics Center of Excellence and is the Technical Lead for Prognostics and Decision Making in NASAs System-wide Safety and Assurance Technologies Project. Prior to joining NASA in 2006, he was a senior research scientist at General Electric Corporate Research and Development center since 1997. Dr. Goebel received his Ph.D at the University of California at Berkeley in 1996. He has carried out applied research in the areas of real time monitoring, diagnostics, and prognostics and he has fielded numerous applications for aircraft engines, transportation systems, medical systems, and manufacturing systems. He holds 15 patents and has co-authored more than 200 technical papers in the field of IVHM. Dr. Goebel was an adjunct professor of the CS Department at Rensselaer Polytechnic Institute (RPI), Troy, NY, between 1998 and 2005 where he taught classes in Soft Computing and Applied Intelligent Reasoning Systems. He has been the co-advisor of 5 Ph.D. students. Dr. Goebel is a member of several professional societies, including ASME, AAAI, AIAA, IEEE, VDI, SAE, and ISO. He was the General Chair of the Annual Conference of the PHM Society, 2009, has given numerous invited and keynote talks and held many chair positions at the PHM conference and the AAAI Annual meetings series. He is currently member of the board of directors of the PHM Society and associate editor of the International Journal of PHM.
Abhinav Saxena is a Research Scientist with SGT Inc. at the Prognostics Center of Excellence NASA Ames Research Center, Moffett Field, CA. His research involves developing prognostic algorithms and methodologies to standardize prognostics that include performance evaluation and requirement specification for prognostics of engineering systems. He has been involved in PHM research for the last seven years and has published several papers on these topics. He is a PhD in Electrical and Computer Engineering from Georgia Institute of Technology, Atlanta. He earned his B.Tech. in 2001 from Indian Institute of Technology (IIT) Delhi, and a Masters Degree from Georgia Tech in 2003.
Tutorial Title: State-of-the-Art Realization of Prognostics in Industry
Tutorial Presenters: Michel Schieber (Cassidian T&S, EADS company, France), Jean Baptiste Léger (Predict company, France), Benoît Iung (Lorraine University, France)
This tutorial will focus on prognostics considerations from an industrial viewpoint. Participants will be introduced to the prognostics framework in general (taking in consideration material already presented at the tutorial on prognostics fundamentals) which will underline key elements that are required to enable prognostics use as a main element in support of the maintenance challenge within the industrial community. The session will then present the results of an industrial survey conducted in France by the French PHM association DIAG21. It will provide practical insights into the following points, issued from different application domains:
– why companies are (or are not) currently deploying prognostics system
– What the methodological and technological hurdles against better deployment of prognostics in industry are
– What the expected added-value and benefits are.
Those experiences will be illustrated with both success stories and “non-optimal cases” on prognostics industrial implementation. Two complementary viewpoints, a theoretical one vs. a pragmatic one, will lead to a discussion on the degree to which prognostics can be realized within industry. The session will conclude with a discussion on future R&D work in industry and the scientific community needed to help improve the prognostic footprint in industry.
Michel Schiber is currently Referent Validation & Testability within Cassidian Test & Services, France (An EADS Company). He started his professional life in digital simulation for Test Program Sets development for STANDARD TELEPHONES and CABLES (group ITT) and contributed to the development and implementation of computer controlled test systems to support manufacturing and final testing of digital telephone exchange. In 1983, he integrated SERIEM (France) as technical Director. His main responsibilities were around technical management, marking and sales of digital simulation, TPS developments, model based Testability analysis and model based diagnostic software tools development for telecommunication & military equipments/systems. In 2005, Cassidian Test & Services acquired SERIEM. His main activities today are the responsibility to develop advanced maintenance and support concept with the technical co-ordination of Research and Development of new concepts around “Virtual Testing” and major focus on research in the development of Health Monitoring and Management System. He is Member of several French and international Working Groups related safety, testability and diagnostic. He is co-creator member and Vice president, in charge of international link of diag21 – French Technical Association between Industrials and Research Laboratories on the subjects: Testability to Prognostic Health Management for complex industrial systems.
Jean Baptiste Léger is the CEO and co-founder of the PREDICT company, France. He graduated from Nancy University, France and his PhD thesis (1999) was on Formal Modeling Framework for Proactive Maintenance Systems mainly based on Monitoring, Predictive Diagnosis and Prognosis. He has more than 17 years of experience on CBM and PHM systems. His experience includes fault detection and isolation, condition monitoring, fault tolerant control, prognostic, health management, intelligent maintenance and e-maintenance. Since 1994 he has contributed in developing remote monitoring and diagnostic systems for hydropower plants in Spain, Portugal and Norway working with more than 70 companies and institutes. He is currently working on formal approaches for CBM, PHM and Therapy Systems and he is WP leaders of 2 European projects (PRIME, 2011-2014: Platform for enhancing Reliability of Industrial Measurements, and PAPYRUS, 2010-2013: Plug and Play monitoring and control architecture for optimization of large scale production processes) and 1 French project (BMCI, 2009-2012: Health Management for Intelligent Maintenance & Control). He participates in the French Research Council CNRS MACOD working group. He is a member of the SAE (Society of Automotive Engineers) and active in the SAE HM-1 standardization working group, member of the IFAC TC 5.1 on Manufacturing Plant Control, member of the IFAC A-MEST working group (Advanced Maintenance Engineering, Service and Technology) and Secretary of Diag21, a French joint Academic and Industrial Association working on Diagnostic, Prognostic and Testability. Since 2003, he has acted in 10 program committees. He has been invited for 7 PhD thesis evaluations from Grenoble National Polytechnic Institute, Nancy University, Metz University, Marseille University and Besancon University and has given invited talks during summer schools. He published 10 papers in reviews and book since 1999 and more than 25 papers in conferences (3 plenary sessions) and workshops since 2007.
Benoît Iung is currently a full Professor at Lorraine University (France). He received his Ph.D. in Manufacturing Engineering (1992) and an accreditation to be a research supervisor (2002), respectively. Since 1988, he has been conducting research at the Nancy Research Centre for Automatic Control (CRAN) where he manages a research group on Sustainable Industrial Systems Engineering. His research and teaching interests are related to dependability, prognostics, maintenance engineering, and e-maintenance (PHM area). He has been trusted with responsibility for the participation of CRAN in national, European (REMAFEX, DYNAMITE) and international projects (EIAM-IPE, iMaPla). Currently he is chairman of the IFAC WG A-MEST on advanced maintenance, the chairman of the ESRA TC on Manufacturing, a member of the IFAC TC 5.1., a French Associate Member to CIRP, the co-chairman of the WG “Prognostics” of DIAG21 (French PHM community) and a founding Fellow to the International Society for Engineering Asset Management. His responsibilities include promoting PHM and E-maintenance as full academic subjects and proposing a coherent structure required for their scientific deployment. Benoit Iung has authored several books including the first e-maintenance book in Springer and has published more than 90 scientific papers, 35 of them in international journals (i.e. ARC, RESS, IJPR, JIM, PP&C, JRR, JQME). He developed about 15 keynote speeches in international conferences. He has supervised until now about 15 MA, 12 Ph. D. Students and 2 Post-Doctorate students.
Tutorial Title: Runtime Verification and Runtime Reflection
Tutorial Presenters: Prof. Dr. habil. Martin Leucker (University of Lübeck, Germany)
Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Then, monitor synthesis approaches are discussed. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed.
Martin Leucker is currently the director of the Institute for Software Engineering and Programming Languages at the University of Lübeck. He was born in 1971. He studied mathematics and computer science at Aachen University of Technology, Germany, from 1990 till 1996, graduating with a diploma in mathematics in 1996. He obtained his doctoral degree (Ph.D.) in the field of computer science at Aachen in 2002. Afterwards, he worked as a Postdoc at the University of Philadelphia, USA, and, within the European Research and Training Network on Games, at Uppsala University, Sweden. He pursued his Habilitation at TU München in 2007 while being a member of Manfred Broy’s group on Software and Systems Engineering. At TU Munich, he also worked as a professor for Theoretical Computer Science and Software Reliability. Martin Leucker is the author of more than 75 reviewed conference and journal papers ranging over software engineering, formal methods, and theoretical computer science. He is a frequent program committee member of top ranked conferences and is well-known in the runtime verification community. He has been the principal investigator in several research projects with industry participation, especially BMW and Daimler.