Opacity of Fuzzy Discrete Event Systems

Deng, Weilin; Yang, Jingkai; Jiang, Cheng; Qiu, Daowen

doi:10.1109/ccdc.2019.8832504

Cited by 6 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fuzzy logic is not based on Aristotelian (classical) logic but uses functions expressing fuzzy sets. There is a binary value (0-1) logic in classical logic [38]. Fuzzy logic derives results by considering binary values and expresses them with verbal variables such as less, less, more, medium, long, and regular.…”

Section: 3mentioning

confidence: 99%

Design and Analysis of a Laminar Diffusion-Based Micromixer with Microfluidic Chip

Ulkir

Girit

Ertugrul

2021

Journal of Nanomaterials

View full text Add to dashboard

This study aims to perform optimizatione to achieve the best diffusion control between the channels by designing and analysing a microfluidic-based micromixer. The design and analysis of the micromixer were made with the COMSOL Multiphysics program. Some input and output parameters must be defined for diffusion control of the micromixer. Among these parameters, inputs are the diffusion coefficient and inlet flow rate, while outputs are velocity, pressure, and concentration. Each input parameter in the microfluidic chip affects the output of the system. To make the diffusion control in the most optimum way, the data were obtained by making much analysis. The data obtained from this program was also provided with the Fuzzy Logic method to optimize the microfluidic chip. The diffusion coefficient value (5E-11 m2/s) should be given to the channels to achieve the optimum diffusion between the micromixer channels, if the inlet flow rate value (15E-15 m3/s) is the output value of the system, the velocity is 0.09 mm/s. The pressure is 2 Pa, and the concentration is 0.45 mol/m3. These values are the optimum values obtained from the analysis without damaging the liquid’s microfluidic channels supplied to the micromixer’s inlet.

show abstract

Section: 3mentioning

confidence: 99%

Design and Analysis of a Laminar Diffusion-Based Micromixer with Microfluidic Chip

Ulkir

Girit

Ertugrul

2021

Journal of Nanomaterials

View full text Add to dashboard

show abstract

“…Furthermore, state-based opacity can be categorized into current-state opacity (CSO) [4,5], initial-state opacity [6,7], kstep, and infinite-step opacity [8][9][10][11]. Opacity verification can be conducted in a centralized or decentralized framework [12], under different formalisms such as fuzzy or stochastic DESs [13,14].…”

Section: Introductionmentioning

confidence: 99%

Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs

Zhu,

El-Sherbeeny,

El-Meligy

et al. 2023

Mathematics

View full text Add to dashboard

A new approach to the verification of current-state opacity for discrete event systems is proposed in this paper, which is modeled with unbounded Petri nets. The concept of opacity verification is first extended from bounded Petri nets to unbounded Petri nets. In this model, all transitions and partial places are assumed to be unobservable, i.e., only the number of tokens in the observable places can be measured. In this work, a novel basis coverability graph is constructed by using partial markings and quasi-observable transitions. By this graph, this research finds that an unbounded net system is current-state opaque if, for an arbitrary partial marking, there always exists at least one regular marking in the result of current-state estimation with respect to the partial marking not belonging to the given secret. Finally, a sufficient and necessary condition is proposed for the verification of current-state opacity. A manufacturing system example is presented to illustrate that the concept of current-state opacity can be verified for unbounded net systems.

show abstract

Opacity of Fuzzy Discrete Event Systems

Cited by 6 publications

References 12 publications

Design and Analysis of a Laminar Diffusion-Based Micromixer with Microfluidic Chip

Design and Analysis of a Laminar Diffusion-Based Micromixer with Microfluidic Chip

Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs

Contact Info

Product

Resources

About