Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

40 results for “Control Systems Modeling”
Set a search alert
Research ArticleOpen accessIn the abstractCommon Modeling Language for Model CheckersPathiah Abdul Samat, Abdullah Mohd ZinProblem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to … …Journal of Computer Science, Vol. 8, Issue 1 · 1 Nov 2011 · 8,343 accessesView PDFCite
Research ArticleOpen accessIn the abstractMotivation and Sports Games in the Physical Education Sports Lesson a Student from the University of Medicine and Pharmacy "Carol Davila"Rachita Carmen, Draganescu ElenaProblem statement: At the behavioral manifestation of acts of physical education class at university is motivation. Purpose: Modeling the characteristics of personality and motivation of medical student's development following the establishment of an appropriate methodology to act in university physical education lessons by developing and implementing a strategic program included in organization, management and conduct training process-education, the means of … …Journal of Social Sciences, Vol. 7, Issue 4 · 10 Aug 2011 · 8,187 accessesView PDFCite
Research ArticleOpen accessIn the abstractAnalysis 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 PDFCite
Research ArticleOpen accessIn the abstractControl of a Step Walking Combined to Arms Swinging for a Three Dimensional Humanoid PrototypeAmira Aloulou, Olfa BoubakerProblem statement: Present researches focus to make humanoid robots more and more autonomous so they can assist human in daily works like taking care of children, aged or disabled persons. In such social activities, the contemporary humanoid robots are expected to have human like morphology and gait. Studies on bipedal locomotion for humanoid robots are then part of the hottest … …Journal of Computer Science, Vol. 6, Issue 8 · 31 Aug 2010 · 7,419 accessesView PDFCite
Research ArticleOpen accessIn the abstractReduced Order Models of a Current Source Inverter Induction Motor DriveIbrahim K. Al-AbbasProblem Statement: The current source inverter induction motor (CSI-IM) drive was widely used in various industries. The main disadvantage of this drive was nonlinearity and complexity. This work was done to develop a simple drive systems models. Approach: The MATLAB/SIMULINK software was used for system modeling. Three reduced models were developed by choosing specific frame, neglecting stator transients and ignoring … …American Journal of Engineering and Applied Sciences, Vol. 2, Issue 1 · 31 Mar 2009 · 7,865 accessesView PDFCite
Research ArticleOpen accessIn the abstractExtending UML-RT for Control System ModelingQimin Gao, L. J. Brown, L. F. CapretzThere is a growing interest in adopting object technologies for the development of real-time control systems. Several commercial tools, currently available, provide object-oriented modeling and design support for real-time control systems. While these products provide many useful facilities, such as visualization tools and automatic code generation, they are all weak in addressing the central characteristic of real-time control systems design, … …American Journal of Applied Sciences, Vol. 1, Issue 4 · 31 Dec 2004 · 6,743 accessesView PDFCite
Research ArticleOpen accessIn the abstractPredicting Packet Transmission Data over IP Networks Using Adaptive Neuro-Fuzzy Inference SystemsSamira Chabaa, Abdelouhab ZeroualProblem statement: The statistical modeling for predicting network traffic has now become a major tool used for network and is of significant interest in many domains: Adaptive application, congestion and admission control, wireless, network management and network anomalies. To comprehend the properties of IP-network traffic and system conditions, many kinds of reports based on measured network traffic data have been … …Journal of Computer Science, Vol. 5, Issue 2 · 28 Feb 2009 · 7,533 accessesView PDFCite