2 articles for “Distributed Control System (DCS)”

Set a search alert

Research ArticleOpen accessIn the keywordsAnalysis of the Model Checkers' Input Languages for Modeling Traffic Light SystemsPathiah Abdul Samat, Abdullah Mohd Zin, Zarina ShukurProblem statement: Model checking is an automated verification technique that can be used for verifying properties of a system. A number of model checking systems have been developed over the last few years. However, there is no guideline that is available for selecting the most suitable model checker to be used to model a particular system. Approach: In this study, … …Journal of Computer Science, Vol. 7, Issue 2 · 25 Feb 2011 · 7,887 accessesView PDF Cite

Research ArticleOpen accessAll words, across the recordDevelopment of Priority Oriented Scheduling Method to Increase the Reliability of Manufacturing SystemsSeyedehfarzaneh Nojabaei, Z. Leman, S. H. Tang, S. SulaimanScheduling occurs in every organization without considering the nature of its activities. In this regard, numerous scholars have attempted to schedule via divergent methods including classical scheduling, genetic algorithm, neural network and fuzzy logic and so on. Studies in manufacturing scheduling mostly deal with priority rules without any consideration of the system states. An appropriate scheduling leads to significant enhancement … …American Journal of Applied Sciences, Vol. 9, Issue 9 · 31 Jul 2012 · 7,015 accessesView PDF Cite