Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets

Majma, Negar; Babamir, Seyed Morteza

doi:10.1109/tsmc.2018.2861718

Cited by 6 publications

(25 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Ref. [4], we represented the behaviour of a pacemaker using hierarchical fuzzy coloured Petri-net (HFCPN), which (1) covers the overlapping regions generated by the input fuzzy CHAVOSHI and BABAMIR -865 numbers and (2) improves the time of finding suitable rules up to 92%. Furthermore, an intelligent software agent checks the runtime behaviour of the pacemaker software in vital and unexpected situations and directs the software decision if an unacceptable value is found.…”

Section: High-level Fuzzy Petri-net-based Methodsmentioning

confidence: 99%

“…� All of the models are flat [4], which are hierarchical. In the flat ones, the number of transitions depends on the number of rules.…”

Section: Analysis Of Methodsmentioning

confidence: 99%

“…In the following, the issues may occur while using the mentioned models that are introduced. All of the models are flat [4], which are hierarchical. In the flat ones, the number of transitions depends on the number of rules.…”

Section: Related Workmentioning

confidence: 99%

“…In our previous work [4], using a hierarchical manner, we presented a model for visualising and the inference reasoning a high number of rules, where a large number of features are handled using coloured Petr-nets; however, the model does not support the cases that have been considered in the previous studies.…”

Section: Introductionmentioning

confidence: 99%

“…Inspired by Refs. [2,4] and [3], a hierarchical (nested) fuzzy coloured Petri-net is proposed from a high-level specification expressed by the mode transition table [1]. The net has the capability of analysing systems whose behaviour is expressed in non-deterministic environments with a large number of rules and variables.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software

Chavoshi,

Babamir

2023

CAAI Trans on Intel Tech

Self Cite

View full text Add to dashboard Cite

Some types of software systems, like event‐based and non‐deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules. However, when the fuzzy rules are used for the specification of non‐deterministic behaviour and they contain a large number of variables, they constitute a complex form that is difficult to understand and infer. A solution is to visualise the system specification with the capability of automatic rule inference. In this study, by representing a high‐level system specification, the authors visualise rule representation and firing using fuzzy coloured Petri‐nets. Already, several fuzzy Petri‐nets‐based methods have been presented, but they either do not support a large number of rules and variables or do not consider significant cases like (a) the weight of the premise's propositions in the occurrence of the rule conclusion, (b) the weight of conclusion's proposition, (c) threshold values for premise and conclusion's propositions of the rule, and (d) the certainty factor (CF) for the rule or the conclusion's proposition. By considering cases (a)–(d), a wider variety of fuzzy rules are supported. The authors applied their model to the analysis of attacks against a part of a real secure water treatment system. In another real experiment, the authors applied the model to the two scenarios from their previous work and analysed the results.

show abstract

Section: High-level Fuzzy Petri-net-based Methodsmentioning

confidence: 99%

“…� All of the models are flat [4], which are hierarchical. In the flat ones, the number of transitions depends on the number of rules.…”

Section: Analysis Of Methodsmentioning

confidence: 99%