Representing and analyzing action plans as networks of concurrent processes
暂无分享,去创建一个
[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..