A Dynamical System for Prioritizing and Coordinating Motivations

We develop a dynamical systems approach to prioritizing and selecting multiple recurring tasks with the aim of conferring a degree of deliberative goal selection to a mobile robot confronted with competing objectives. We take navigation as our prototypical task, and use reactive (i.e., vector field) planners derived from navigation functions to encode control policies that achieve each individual task. We associate a scalar "value" with each task representing its current urgency and let that quantity evolve in time as the robot evaluates the importance of its assigned task relative to competing tasks. The robot's motion control input is generated as a convex combination of the individual task vector fields. Their weights, in turn, evolve dynamically according to a decision model adapted from the literature on bioinspired swarm decision making, driven by the values. In this paper we study a simple case with two recurring, competing navigation tasks and derive conditions under which it can be guaranteed that the robot will repeatedly serve each in turn. Specifically, we provide conditions sufficient for the emergence of a stable limit cycle along which the robot repeatedly and alternately navigates to the two goal locations. Numerical study suggests that the basin of attraction is quite large so that significant perturbations are recovered with a reliable return to the desired task coordination pattern.

[1]  John Guckenheimer,et al.  Bifurcations of relaxation oscillations , 2004 .

[2]  Daniel E. Koditschek,et al.  Parallel composition of templates for tail-energized planar hopping , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[3]  Christopher Jones,et al.  Geometric singular perturbation theory , 1995 .

[4]  Naomi Ehrich Leonard,et al.  Hopf Bifurcations and Limit Cycles in Evolutionary Network Dynamics , 2012, SIAM J. Appl. Dyn. Syst..

[5]  Vaibhav Srivastava,et al.  Multiagent Decision-Making Dynamics Inspired by Honeybees , 2017, IEEE Transactions on Control of Network Systems.

[6]  Nathan F. Lepora,et al.  Embodied Choice: How Action Influences Perceptual Decision Making , 2015, PLoS Comput. Biol..

[7]  Naomi Ehrich Leonard,et al.  Decision versus compromise for animal groups in motion , 2011, Proceedings of the National Academy of Sciences.

[8]  Herbert L. Petri,et al.  Motivation: Theory, Research, and Applications , 1995 .

[9]  José Carlos Goulart de Siqueira,et al.  Differential Equations , 1919, Nature.

[10]  Ufuk Topcu,et al.  Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.

[11]  C. Robinson Dynamical Systems: Stability, Symbolic Dynamics, and Chaos , 1994 .

[12]  Carmen Chicone,et al.  Stability Theory of Ordinary Differential Equations , 2009, Encyclopedia of Complexity and Systems Science.

[13]  J. A. Kuznecov Elements of applied bifurcation theory , 1998 .

[14]  H. W. C.,et al.  Dynamic Psychology , 1918, Nature.

[15]  Jonathan D. Cohen,et al.  The physics of optimal decision making: a formal analysis of models of performance in two-alternative forced-choice tasks. , 2006, Psychological review.

[16]  S. Baer,et al.  Sungular hopf bifurcation to relaxation oscillations , 1986 .

[17]  P. Olver Nonlinear Systems , 2013 .

[18]  L. S. Kogan Review of Principles of Behavior. , 1943 .

[19]  Steven H. Strogatz,et al.  Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering , 1994 .

[20]  N. G. Parke,et al.  Ordinary Differential Equations. , 1958 .

[21]  M. Golubitsky,et al.  Singularities and Groups in Bifurcation Theory: Volume I , 1984 .

[22]  Josef Hofbauer,et al.  Evolutionary Games and Population Dynamics , 1998 .

[23]  Daniel E. Koditschek,et al.  Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..

[24]  N. Franks,et al.  A Mechanism for Value-Sensitive Decision-Making , 2013, PloS one.

[25]  Martin A Nowak,et al.  Chaos and language , 2004, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[26]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[27]  D. Koditschek The Application of Total Energy as a Lyapunov Function for Mechanical Control Systems , 1989 .

[28]  B W King Motivation theory. , 1981, Journal of emergency nursing: JEN : official publication of the Emergency Department Nurses Association.

[29]  C. Conley Isolated Invariant Sets and the Morse Index , 1978 .

[30]  M. Golubitsky,et al.  Singularities and groups in bifurcation theory , 1985 .

[31]  Neil Fenichel Geometric singular perturbation theory for ordinary differential equations , 1979 .

[32]  Thomas Schlegel,et al.  Stop Signals Provide Cross Inhibition in Collective Decision-making , 2022 .

[33]  Kellen Petersen August Real Analysis , 2009 .