CN112149293A - Method for determining conditional probability in risk analysis - Google Patents

Method for determining conditional probability in risk analysis Download PDF

Info

Publication number
CN112149293A
CN112149293A CN202010958404.7A CN202010958404A CN112149293A CN 112149293 A CN112149293 A CN 112149293A CN 202010958404 A CN202010958404 A CN 202010958404A CN 112149293 A CN112149293 A CN 112149293A
Authority
CN
China
Prior art keywords
risk
model
simulation
analysis
event
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202010958404.7A
Other languages
Chinese (zh)
Inventor
蔡景
代定强
李海亮
杨天策
康婷玮
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nanjing University of Aeronautics and Astronautics
Original Assignee
Nanjing University of Aeronautics and Astronautics
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nanjing University of Aeronautics and Astronautics filed Critical Nanjing University of Aeronautics and Astronautics
Priority to CN202010958404.7A priority Critical patent/CN112149293A/en
Publication of CN112149293A publication Critical patent/CN112149293A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2111/00Details relating to CAD techniques
    • G06F2111/04Constraint-based CAD
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2111/00Details relating to CAD techniques
    • G06F2111/08Probabilistic or stochastic CAD
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2119/00Details relating to the type or aim of the analysis or the optimisation
    • G06F2119/02Reliability analysis or reliability optimisation; Failure analysis, e.g. worst case scenario performance, failure mode and effects analysis [FMEA]

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The invention discloses a method for determining condition probability in risk analysis. And then, injecting risk events into the system model, analyzing the comprehensive performance of the system after the risk events occur through simulation, and constructing an event chain of risk transmission. And finally, loading actual disturbance data to the system simulation model, performing repeated simulation analysis by using a Monte Carlo method, and counting the conditional probability of risk transfer. The method overcomes the defects of traditional risk event chain construction and analysis development based on experience, improves the objectivity and comprehensiveness of risk transmission event chain construction, realizes the simulation calculation of condition probability in risk analysis, improves the reliability of risk analysis results, and has an important guiding function for the formulation of risk correction measures.

Description

Method for determining conditional probability in risk analysis
The technical field is as follows:
the invention relates to a method for determining condition probability in risk analysis, and belongs to the technical field of aviation systems.
Background art:
according to a fleet risk assessment model based on a TARAM (transportation aircraft risk assessment method) method, undetected fault probability exists in the fleet operation process, and corresponding fleet risk RFComprises the following steps:
Figure BDA0002679512200000011
whereinFPredicting a quantity for a failed aircraft; mu.sFThe probability of undetected faults;
Figure BDA0002679512200000012
the conditional probability of catastrophic consequences, i.e. the sum of the event chaining probability products, is related to the fault type and the flight time; f. ofFIs a severity level.
The conditional probability is defined as: the probability of an unsafe outcome that the damage rate caused by a certain risk event is known. The conditional probabilities are typically calculated by the risk transition probabilities between events in the middle of the event chain. Because the event chain is not easy to construct and the transition conditional probability between each intermediate event is difficult to determine, the calculation of the conditional probability is crucial to the accuracy of the fleet risk assessment.
In the existing risk condition probability calculation method, a key risk event chain is constructed based on subjective experience, and a given method of risk transition probability in the event chain depends on historical data statistics, experimental tests, expert experience, fault tree analysis and the like. However, for the risk transfer process on a specific event, there are often situations where data is deficient and cannot be estimated. Especially in the case of a small amount of data, the conditional probability is set to 1 conservatively, which means that this unsafe event will certainly lead to some unsafe consequence, but the risk value calculated in this way must be large. Therefore, the existing method cannot guarantee the comprehensiveness of the constructed event chain and the accuracy of conditional probability calculation, influence the division of the event risk level, and cause unnecessary economic loss.
The invention content is as follows:
in order to overcome the defects that the conditional probability statistical data are insufficient, the risk calculation value is excessively conservative, and the event chain is not established comprehensively and objectively enough in the risk analysis, the invention provides a method for determining the conditional probability in the risk analysis.
The technical scheme adopted by the invention is as follows: a method for determining conditional probability in risk analysis comprises the following specific steps:
(1) establishing a system simulation model based on Modelica, carrying out similarity analysis on simulation data of system operation key parameters and characteristic values, characteristic change trends and distribution rules of actually measured data, verifying the accuracy of the model, and perfecting the simulation model by optimizing modeling parameters;
(2) taking the researched risk event as a fault, injecting the fault into a system model, combing a risk transfer path from the risk event to an unsafe consequence, and constructing a risk transfer event chain;
(3) and loading actual working condition data of the system on the system simulation model, carrying out Monte Carlo simulation analysis on the system, and counting and calculating the probability of the risk transfer condition based on the simulation result.
Further, the step (1) is specifically as follows:
a. defining a system structure layer side, dividing a modeling object system into a plurality of levels of subsystems, sub-subsystems and even bottom-layer components, splitting the system structure according to different physical fields to which the components belong, wherein the part with a simple hierarchical structure adopts a bottom-up mode, and the multi-field coupling part with a complex structure adopts a top-down mode for modeling;
b. establishing a component model, researching the working principle of the component by using a design file, an industrial standard and a test mode, carrying out formulated quantitative description on the input-output relationship and the internal variable conversion relationship of the component, and establishing a physical model of the component in the form of a physical equation set;
c. optimizing a simulation model, carrying out similarity analysis on the characteristic values, characteristic change trends, distribution rules and the like of the key operation parameters of the simulation and actual measurement system, verifying the correctness of the model, and improving the simulation model by optimizing and correcting the parameters of the model.
Further, the step (2) is specifically as follows:
a. the event mechanism research is used for finding out components or subsystems related to and influenced by the risk event according to the expression form of the risk event;
b. establishing an input-output relation of a fault component through simulation under a given working condition, correcting a physical equation used for modeling, and fitting a new empirical formula according to test data to realize fault modeling when working data deviation before and after the component fault is large;
c. carrying out simulation analysis on the state of the system with the risk event under different load working conditions, checking the function realization condition and the state parameter of the system, comparing the state parameter with a system FMECA table, and judging whether a fault result with harm occurs or not;
d. combining a system Modelica model, taking correlation analysis among model variables as a core, combining a fault tree and fishbone diagram analysis method, combing a risk transfer path from a risk event to a serious consequence, and constructing a risk transfer event chain.
Further, the step (3) is specifically as follows:
a. loading various disturbances in the actual working condition to a system simulation model by using a Modelica model, detecting random vibration and interference pulses of a loop where an electronic element is located in a working environment by using a sensor, loading the interferences to the Modelica model in real time through a semi-physical simulation platform, and participating in simulation calculation; or fitting the disturbance data into random distribution and inputting the random distribution into a model;
b. the method comprises the steps of randomly selecting environmental parameters according to the Monte Carlo idea, randomly taking values of the component parameters within a tolerance range, randomly simulating the probability of missed detection and repair of risk events in an intermediate link, carrying out a large number of repeated simulations, checking component state variables at key nodes based on a constructed risk transfer event chain, and counting the transition probability of the risk at the intermediate event.
Compared with the conventional risk analysis conditional probability calculation method, the method for establishing the risk transfer event chain is based on the quantitative simulation of the system model, overcomes the defects of traditional experience-based establishment of the risk event chain and development of analysis, and ensures that the established event chain is more comprehensive and objective; the calculation of the risk transfer conditional probability is derived from a large amount of random simulation on various conditions which may occur in the actual operation process of the system, and the statistical data of the risk transfer conditional probability is more accurate and credible. The calculated value of the risk analysis tends to be accurate, and the method has higher guiding significance for formulation of maintenance and correction measures and is beneficial to improving economic benefits.
Description of the drawings:
FIG. 1 is a flow chart of the modeling simulation calculation of the present invention.
FIG. 2 is a flow chart for modeling the system modelica according to the present invention.
Fig. 3 is a flow chart of the risk injection process of the present invention.
FIG. 4 is a simplified risk delivery path constructed in accordance with the present invention.
The specific implementation mode is as follows:
the invention will be further described with reference to the accompanying drawings.
(1) As shown in fig. 2, the Modelica-based system hierarchical modeling steps are as follows:
a. the system architecture layer side is defined. The structure and function realization process of the analysis system divides a modeling object system into a plurality of levels of subsystems, sub-subsystems and even bottom components, and splits the system structure according to different physical fields of electricity, machinery, hydraulic pressure, pneumatics and the like to which the components belong. The part with simple hierarchical structure adopts a bottom-up mode, and the multi-field coupling part with complex structure adopts a top-down mode for modeling.
b. And establishing a component model. The working principle of the component is researched by using modes such as design files, industrial standards, tests and the like, the input-output relationship and the internal variable conversion relationship of the component are quantitatively described in a formulaic mode, and a physical model of the component is established in a physical equation set mode. Meanwhile, the reusability of the model is improved in a mode of inheritance derivation and restitution by defining the components as abstract types, and the model is universal by using an international standard underlying library, so that the establishment of a Modelica-based basic component model library is realized. Taking orifice damping which is common in hydraulic pressure as an example, a fluid modeling formula is shown as a formula (2), and a fluid mechanics and other component power coupling equation is shown as a formula (3).
Figure BDA0002679512200000041
q=vA (3)
Wherein q is the flux, CdTo obtain a damping coefficient, AHole(s)Is the piston area, p is the hydraulic pressure, ρ is the hydraulic oil density, v is the piston movement velocity, and A is the piston area. The two formulas are packaged to form a local model of the small hole damping part, and the inheritance reuse of the model is realized by calling the model at a higher level system.
According to the mutual coupling mode of the functions and signals among the components, the interfaces of the models are defined, and the interfaces comprise different types such as mechanical interfaces, gas interfaces, logic interfaces, electric interfaces and the like. The necessary flow variables and potential variables, such as potential and current, are defined in the interface. In the above formula, the hydraulic pressure p is a potential variable, and it is required to ensure that the two end values of the interface are equal; the flow q is a flow variable, and meets the condition that the two end values are added to be zero and obeys the generalized kirchhoff law. According to the structural hierarchy of the system and the function interaction signal transmission among the components, the building of an integral model is realized by building corresponding algebraic constraint equations among the interfaces and connecting all component object interfaces by combining specific working conditions.
c. And optimizing the simulation model. And carrying out similarity comparison analysis on the characteristic value, the characteristic change trend, the distribution rule and the like of the key operation parameters obtained by simulation and the measured values, verifying the correctness of the model, and realizing the improvement and the perfection of the model by optimizing and correcting the parameters of the model. For example, when the pressure or flow rate obtained by orifice damping simulation does not match the actual measured value, it can be checked whether the orifice damping coefficient, hydraulic oil density, etc. in equation (2) match the actual value and corrected.
(2) As shown in fig. 3, the risk delivery event chain construction process based on the modeica model includes the steps of:
a. and (4) researching an event mechanism. And finding out the components or subsystems related to the risk events and influenced by the risk events according to the expression forms of the risk events. The method is characterized in that the fault mechanism research is carried out on typical unsafe events such as sensor faults, control device faults, electrical faults and the like, the two aspects comprise two aspects of system parts and event influences, the failure modes and reasons of the parts are explained, and the fault performance of the system after the parts are in fault is explained, for example, the circuit parts are worn and sundry chips can cause the damping small holes to be blocked, the flow rate of a hydraulic circuit can be reduced, the pressure of the hydraulic circuit can be increased, the execution speed of an actuating cylinder and a hydraulic cylinder can be influenced, and the like.
b. And regarding the system risk event as a fault, and modeling and injecting the event. Analyzing the event behavior and the propagation characteristics of the event signal; defining model correction parameters (such as signal drift coefficients, leakage coefficients, blocking coefficients and the like), combining the working principle equation set of the component and the influence of event parameters on the functions of the parts, and formulating risk events by means of tests, historical data fitting, empirical formulas and the like, as shown in formula (4).
r=Kr0 (4)
Wherein r is the actual radius of the aperture, K is the plugging coefficient, r0The radius is designed for the aperture.
Different types of events have different digital expressions, and are divided into sudden events, component function degradation and the like. And risk injection based on a Modelica model is realized by adding an internal fault behavior model and a logic switch of the component module.
c. And (4) performing simulation analysis on the state of the system with the risk event under different load working conditions. And checking the function realization condition and the state parameter of the system, comparing the function realization condition and the state parameter with a system FMECA table, and judging whether a fault result with harm occurs or not. For example, a common fault in hydraulic systems is ram creep, which manifests as an unstable ram execution speed, presenting a stop-and-go condition that can be easily identified and marked as a fault consequence at the end of the chain of events, such as "a" and "B" in fig. 4.
d. And constructing an event chain. The propagation mechanism of the fault is researched by combining the existing analysis methods such as fault trees, fishbone diagrams and the like. For the components appearing in the fault tree and the fishbone diagram, key variables X and Y are extracted and correlation coefficients are calculated according to the formula (5). And (4) regarding the variable with high relevance as the same event chain, and regarding the component with the high relevance as a key node in the risk transfer process. For example, the key variable of a hydraulic pump in a hydraulic system is output pressure, the key variable of a ram is operating speed, simulation data of the hydraulic pump and the ram are subjected to correlation analysis, and the correlation between the simulation data and the simulation data is high, so that the hydraulic pump and the ram are considered as two key nodes on the same event chain, such as' A1”“B1"and the like.
Figure BDA0002679512200000051
Repeating the above analysis process, a path diagram of risk transmission is constructed, as shown in fig. 4, which includes two independent event chains.
(3) The risk condition probability calculation method of the system operation event comprises the following steps:
and loading various disturbances in the actual working condition to the system simulation model by utilizing the Modelica model to have the function of loading other source data. The method comprises the following steps of detecting random vibration, interference pulses of a loop where an electronic element is located and the like in a working environment by using a sensor, loading the interference to a Modelica model in real time through a semi-physical simulation platform, and participating in simulation calculation; or fitting the disturbance data into random distribution (for example, the actual output quantities of components such as a constant-voltage source, a hydraulic pump and the like are always subjected to normal distribution) and inputting the random distribution into a model, so that more accurate system working condition construction is realized. According to the Monte Carlo idea, random selection (such as temperature, air pressure and the like) of environmental parameters, random value taking of component parameters within a tolerance range, random simulation of possibility of missed detection and repair of risk events at an intermediate link and the like are carried out, a large number of repeated simulations are carried out, and effective models of various possible emergencies, design defects, manufacturing defects, improper maintenance and normal system degradation in reality are realizedAnd (3) simulating. Examining component state variables at key nodes based on a constructed chain of risk-delivery events, and counting transition probabilities of risks at intermediate events, e.g.
Figure BDA0002679512200000062
Comprises the following steps:
Figure BDA0002679512200000061
the conditional probabilities corresponding to the unsafe result a and the unsafe result B are:
Figure BDA0002679512200000063
Figure BDA0002679512200000064
the foregoing is only a preferred embodiment of this invention and it should be noted that modifications can be made by those skilled in the art without departing from the principle of the invention and these modifications should also be considered as the protection scope of the invention.

Claims (4)

1. A method for determining conditional probability in risk analysis is characterized in that: the method comprises the following specific steps:
(1) establishing a system simulation model based on Modelica, carrying out similarity analysis on simulation data of system operation key parameters and characteristic values, characteristic change trends and distribution rules of actually measured data, verifying the accuracy of the model, and perfecting the simulation model by optimizing modeling parameters;
(2) taking the researched risk event as a fault, injecting the fault into a system model, combing a risk transfer path from the risk event to an unsafe consequence, and constructing a risk transfer event chain;
(3) and loading actual working condition data of the system on the system simulation model, carrying out Monte Carlo simulation analysis on the system, and counting and calculating the probability of the risk transfer condition based on the simulation result.
2. The method of determining a conditional probability in a risk analysis of claim 1, wherein: the step (1) is as follows:
a. defining a system structure layer side, dividing a modeling object system into a plurality of levels of subsystems, sub-subsystems and even bottom-layer components, splitting the system structure according to different physical fields to which the components belong, wherein the part with a simple hierarchical structure adopts a bottom-up mode, and the multi-field coupling part with a complex structure adopts a top-down mode for modeling;
b. establishing a component model, researching the working principle of the component by using a design file, an industrial standard and a test mode, carrying out formulated quantitative description on the input-output relationship and the internal variable conversion relationship of the component, and establishing a physical model of the component in the form of a physical equation set;
c. optimizing a simulation model, carrying out similarity analysis on the characteristic values, characteristic change trends, distribution rules and the like of the key operation parameters of the simulation and actual measurement system, verifying the correctness of the model, and improving the simulation model by optimizing and correcting the parameters of the model.
3. The method of determining the conditional probability in a risk analysis of claim 2, wherein: the step (2) is specifically as follows:
a. the event mechanism research is used for finding out components or subsystems related to and influenced by the risk event according to the expression form of the risk event;
b. establishing an input-output relation of a fault component through simulation under a given working condition, correcting a physical equation used for modeling, and fitting a new empirical formula according to test data to realize fault modeling when working data deviation before and after the component fault is large;
c. carrying out simulation analysis on the state of the system with the risk event under different load working conditions, checking the function realization condition and the state parameter of the system, comparing the state parameter with a system FMECA table, and judging whether a fault result with harm occurs or not;
d. combining a system Modelica model, taking correlation analysis among model variables as a core, combining a fault tree and fishbone diagram analysis method, combing a risk transfer path from a risk event to a serious consequence, and constructing a risk transfer event chain.
4. A method of determining conditional probabilities in a risk analysis according to claim 3, characterized by: the step (3) is specifically as follows:
a. loading various disturbances in the actual working condition to a system simulation model by using a Modelica model, detecting random vibration and interference pulses of a loop where an electronic element is located in a working environment by using a sensor, loading the interferences to the Modelica model in real time through a semi-physical simulation platform, and participating in simulation calculation; or fitting the disturbance data into random distribution and inputting the random distribution into a model;
b. the method comprises the steps of randomly selecting environmental parameters according to the Monte Carlo idea, randomly taking values of the component parameters within a tolerance range, randomly simulating the probability of missed detection and repair of risk events in an intermediate link, carrying out a large number of repeated simulations, checking component state variables at key nodes based on a constructed risk transfer event chain, and counting the transition probability of the risk at the intermediate event.
CN202010958404.7A 2020-09-14 2020-09-14 Method for determining conditional probability in risk analysis Pending CN112149293A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010958404.7A CN112149293A (en) 2020-09-14 2020-09-14 Method for determining conditional probability in risk analysis

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010958404.7A CN112149293A (en) 2020-09-14 2020-09-14 Method for determining conditional probability in risk analysis

Publications (1)

Publication Number Publication Date
CN112149293A true CN112149293A (en) 2020-12-29

Family

ID=73890196

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010958404.7A Pending CN112149293A (en) 2020-09-14 2020-09-14 Method for determining conditional probability in risk analysis

Country Status (1)

Country Link
CN (1) CN112149293A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113221316A (en) * 2021-03-24 2021-08-06 南京航空航天大学 Fault diagnosis strategy optimization method considering test uncertainty
CN115408802A (en) * 2022-11-01 2022-11-29 中国汽车技术研究中心有限公司 Fault tree construction method based on Modelica simulation model
CN117669998A (en) * 2024-02-01 2024-03-08 聊城大学 Bus working condition construction method considering passenger load change

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108920846A (en) * 2018-07-06 2018-11-30 西南交通大学 A kind of risk coupling analytical method of high-speed rail train control system complexity operation scene
CN109063353A (en) * 2018-08-14 2018-12-21 中国铁道科学研究院集团有限公司 The pre- diagnostic method of EMU subsystem fault and system
CN111260261A (en) * 2020-03-12 2020-06-09 广州宝顺信息科技有限公司 System probability risk automatic evaluation method

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108920846A (en) * 2018-07-06 2018-11-30 西南交通大学 A kind of risk coupling analytical method of high-speed rail train control system complexity operation scene
CN109063353A (en) * 2018-08-14 2018-12-21 中国铁道科学研究院集团有限公司 The pre- diagnostic method of EMU subsystem fault and system
CN111260261A (en) * 2020-03-12 2020-06-09 广州宝顺信息科技有限公司 System probability risk automatic evaluation method

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
邱晓红;龚姚腾;邱晓辉;: "Modelica扩展建模的故障诊断技术研究", 科技通报, no. 05 *
邵俊岗等: "工程经济学", 31 May 2020, 复旦大学出版社, pages: 114 - 115 *

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113221316A (en) * 2021-03-24 2021-08-06 南京航空航天大学 Fault diagnosis strategy optimization method considering test uncertainty
CN115408802A (en) * 2022-11-01 2022-11-29 中国汽车技术研究中心有限公司 Fault tree construction method based on Modelica simulation model
CN117669998A (en) * 2024-02-01 2024-03-08 聊城大学 Bus working condition construction method considering passenger load change

Similar Documents

Publication Publication Date Title
CN112149293A (en) Method for determining conditional probability in risk analysis
CN112202736B (en) Communication network anomaly classification method based on statistical learning and deep learning
CN106529090B (en) A kind of aerospace electron class Reliability Assessment method
Laurentys et al. Design of a pipeline leakage detection using expert system: A novel approach
CN106649840A (en) Method suitable for power data quality assessment and rule check
WO2006123971A2 (en) Deterministic-probabilistic safety analysis and evaluation method and system
Bartocci et al. Localizing faults in Simulink/Stateflow models with STL
CN113125888B (en) Method for testing accelerated life of aircraft electromechanical product based on fault behaviors
CN111581831B (en) Failure-related multi-state system reliability assessment method
CN110245085B (en) Embedded real-time operating system verification method and system by using online model inspection
US9424379B2 (en) Simulation system and method for testing a simulation of a device against one or more violation rules
Mamdikar et al. Dynamic reliability analysis framework using fault tree and dynamic Bayesian network: A case study of NPP
Woodard et al. Survivability evaluation and importance analysis for cyber–physical smart grids
Edifor et al. Quantification of priority-or gates in temporal fault trees
Brown et al. Reliability analysis of load-sharing systems with spatial dependence and proximity effects
Kumar et al. Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system
Liu et al. Imperfect debugging software belief reliability growth model based on uncertain differential equation
Ozirkovskyy et al. Functional safety analysis of safety-critical system using state transition diagram
Liu et al. A modeling method of stochastic parameters’ inverse gauss process considering measurement error under accelerated degradation test
Ding et al. Multi-state reliability analysis of rotor system using Semi-Markov model and UGF
Singh et al. Specification-guided automated debugging of CPS models
Banerjee et al. Towards a Bayesian approach for assessing fault tolerance of deep neural networks
Prabhakar et al. Automatic trace generation for signal temporal logic
Dierkes Formal analysis of a triplex sensor voter in an industrial context
CN116628869A (en) Analysis method for fault propagation mechanism of numerical control machine tool based on transfer entropy theory

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination