Navigation behavior selection using generalized stochastic Petri nets for a service robot

Gunhee Kim, Woojin Chung

Research output: Contribution to journalArticlepeer-review

31 Citations (Scopus)


Appropriate design and control of behaviors of mobile robots are important for their successful autonomous navigation in a real dynamic environment. This paper proposes a formal selection framework of multiple navigation behaviors for a service robot. In the presented approach, modeling, analysis, and performance evaluation are carried out based on generalized stochastic Petri nets (GSPNs). By adopting a probabilistic approach, the proposed framework helps the robot to select the most desirable navigation behavior in run time according to environmental conditions. Moreover, after mission completion, the robot evaluates its prior navigation performance from accumulated data, and automatically uses the results to improve its future operations. Also, GSPNs have several advantages over direct use of other modeling formalisms such as finite state automata (FSA) or Markov processes (MPs). We conduct experiments on real guidance tasks with visitors by implementing the framework in the guide robot Jinny at the National Science Museum of Korea. The results show that the proposed strategy is useful for a robot's selection of an appropriate navigation behavior in a dynamic environment.

Original languageEnglish
Pages (from-to)494-503
Number of pages10
JournalIEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews
Issue number4
Publication statusPublished - 2007 Jul


  • Behavior selection
  • Generalized stochastic Petri nets
  • Mobile robot navigation
  • Service robot

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Software
  • Information Systems
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering


Dive into the research topics of 'Navigation behavior selection using generalized stochastic Petri nets for a service robot'. Together they form a unique fingerprint.

Cite this