Representing and analyzing action plans as networks of concurrent processes

The problem of constructing a plan representation that can deal with the complexity of representing and analyzing robot behavior in uncertain and dynamic environments is addressed. A concurrent-process based representation is developed which represents both the plan (or controller) and the uncertain and dynamic environment in which the plan operates. A methodology is outlined for analyzing the behavior of this interacting system of plan and world. This methodology is illustrated with a mixed-batch example from the domain of robotic kitting. To balance the theoretical work, a description of the implemented robot kitting cell is presented. >

[1]  Michael A. Arbib,et al.  A Basis for Theoretical Computer Science , 1981, Texts and Monographs in Computer Science.

[2]  Damian M. Lyons,et al.  Planning for reactive robot behavior , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[5]  Damian M. Lyons,et al.  Achieving robustness by casting planning as adaptation of a reactive system , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[6]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[7]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[8]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[9]  Bruce Randall Donald,et al.  A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty , 1987, Artif. Intell..

[10]  Pravin Varaiya,et al.  Algebras of discrete event models , 1989 .

[11]  Philip E. Agre,et al.  ABSTRACT REASONING AS EMERGENT FROM CONCRETE ACTIVITY , 1987 .

[12]  Damian M. Lyons,et al.  A process-based approach to task plan representation , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[13]  Shimon Y. Nof,et al.  Performance analysis of robotic kitting systems , 1989 .

[14]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[15]  M. Heymann.  Concurrency and discrete event control , 1990, IEEE Control Systems Magazine.

[16]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[17]  Arthur C. Sanderson,et al.  AND/OR graph representation of assembly plans , 1986, IEEE Trans. Robotics Autom..

[18]  Bruce H. Krogh,et al.  Essentially decision free Petri nets for real-time resource allocation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[19]  Randy E. Ellis.  Geometric uncertainties in polyhedral object recognition , 1991, IEEE Trans. Robotics Autom..

[20]  Mark Drummond,et al.  A representation of action and belief for automatic planning systems , 1987 .

[21]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[22]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[23]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[24]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[25]  Karl G. Kempf,et al.  Opportunistic scheduling for robotic assembly , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[26]  Xiaodong Xia,et al.  SROMA: an adaptive scheduler for robotic assembly systems , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[27]  Avinash C. Kak,et al.  Spar: A Planner that Satisfies Operational and Geometric Goals in Uncertain Environments , 1990, AI Mag..

[28]  James A. Hendler,et al.  A model of reaction for planning in dynamic environments , 1988, Artif. Intell. Eng..