Poster abstract: Towards spatial macroprogramming for sensing and actuating robot swarms
2013 (English)In: SenSys 2013 - Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, Association for Computing Machinery , 2013, article id 37Conference paper, Poster (with or without abstract) (Refereed)
Abstract [en]
We present our ongoing work on the design of macropro- gramming abstractions to program sensing and actuating applications using robot swarms. Robots can sample the environment and act on it where no other sensor can reach, e.g., to monitor the environment at altitude with aerial robots. Programming the individual behavior of multiple coordinat- ing robots is dificult. We design LiftOff, a macropro- gramming abstraction that allows to program robot swarms collectively, by creating the illusion of a single computing device that occupies the entire physical space of interest. We achieve this by giving variables and values in a pro- gramming language a spatial semantics. In LiftOff, values may be associated to a location, and programmers use the same variable to access diferent values at diferent locations, sparing the need to manually create a mapping from variables to spatial values. LiftOff applications execute synchronously or based on lazy evaluation. The former allows precise program analysis, e.g., usng model checking, whilst the latter potentially executes faster. In this paper, we report on LiftOff's initial design and prototypes.
Place, publisher, year, edition, pages
Association for Computing Machinery , 2013. article id 37
Keywords [en]
Abstracting, Application programs, Behavioral research, Embedded systems, Model checking, Robot programming, Robots, Semantics, Individual behavior, Lazy evaluation, Lift-off application, Macroprogramming, Program analysis, Sensing and actuating, Single computing, Spatial semantics, Machine design
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:ri:diva-48579DOI: 10.1145/2517351.2517407Scopus ID: 2-s2.0-84905716748ISBN: 9781450320276 (print)OAI: oai:DiVA.org:ri-48579DiVA, id: diva2:1474391
Conference
11th ACM Conference on Embedded Networked Sensor Systems, SenSys 2013, 11 November 2013 through 15 November 2013, Rome
2020-10-082020-10-082023-05-25Bibliographically approved