An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

Author(s):  
Abderraouf Boussif ◽  
Mohamed Ghazel
Author(s):  
Kyung-Min Seo ◽  
Hae Sang Song ◽  
Se Jung Kwon ◽  
Tag Gon Kim

Modeling and simulation (M&S) has long played an important role in developing tactics and evaluating the measure of effectiveness (MOE) for the underwater warfare system. In simulation-based acquisition, M&S technology facilitates decisions about future equipment procurements, such as a mobile decoy or a torpedo. In addition, assessment of submarine tactical development, during an engagement against a torpedo, can be conducted using M&S techniques. This paper presents a case study that applies discrete event systems specification-based M&S technology to develop a simulation of an underwater warfare system, specifically, an anti-torpedo combat system, to analyze the MOE of the system. The entity models required for M&S are divided into three sub-models: controller, maneuver, and sensor model. The developed simulation allows us to conduct a statistical evaluation of the overall underwater warfare system under consideration, an assessment of the anti-torpedo countermeasure’s effectiveness, and an assessment of tactics development of the underwater vehicle. Moreover, it can be utilized to support the decision-making process for future equipment procurements. In order to analyze the system effectiveness, we performed extensive combat experiments by varying parameters, such as various tactics and weapon performance. The experimental results show how the factors influence the MOEs of the underwater warfare system.


2010 ◽  
Vol 17 (3) ◽  
pp. 461-480 ◽  
Author(s):  
Jan Malinský ◽  
Jiří Novák

Verification of Flexray Start-Up Mechanism by Timed AutomataThis contribution deals with the modelling of a selected part of a new automotive communication standard called FlexRay. In particular, it focuses on the mechanism ensuring the start-up of a FlexRay network. The model has been created with the use of timed automata and verified. For this purpose the UPPAAL software tool has been used that allows the modelling of discrete event systems with the use of timed automata, and subsequently the verification of the model with the use of suitable queries compiled in the so called computation tree logic. This model can be used to look for incorrect settings of time parameters of communication nodes in the network that prevent network start-up and subsequently the start of the car. The existence of this model also opens the way for finding possible errors in the standard. On the basis of the model, the work gives a case study of the start-up mechanism behaviour verification in a FlexRay network consisting of three communication nodes.


2021 ◽  
Author(s):  
A. Davydov ◽  
A. Larionov ◽  
N. Nagul

The paper illustrates an application of the recently developed method of dealing with controlled automata-based discrete event systems with the help of logical inference. The method based on the calculus of positively constructed formulas is extended on the case of systems built out of sets of modules. Specifications restricting system behavior are also supposed to be modular. Due to the special features of the calculus of positively constructed formulas, it may be applied at the upper level of a robot group control system. The case study of mobile robots pushing a block to a target area is considered.


10.29007/vwc9 ◽  
2018 ◽  
Author(s):  
Abderraouf Boussif ◽  
Baisi Liu ◽  
Mohamed Ghazel

This paper deals with a benchmark-based experimental comparison of three diagnoser-based approaches for fault diagnosis of discrete event systems modeled by Petri nets: the MBRG/BRD approach, the FMG/FMSG approach and the SSD approach. The experiments are performed on a level crossing benchmark, using the respective software tools integrating the approaches. Different features are shown in terms of state-space building (exhaustive or partial), procedure for analyzing diagnosability (based on complete or on-the-fly built state-space) and state-space representation (concrete or symbolic). Based on the obtained experimental results, a comparative discussion is provided particularly regarding memory and time consumption for analyzing diagnosability of the three techniques.


Sign in / Sign up

Export Citation Format

Share Document