The accuracy for the measurement of the plasma potential was improved using an emissive probe (EP) considering the space-charge-limited (SCL) effect. To validate the measurement method, the plasma potential measured using a method combining double probe (DP) and single probe (SP) was compared to the developed method. The two measurement methods showed a good agreement: it was confirmed that the EP considering the SCL effect was able to measure the plasma potential accurately even in detached plasmas with a high-temporalresolution.
We propose a method to automate the detection of signal disturbance for a given unsafe property. To incorporate a signal disturbance, we introduce an auxiliary variable, called a cushion variable, for each signal variable to store a value altered by the disturbance that causes unintended state transitions. The signal disturbance is defined to negate the equalities between signal variables and their cushion variables. We develop a method to efficiently detect the signal disturbance by using a weighted partial maximum satisfiability modulo theories (Max-SMT) technique as a set of variables altered by faults resulting in an undesirable condition. By assigning the weights properly to the equations, we control the derivation of signal disturbance patterns with the required property. We present an experimental application of our method to a simplified cruise control system as a practical case study in two well-known methods of safety analysis, namely system theoretic process analysis (STPA) and fault tree analysis (FTA), for the automatic detection of time-series signal disturbances.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.