Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Poster abstract: Towards spatial macroprogramming for sensing and actuating robot swarms
RISE, Swedish ICT, SICS. Politecnico di Milano, Italy.ORCID iD: 0000-0003-4560-9541
University of Virginia, USA.
Politecnico di Milano, Italy.
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
Available from: 2020-10-08 Created: 2020-10-08 Last updated: 2023-05-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mottola, Luca

Search in DiVA

By author/editor
Mottola, Luca
By organisation
SICS
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf