Reference Hub

This research has been cited in:

Conference
Show me What you want: Inverse Reinforcement Learning to Automatically Design Robot Swarms by Demonstration2023 IEEE International Conference on Robotics and Automation (ICRA)10.1109/ICRA48891.2023.10160947
Conference
Towards aggregate monitoring of spatio-temporal propertiesProceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution10.1145/3464974.3468448
Conference
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems10.1109/SASO.2015.16
Chapter
Towards Reinforcement Learning-based Aggregate ComputingCoordination Models and Languages10.1007/978-3-031-08143-9_5
Conference
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)10.1109/FAS-W.2016.49
Chapter
Extensible 3D Simulation of Aggregated Systems with FCPPCoordination Models and Languages10.1007/978-3-031-08143-9_4
Chapter
Population Coding: A New Design Paradigm for Embodied Distributed SystemsSwarm Intelligence10.1007/978-3-319-44427-7_15
Conference
Distributed Real-Time Shortest-Paths Computations with the Field Calculus2018 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS.2018.00013
Article
Empirical assessment and comparison of neuro-evolutionary methods for the automatic off-line design of robot swarmsNature Communications10.1038/s41467-021-24642-3
Chapter
Towards Agent Aggregates: Perspectives and ChallengesEngineering Multi-Agent Systems10.1007/978-3-319-26184-3_2
Article
Spatial awareness in pervasive ecosystemsThe Knowledge Engineering Review10.1017/S0269888916000199
Article
Formal foundations of sensor network applicationsSIGSPATIAL Special10.1145/2826686.2826693
Article
Model structure optimisation in lattice-oriented agent-based modelsInternational Journal of Modelling and Simulation10.1080/02286203.2016.1142276
Conference
On the Dynamic Evolution of Distributed Computational Aggregates2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOSC56246.2022.00024
Conference
Tweaking gossip algorithms for computations in large-scale networks2015 IEEE Tenth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP)10.1109/ISSNIP.2015.7106950
Chapter
From Field-Based Coordination to Aggregate ComputingCoordination Models and Languages10.1007/978-3-319-92408-3_12
Chapter
MacroSwarm: A Field-Based Compositional Framework for Swarm ProgrammingCoordination Models and Languages10.1007/978-3-031-35361-1_2
Chapter
Space-Time Universality of Field CalculusCoordination Models and Languages10.1007/978-3-319-92408-3_1
Chapter
AutoMoDe-Arlequin: Neural Networks as Behavioral Modules for the Automatic Design of Probabilistic Finite-State MachinesSwarm Intelligence10.1007/978-3-030-60376-2_21
Article
AutoMoDe-Cedrata: Automatic Design of Behavior Trees for Controlling a Swarm of Robots with Communication CapabilitiesSN Computer Science10.1007/s42979-021-00988-9
Chapter
AutoMoDe: A Modular Approach to the Automatic Off-Line Design and Fine-Tuning of Control Software for Robot SwarmsAutomated Design of Machine Learning and Search Algorithms10.1007/978-3-030-72069-8_5
Chapter
Programming Distributed Collective Processes for Dynamic Ensembles and Collective TasksCoordination Models and Languages10.1007/978-3-031-35361-1_4
Article
On Distributed Runtime Verification by Aggregate ComputingElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.302.4
Conference
Machine Learning for Aggregate Computing: a Research Roadmap2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops (ICDCSW)10.1109/ICDCSW56584.2022.00032
Article
A Higher-Order Calculus of Computational FieldsACM Transactions on Computational Logic10.1145/3285956
Chapter
Tuple-Based Coordination in Large-Scale Situated SystemsCoordination Models and Languages10.1007/978-3-030-78142-2_10
Conference
Compositional Blocks for Optimal Self-Healing Gradients2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)10.1109/SASO.2017.18
Conference
Spatial edge services2017 Global Internet of Things Summit (GIoTS)10.1109/GIOTS.2017.8016219
Conference
Predictable Self-Organization with Computational Fields2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2014.9
Chapter
FScaFi : A Core Calculus for Collective Adaptive Systems ProgrammingLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles10.1007/978-3-030-61470-6_21
Conference
ProtelisProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2695913
Chapter
On a Higher-Order Calculus of Computational FieldsFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-030-21759-4_17
Conference
Building Blocks for Aggregate Programming of Self-Organising Applications2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2014.6
Article
Resilient Blocks for Summarising Distributed DataElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.264.3
Conference
Functional synthesis of genetic regulatory networksProceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages10.1145/2505351.2505356
Conference
Self-Adaptation to Device Distribution Changes2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)10.1109/SASO.2016.12
Conference
Towards a Foundational API for Resilient Distributed Systems Design2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W)10.1109/FAS-W.2017.116
Article
FCPP+Miosix: Scaling Aggregate Programming to Embedded SystemsIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2022.3232633
Conference
FCPP: an efficient and extensible Field Calculus framework2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS49614.2020.00037
Conference
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927839
Conference
Computational Fields Meet Augmented Reality: Perspectives and Challenges2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2015.18
Article
Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives Artificial Life10.1162/artl_a_00408
Article
Space–time programmingPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences10.1098/rsta.2014.0220
Article
Aggregate Programming for the Internet of ThingsComputer10.1109/MC.2015.261
Conference
Aggregate Drone Monitoring of Wildfires2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927785
Article
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the EdgeIEEE Internet of Things Journal10.1109/JIOT.2022.3172470
Article
A parallel data-structure for modular programming of triangulated computing media.Natural Computing10.1007/s11047-022-09906-1
Article
A field-based computing approach to sensing-driven clustering in robot swarmsSwarm Intelligence10.1007/s11721-022-00215-y
Article
Resiliency with Aggregate Computing: State of the Art and RoadmapElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.217.3

Organizing the Aggregate: Languages for Spatial Computing

Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll

Source Title: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments

ISBN13: 9781466620926|ISBN10: 1466620927|EISBN13: 9781466620933

DOI: 10.4018/978-1-4666-2092-6.ch016

Cite Chapter Cite Chapter

MLA

Beal, Jacob, et al. "Organizing the Aggregate: Languages for Spatial Computing." Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, edited by Marjan Mernik, IGI Global, 2013, pp. 436-501. https://doi.org/10.4018/978-1-4666-2092-6.ch016

APA

Beal, J., Dulman, S., Usbeck, K., Viroli, M., & Correll, N. (2013). Organizing the Aggregate: Languages for Spatial Computing. In M. Mernik (Ed.), Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (pp. 436-501). IGI Global. https://doi.org/10.4018/978-1-4666-2092-6.ch016

Chicago

Beal, Jacob, et al. "Organizing the Aggregate: Languages for Spatial Computing." In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, edited by Marjan Mernik, 436-501. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-2092-6.ch016

Export Reference

Favorite

View Full Text HTML

View Full Text PDF

Abstract

As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, the authors develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

Organizing the Aggregate: Languages for Spatial Computing

MLA

APA

Chicago

Export Reference

Abstract

Request Access