A Class of Co-Design Problems With Cyclic Constraints and Their Solution

Co-design problems in the field of robotics involve the tradeoff of “resources” usage, such as cost, execution time, and energy, with mission performance, under recursive constraints that involve energetics, mechanics, computation, and communication. This letter shows that a large class of codesign problems have a common structure, as they are described by two posets, representing functionality, and resources. The codesign constraints can be expressed as two maps in opposite directions between the two posets. Finding the most resource-economical feasible solution is equivalent to finding the least fixed point of the composition of those two maps. If the two maps are monotone, results from order theory allow concluding uniqueness and systematically deriving an optimal design or a certificate for infeasibility.

[1]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[2]  Radhika Nagpal,et al.  Flight of the robobees. , 2013, Scientific American.

[3]  Raffaello D'Andrea,et al.  Guest editorial: A revolution in the warehouse: a retrospective on Kiva Systems and the grand challenges ahead , 2012, IEEE Trans Autom. Sci. Eng..

[4]  Jeffrey H. Lang,et al.  Design Principles for Energy-Efficient Legged Locomotion and Implementation on the MIT Cheetah Robot , 2015, IEEE/ASME Transactions on Mechatronics.

[5]  Stefano Soatto,et al.  Steps Towards a Theory of Visual Information: Active Perception, Signal-to-Symbol Conversion and the Interplay Between Sensing and Control , 2011, ArXiv.

[6]  Michael Milford,et al.  Vision-based place recognition: how low can you go? , 2013, Int. J. Robotics Res..

[7]  Liz Sonenberg,et al.  Fixed Point Theorems and Semantics: A Folk Tale , 1982, Inf. Process. Lett..

[8]  Jason M. O'Kane,et al.  Comparing the Power of Robots , 2008, Int. J. Robotics Res..

[9]  Raffaello D'Andrea,et al.  Guest Editorial Can Drones Deliver? , 2014, IEEE Trans Autom. Sci. Eng..

[10]  Kevin Y. Ma,et al.  Controlling free flight of a robotic fly using an onboard vision sensor inspired by insect ocelli , 2014, Journal of The Royal Society Interface.

[11]  Michael A. Arbib,et al.  Algebraic Approaches to Program Semantics , 1986, Texts and Monographs in Computer Science.

[12]  Stefano Soatto,et al.  Steps Towards a Theory of Visual , 2011 .

[13]  Andrei Baranga,et al.  The contraction principle as a particular case of Kleene's fixed point theorem , 1991, Discret. Math..

[14]  Paolo Pirjanian,et al.  The social impact of a systematic floor cleaner , 2012, 2012 IEEE Workshop on Advanced Robotics and its Social Impacts (ARSO).

[15]  Martin Sweeting,et al.  Very-Small-Satellite Design for Distributed Space Missions , 2007 .

[16]  Steven M. LaValle,et al.  Sensing and Filtering: A Fresh Perspective Based on Preimages and Information Spaces , 2012, Found. Trends Robotics.

[17]  David Zarrouk,et al.  Controlled In-Plane Locomotion of a Hexapod Using a Single Actuator , 2015, IEEE Transactions on Robotics.

[18]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[19]  Liam Paull,et al.  Area coverage planning that accounts for pose uncertainty with an AUV seabed surveying application , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).