Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Gopalakrishnan, Ganesh; Henderson, Thomas C. |
Other Author |
Dekhil, Mohamed |
Title |
Modeling and verification of distributed control scheme for mobile robots |
Date |
1995 |
Description |
In this report we present a sensor-based distributed control scheme for mobile robots. This scheme combines centralized and decentralized control strategies. Each group of sensors is considered to be a process that performs sensing and carries out local control tasks as well. Besides these processes, there is a central controller that carries out global goals utilizing sensor readings on a need to know bases. In this scheme, the sensors communicate with the central controller, and also may communicate with each other. Communication protocols has been defined and an abstract model for the proposed control scheme was built. Formal verification techniques were used to verify the correctness of these protocols as well as some desired properties of the proposed scheme. The advantages of this scheme over the centralized scheme is that it increases system modularity and flexibility and provides graceful degradation in case of failure of some of the sensors. The results of verifying and simulating this model are presented with a brief discussion and conclusion on these results. |
Type |
Text |
Publisher |
University of Utah |
First Page |
1 |
Last Page |
33 |
Subject |
Distributed control scheme; Sensor-based |
Subject LCSH |
Mobile robots; Robots -- Control systems |
Language |
eng |
Bibliographic Citation |
Dekhil, M., Gopalakrishnan, G., & Henderson, T. C. (1995). Modeling and verification of distributed control scheme for mobile robots. 1-33. UUCS-95-004. |
Series |
University of Utah Computer Science Technical Report |
Relation is Part of |
ARPANET |
Rights Management |
©University of Utah |
Format Medium |
application/pdf |
Format Extent |
5,487,933 bytes |
Identifier |
ir-main,16200 |
ARK |
ark:/87278/s61v5z2t |
Setname |
ir_uspace |
ID |
702450 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s61v5z2t |