A fault-tolerant controller is a controller that drives the plant to satisfy control specifications under both nominal operation and after the occurrence of faults. This paper introduces a framework that ensures the fault-tolerance of a discrete-event system (DES) plant, which includes: (i) a nominal supervisor with respect to the nominal plant to ensure the control specification that is prior ...

Reproduction and fertility are one of the principles marital life. Actually it can be said that the most important thing after survival is continued generation. The aim of this research was to determine the effects of mental health in womens of fertile and infertile. This research was performed at kowsar infertility clinic in tehran city. The scale GHQ28 was used for this evaluate. This scale w...

We give an overview of Tutte’s paper, “How to draw a graph”, that contains: (i) a proof that every simple 3-connected planar graph admits a straight-line embedding in the plane such that each face boundary is a convex polygon, (ii) an elegant algorithm for finding such an embedding, (iii) an algorithm for testing planarity, and (iv) a proof of Kuratowski’s theorem.