Abstract
Fuzzy Switch Graphs ( FSG ) generalize the notion of Fuzzy Graphs by adding high-order arrows and aggregation functions which update the fuzzy values of arrows whenever a zero-order arrow is crossed. In this paper, we propose a more general structure called Reversal Fuzzy Switch Graph ( R F S G ), which promotes other actions in addition to updating the fuzzy values of the arrows, like activation and deactivation of the arrows. R F S G s are able to model dynamical aspects of some systems which generally appear in engineering, computer science and some other fields. The paper also provides the relationship between R F S G s and fuzzy graphs, a logic to verify properties of the modeled system and closes with an application. • Fuzzy logic and aggregation functions are used to specify reactive systems. • Fuzzy Reactive Switch Graphs generalize the notion of fuzzy graphs. • Bisimulation of reactive systems is threated in this system. • An example of a control system is provided for Fuzzy Reactive Switch Graphs.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
