Abstract
We address problems underlying the algorithmic question of automating the co-design of robot hardware in tandem with its apposite software. Specifically, we consider the impact that degradations of a robot’s sensor and actuation suites may have on the ability of that robot to complete its tasks. Expanding upon prior work that addresses similar questions in the context of filtering, we introduce a new formal structure that generalizes and consolidates a variety of well known structures including many forms of plans, planning problems, and filters, into a single data structure called a procrustean graph. We describe a collection of operations on procrustean graphs (both semantics-preserving and semantics-mutating), and show how a family of questions about the destructiveness of a change to the robot hardware can be answered by applying these operations. We also highlight the connections between this new approach and existing threads of research, including combinatorial filtering, Erdmann’s strategy complexes, and hybrid automata.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Belta, C., Bicci, A., Egerstedt, M., Frazzoli, E., Klavins, E., Pappas, G.J.: Symbolic Control and Planning of Robotic Motion. IEEE Transactions on Robotics and Automation 14(1), 51-70 ( 2007)
Censi, A.: A Class of Co-Design Problems With Cyclic Constraints and Their Solution. IEEE Robotics and Automation Letters 2(1), 96-103 (Jan 2017)
Erdmann, M.: On the topology of discrete strategies. International Journal of Robotics Research 29(7), 855-896 (2010)
Erdmann, M.: On the topology of discrete planning with uncertainty. in advances in applied and computational topology. In: Zomorodian, A. (ed.) Proc. Symposia in Applied Mathematics. vol. 70. American Mathematical Society (2012)
Erdmann, M., Mason, M.T.: An Exploration of Sensorless Manipulation. IEEE Transactions on Robotics and Automation 4(4), 369-379 (Aug 1988)
Goldberg, K.Y.: Orienting Polygonal Parts without Sensors. Algorithmica 10(3), 201-225 (1993)
LaValle, S.M.: Sensing and Filtering: A Fresh Perspective Based on Preimages and Information Spaces. Foundations and Trends in Robotics 1(4), 253-372 (Apr 2012)
M. T. Mason and K. Y. Goldberg and R. H. Taylor: Planning Sequences of Squeeze- Grasps to Orient and Grasp Polygonal Objects. In: Seventh CISM-IFToMM Symposium on Theory and Practice of Robots and Manipulators (1988)
O’Kane, J.M., Shell, D.: Concise planning and filtering: Hardness and algorithms. IEEE Transactions on Automation Science and Engineering (2017), to appear.
Saberifar, F.Z., Ghasemlou, S., O’Kane, J.M., Shell, D.: Set-labelled filters and sensor transformations. In: Proc. Robotics: Science and Systems (2016)
Schoppers, M.J.: Universal Plans for Reactive Robots in Unpredictable Environments. In: Proc. International Joint Conference on AI. pp. 1039-1046 (1987)
Tovar, B., Cohen, F., Bobadilla, L., Czarnowski, J., LaValle, S.M.: Combinatorial filters: Sensor beams, obstacles, and possible paths. ACM Transactions on Sensor Networks 10(3) (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Ghasemlou, S., Saberifar, F.Z., O’Kane, J.M., Shell, D.A. (2020). Beyond the Planning Potpourri: Reasoning About Label Transformations on Procrustean Graphs. In: Goldberg, K., Abbeel, P., Bekris, K., Miller, L. (eds) Algorithmic Foundations of Robotics XII. Springer Proceedings in Advanced Robotics, vol 13. Springer, Cham. https://doi.org/10.1007/978-3-030-43089-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-43089-4_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43088-7
Online ISBN: 978-3-030-43089-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)