Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation

[1]  Jin Song Dong,et al.  Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues , 2019, IEEE Communications Surveys & Tutorials.

[2]  Mohsen Jahanshahi,et al.  Determining the reliability importance of switching elements in the shuffle-exchange networks , 2018, Int. J. Parallel Emergent Distributed Syst..

[3]  Antonio Torres Valle,et al.  Advanced combinatorial method for solving complex fault trees , 2018 .

[4]  Osman Hasan,et al.  Formal reliability analysis of oil and gas pipelines , 2017 .

[5]  Sofiène Tahar,et al.  Formalization of Reliability Block Diagrams in Higher-order Logic , 2016, J. Appl. Log..

[6]  Osman Hasan,et al.  Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach , 2016, SETTA.

[7]  Osman Hasan,et al.  Towards Formal Fault Tree Analysis Using Theorem Proving , 2015, CICM.

[8]  S. M. Suhail Hussain,et al.  IEC 61850 Substation Communication Network Architecture for Efficient Energy System Automation , 2015 .

[9]  Shin-Guang Chen.  Reduced Recursive Inclusion-exclusion Principle for the probability of union events , 2014, 2014 IEEE International Conference on Industrial Engineering and Engineering Management.

[10]  Patrik Hilber,et al.  On the status of reliability studies involving primary and secondary equipment applied to power system , 2014, 2014 International Conference on Probabilistic Methods Applied to Power Systems (PMAPS).

[11]  Sofiène Tahar,et al.  Towards the Formal Reliability Analysis of Oil and Gas Pipelines , 2014, CICM.

[12]  Osman Hasan,et al.  Formal Reliability Analysis of Protective Relays in Power Distribution Systems , 2013, FMICS.

[13]  Jiuping Pan,et al.  Generic Reliability Evaluation Method for Industrial Grids with Variable Frequency Drives , 2013 .

[14]  Philippe Thomas,et al.  Make your Petri nets understandable: Reliability block diagrams driven Petri nets , 2013, Reliab. Eng. Syst. Saf..

[15]  Poul E. Heegaard,et al.  A combined structural and dynamic modelling approach for dependability analysis in smart grid , 2013, SAC '13.

[16]  L. Chen,et al.  Structure Design and Performance Analysis of Substation Area Backup Protection Communication Network in Smart Substation , 2013 .

[17]  Xuemin Shen,et al.  Dependability Analysis of Control Center Networks in Smart Grid Using Stochastic Petri Nets , 2012, IEEE Transactions on Parallel and Distributed Systems.

[18]  Flemming Nielson,et al.  Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study , 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

[19]  Ekram Hossain,et al.  Reliability analysis and redundancy design of smart grid wireless communications system for demand side management , 2012, IEEE Wireless Communications.

[20]  Sofiène Tahar,et al.  Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks , 2011, ICFEM.

[21]  João Leite,et al.  Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications , 2011, ICFEM.

[22]  Johannes Hölzl,et al.  Three Chapters of Measure Theory in Isabelle/HOL , 2011, ITP.

[23]  Hamze Hajian-Hoseinabadi.  Impacts of Automated Control Systems on Substation Reliability , 2011, IEEE Transactions on Power Delivery.

[24]  David D. Ward,et al.  ISO 26262 safety cases: Compliance and assurance , 2011 .

[25]  Marta Kwiatkowska,et al.  Probabilistic model checking for systems biology , 2011 .

[26]  Sofiène Tahar,et al.  On the Formalization of the Lebesgue Integration Theory in HOL , 2010, ITP.

[27]  Vitali Volovoi,et al.  Application of Petri nets to reliability prediction of occupant safety systems with partial detection and repair , 2010, Reliab. Eng. Syst. Saf..

[28]  MengChu Zhou,et al.  Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[29]  Joost-Pieter Katoen,et al.  The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems , 2009, SAFECOMP.

[30]  Tarlochan S. Sidhu,et al.  Reliability and availability analysis of IEC 61850 based substation communication architectures , 2009, 2009 IEEE Power & Energy Society General Meeting.

[31]  John Harrison,et al.  Handbook of Practical Logic and Automated Reasoning , 2009 .

[32]  John Harrison,et al.  Handbook of Practical Logic and Automated Reasoning: Contents , 2009 .

[33]  Christel Baier,et al.  Principles of model checking , 2008 .

[34]  Sofiène Tahar,et al.  Performance Analysis of ARQ Protocols using a Theorem Prover , 2008, ISPASS 2008 - IEEE International Symposium on Performance Analysis of Systems and software.

[35]  C. E. Brown.  Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory , 2007 .

[36]  Sofiène Tahar,et al.  Formalization of Continuous Probability Distributions , 2007, CADE.

[37]  Frank Ortmeier,et al.  Formal Fault Tree Analysis - Practical Experiences , 2007, Electron. Notes Theor. Comput. Sci..

[38]  R.E. Mackiewicz,et al.  Overview of IEC 61850 and Benefits , 2006, 2005/2006 IEEE/PES Transmission and Distribution Conference and Exhibition.

[39]  Jonathan Billington,et al.  A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols , 2006, SPIN.

[40]  劳伦斯·罗斯,et al.  Ring rapid spanning tree protocol , 2005 .

[41]  Kasturi Narasimhan,et al.  Reliability Engineering: Theory and Practice, 4th edition , 2005 .

[42]  De Antonellis,et al.  Encyclopedia of Information Science and Technology , 2004 .

[43]  John D. Andrews,et al.  Birnbaum's measure of component importance for noncoherent systems , 2003, IEEE Trans. Reliab..

[44]  Joe Hurd,et al.  Formal verification of probabilistic algorithms , 2003 .

[45]  A. Birolini.  Reliability Engineering: Theory and Practice , 1999 .

[46]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[47]  J. Harrison.  Formalized Mathematics , 1996 .

[48]  M. Gordon,et al.  Introduction to HOL: a theorem proving environment for higher order logic , 1993 .

[49]  Lawrence C. Paulson,et al.  ML for the working programmer , 1991 .

[50]  J. Benthem,et al.  Higher-Order Logic , 2001 .

[51]  Michael J. C. Gordon,et al.  Mechanizing programming logics in higher order logic , 1989 .

[52]  Mark Adamiak,et al.  IEC 61850 Communication Networks and Systems In Substations: An Overview for Users , 1988 .

[53]  Roy Billinton,et al.  Reliability Evaluation of Engineering Systems , 1983 .

[54]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[55]  Ernest J. Henley,et al.  Reliability engineering and risk assessment , 1981 .

[56]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[57]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.