Modeling Supervisory Control of Autonomous Mobile Robots using Graph Theory , Automata and Z Notation Javed Iqbal
نویسندگان
چکیده
Supervisory control of the mobile robot navigation system has critical importance. The supervisory control software development of mobile robot navigation can be performed in an unknown environment or for controlled robots in a known environment. Finite automata and graph theory are functional tools in modeling the robot navigation system through discrete environment. This research has emphasis on an integration of graph theory, automata and Z notation for modeling supervisory control of robot navigation system. The design of robot blocked, not blocked and its supervisory control is developed using automata, in which the states are represented by nodes (rooms) and transitions (stairs and doors) by directed edges. In this paper, the integration of approaches as an effective tool for modeling is investigated by using Z/Eves. [Iqbal J, Khan SA, Zafar NA, Ahmad F and Khan GA. Modeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation . J Am Sci 2012;8(12):799-804]. (ISSN: 1545-1003). http://www.jofamericanscience.org. 111
منابع مشابه
Formal Modeling of Navigation System of Autonomous Mobile Robots using Graphs, Automata and Z
In recent years, interest has been developed for the problem of mobile robot navigation system because of its applications in various disciplines. The software development of mobile robot navigation is a complex phenomena and it is passed through different stages of design. It can be modeled either for autonomous, usually, in an unknown environment or for controlled robots in a known environmen...
متن کاملAre Autonomous Mobile Robots Able to Take Over Construction? A Review
Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek to build infrastructures without human intervention, and construction companies look to robots with the potential to improve construction qua...
متن کاملConstruction of Intersection of Nondeterministic Finite Automata using Z Notation
Functionalities and control behavior are both primary requirements in design of a complex system. Automata theory plays an important role in modeling behavior of a system. Z is an ideal notation which is used for describing state space of a system and then defining operations over it. Consequently, an integration of automata and Z will be an effective tool for increasing modeling power for a co...
متن کاملNavigation Techniques of Mobile Robots In Greenhouses
With the continuous development of the industrialization process, the countries all over the world gradually appeared lack of agricultural labor force and aging phenomenon, which was especially prominent in developed countries. However the agricultural robot with high operating efficiency, high qualities of work will play an increasingly important role in future agricultural production. Robot n...
متن کاملNavigation Techniques of Mobile Robots In Greenhouses
With the continuous development of the industrialization process, the countries all over the world gradually appeared lack of agricultural labor force and aging phenomenon, which was especially prominent in developed countries. However the agricultural robot with high operating efficiency, high qualities of work will play an increasingly important role in future agricultural production. Robot n...
متن کامل