Binary decision diagrams (BDDs) are widely used to mitigate the state-explosion problem in model checking. A variation of BDDs Zero-suppressed Decision Diagrams (ZDDs) which omit variables that must be false, instead omitting do not matter. We use ZDDs symbolically encode Kripke models Dynamic Epistemic Logic, a framework reason about knowledge and information dynamics multi-agent systems. comp...

in this paper, the important formation control problem of nonholonomic wheeled mobile robots is investigated via a leader-follower strategy. to this end, the dynamics model of the considered wheeled mobile robot is derived using lagrange equations of motion. then, using adams multi-body simulation software, the obtained dynamics of the wheeled system in matlab software is verified. after that, ...

pulse-width modulated (pwm) adjustable frequency drives (afds) are extensively used in industries for control of induction motors. it has led to significant advantages in terms of the performance, size, and efficiency but the output voltage waveform no longer remains sinusoidal. hence, overshoots, high rate of rise, harmonics and transients are observed in the voltage wave. they increase voltag...

this paper introduces an indirect adaptive fuzzy sliding mode controller as a power system stabilizer for damping local and inter-area modes of oscillations of multi-machine power systems. this controller is designed based on the combination of sliding mode controller and the fuzzy logic systems. the fuzzy systems are used to approximate the unknown functions of power system model. generator sp...

Introduction: Solar energy is one of the free sources, clean and environmentally friendly energy. Sun is the most important source of natural ultraviolet radiation that has a major role in the life of living beings. Industrial and medical applications of ultraviolet radiation have been clearly proven, like the production of vitamin D or treatment of many diseases, and also har...

fuzzy logic has a high potential for managing the uncertainty sources associated with the medical expert systems. application of fuzzy inference model has been widely concentrated for managing uncertainties in computer based practices of medicine. this paper has proposed two fuzzy expert systems for prognosis of the heart disease based on: 1) mamdani inference model, and 2) sugeno inference mod...