Infrastructure for engineered emergence on sensor/actuator networks

No abstract is available for this paper.

• Publication year

  2006

• Venue

  IEEE Intelligent Systems

• Publication date

  2006-03-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/MIS.2006.29
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Biologically-Inspired Robust Spatial Programming

  2005cited by this paper
• Enabling path planning and threat avoidance with wireless sensor networks

  2005cited by this paper
• Scalable, Self-Organizing Technology for Sensor Networks

  2005cited by this paper
• Building Patterned Structures with Robot Swarms

  2005cited by this paper
• Stupid robot tricks : a behavior-based distributed algorithm library for programming swarms of robots

  2004cited by this paper
• Region streams: functional macroprogramming for sensor networks

  2004cited by this paper
• Hood: a neighborhood abstraction for sensor networks

  2004cited by this paper
• Programming an Amorphous Computational Medium

  2004cited by this paper
• The dynamic behavior of a data dissemination protocol for network programming at scale

  2004cited by this paper
• Grassroots Approach to Self-management in Large-Scale Distributed Systems

  2004cited by this paper
• Virtual Mobile Nodes for Mobile Ad Hoc Networks

  2004cited by this paper
• The nesC language: A holistic approach to networked embedded systems

  2003cited by this paper
• The Yampa arcade

  2003cited by this paper
• Biologically-inspired self-assembly of two-dimensional shapes using global-to-local compilation

  2003cited by this paper
• GeoQuorums: implementing atomic memory in mobile ad hoc networks

  2003cited by this paper
• Towards RSEAM: Resilient Serial Execution on Amorphous Machines

  2003cited by this paper
• Supporting aggregate queries over ad-hoc wireless sensor networks

  2002cited by this paper
• GHT: a geographic hash table for data-centric storage

  2002cited by this paper
• Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics

  2001cited by this paper
• Amorphous computing

  2000cited by this paper
• Computing with Membranes

  2000cited by this paper
• Botanical computing: a developmental approach to generating interconnect topologies on an amorphous computer

  1999cited by this paper
• Lambda in Motion: Controlling Robots with Haskell

  1999cited by this paper
• Functional reactive animation

  1997cited by this paper
• Report on the programming language Haskell: a non-strict, purely functional language version 1.2

  1992cited by this paper
• The GAMMA Model and Its Discipline of Programming

  1990cited by this paper
• Definition of standard ML

  1990cited by this paper
• The chemical abstract machine

  1989cited by this paper
• Epidemic algorithms for replicated database maintenance

  1988cited by this paper

• A Framework for Multi-Robot Programming: From High-Level Specification to Retargetable Deployment

  2025cites this paper
• Virtualization in Robot Swarms: Past, Present, and Future

  2024cites this paper
• Utilizing Sensor and Actuator Virtualization to Achieve a Systemic View of Mobile Heterogeneous Cyber-Physical Systems

  2024cites this paper
• A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems

  2022cites this paper
• Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things

  2022cites this paper
• ScaFi: A Scala DSL and Toolkit for Aggregate Programming

  2022cites this paper
• Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling

  2022cites this paper
• Aggregate centrality measures for IoT-based coordination

  2021cites this paper
• Design, modeling, and constraint-compliant control of an autonomous morphing surface for omnidirectional object conveyance

  2021cites this paper
• ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming

  2021cites this paper
• FCPP: an efficient and extensible Field Calculus framework

  2020cites this paper
• A Programming Framework for Robot Swarms

  2020cites this paper
• Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system

  2020cites this paper
• The Need of Proper Programming Models for CPS

  2020influential citation
• Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment

  2020cites this paper
• SwarmTalk - Towards Benchmark Software Suites for Swarm Robotics Platforms

  2020cites this paper
• Computation Against a Neighbour

  2020cites this paper
• FScaFi : A Core Calculus for Collective Adaptive Systems Programming

  2020influential citation
• Fault-Tolerant Covariance Intersection for Localizing Robot Swarms

  2019cites this paper
• A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

  2019cites this paper
• From distributed coordination to field calculus and aggregate computing

  2019cites this paper
• The share Operator for Field-Based Coordination

  2019cites this paper
• Field-based Coordination with the Share Operator

  2019cites this paper
• 2 Coordination , Self-organisation , and Fields

  2019cites this paper
• Towards attack-resistant Aggregate Computing using trust mechanisms

  2018cites this paper
• Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT

  2018cites this paper
• Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

  2018cites this paper
• Programming Actor-Based Collective Adaptive Systems

  2018cites this paper
• Distributed and Decentralized Algorithms for Functional Programmable Matter

  2018cites this paper
• Towards adaptive multi-robot systems: self-organization and self-adaptation

  2018cites this paper
• Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems

  2018cites this paper
• From Field-Based Coordination to Aggregate Computing

  2018cites this paper
• Spatial edge services

  2017cites this paper
• Towards a Foundational API for Resilient Distributed Systems Design

  2017cites this paper
• Materials that make robots smart

  2017cites this paper
• Spatial Edge Services - From Coordination Model to Actual Applications

  2017cites this paper
• A FOUNDATIONAL LIBRARY FOR AGGREGATE PROGRAMMING

  2017influential citation
• On the use of mathematical programs with complementarity constraints in combined topological and parametric design of biochemical enzyme networks

  2017cites this paper
• A Framework for Adaptive and Goal-Driven Behaviour Control of Multi-Robot Systems

  2017cites this paper
• Error in Self-Stabilizing Spanning-Tree Estimation of Collective State

  2017cites this paper
• Compositional Blocks for Optimal Self-Healing Gradients

  2017cites this paper
• A Higher-Order Calculus of Computational Fields

  2016cites this paper
• Spatial awareness in pervasive ecosystems

  2016influential citation
• F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields

  2016cites this paper
• Resiliency with Aggregate Computing: State of the Art and Roadmap

  2016cites this paper
• A type-sound calculus of computational fields

  2016cites this paper
• Aggregate Programming: From Foundations to Applications

  2016cites this paper
• Distributed Intelligent MEMS

  2016cites this paper
• Trading accuracy for speed in approximate consensus

  2016cites this paper
• Towards Aggregate Programming in Scala

  2016cites this paper
• Programming Large-Scale Multi-Robot System with Timing Constraints

  2016cites this paper
• Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields

  2016influential citation
• Dynamic Endpoint Object Conveyance Using a Large-Scale Actuator Network

  2016cites this paper
• Simulating large-scale aggregate MASs with alchemist and scala

  2016cites this paper
• Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering.

  2016cites this paper
• Harnessing QbD, Programming Languages, and Automation for Reproducible Biology.

  2016cites this paper
• A Framework for Adaptive and Goal-Driven Behaviour Control of Multi-robot Systems

  2016cites this paper
• Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems

  2016cites this paper
• University of Birmingham Hybrid societies

  2016cites this paper
• Coordination of Self-organising Systems

  2016cites this paper
• Swarm Intelligence in Optimization and Robotics

  2015cites this paper
• Type-based Self-stabilisation for Computational Fields

  2015cites this paper
• Space–time programming

  2015influential citation
• A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

  2015cites this paper
• Linear Logic and Coordination for Parallel Programming

  2015cites this paper
• A coordination model of pervasive service ecosystems

  2015cites this paper
• Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

  2015cites this paper
• Superdiffusive Dispersion and Mixing of Swarms

  2015cites this paper
• Mobile Reactive Systems over Bigraphical Machines - A Programming Model and its Implementation

  2015cites this paper
• Toward Predicting Distributed Systems Dynamics

  2015cites this paper
• A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems

  2015cites this paper
• Modeling mechanical interactions between cancerous mammary acini

  2015cites this paper
• Computational Fields Meet Augmented Reality: Perspectives and Challenges

  2015cites this paper
• Design and engineering of pattern formation in gene expression in Escherichia coli

  2015cites this paper
• Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields

  2015cites this paper
• Protelis: practical aggregate programming

  2015influential citation
• Object conveyance control algorithms with spatially changeable end target location using Large-Scale Actuator Networks

  2015cites this paper
• On the "Local-to-Global" Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates

  2014cites this paper
• Distributed manipulation using cyber-physical systems

  2014cites this paper
• Distributed Manipulation Using Large-Scale Actuator Networks

  2014cites this paper
• Synthetic morphogenesis: space, time, and deformation

  2014cites this paper
• Towards a Unified Model of Spatial Computing

  2014cites this paper
• Soft to Wet: Morphogenetic Engineering in Synthetic Biology

  2014cites this paper
• Building Blocks for Aggregate Programming of Self-Organising Applications

  2014influential citation
• Towards a Unified Model of Spatial Computing Corrected Version

  2014cites this paper
• Growing Fine-Grained Multicellular Robots

  2014cites this paper
• Chapter 1 Managing Design Change with Functional Blueprints

  2014cites this paper
• Predictable Self-Organization with Computational Fields

  2014cites this paper
• A Calculus of Self-stabilising Computational Fields

  2014influential citation
• Design of genetic regulatory networks

  2014cites this paper
• Superdiffusive Dispersion and Mixing of Swarms with Reactive Levy Walks

  2013cites this paper
• Operational semantics of proto

  2013cites this paper
• Functional synthesis of genetic regulatory networks

  2013cites this paper
• Accelerating Approximate Consensus with Self-Organizing Overlays

  2013cites this paper
• Deploying Self-Organizing-Healing Techniques for Software Development of Iterative Linear Solver

  2013cites this paper
• Spatial Computing Meets Realistic Mobile Wireless Problems

  2013cites this paper
• Unconventional and Nested Computations in Spatial Computing

  2013cites this paper
• Engineering Pervasive Multiagent Systems in SAPERE

  2013cites this paper
• A review of morphogenetic engineering

  2013cites this paper
• Hardware acceleration of simulations of distributed systems

  2013influential citation