Programming large-scale multi-robot system with timing constraints

S Jiang, J Cao, Y Liu, J Chen… - 2016 25th International …, 2016 - ieeexplore.ieee.org
Recently years, research in multi-robot systems has attracted increasingly attentions. One
important research topic is to design programming models that can facilitate the developers …

Drop the phone and talk to the physical world: Programming the internet of things with Erlang

A Sivieri, L Mottola, G Cugola - 2012 Third International …, 2012 - ieeexplore.ieee.org
We present ELIOT, an Erlang-based development framework expressly conceived for
heterogeneous and massively decentralized sensing/actuation systems: a vision commonly …

[图书][B] Self-Adapting Software for Cyberphysical Systems

GT Fierro - 2021 - search.proquest.com
The built environment—the buildings, utilities, cities and other constructed elements of the
anthropocene—is becoming increasingly digitized. The complex array of equipment …

Towards reactive programming for object-oriented applications

G Salvaneschi, M Mezini - … on Aspect-Oriented Software Development XI, 2014 - Springer
Reactive applications are difficult to implement. Traditional solutions based on event
systems and the Observer pattern have a number of inconveniences, but programmers bear …

Nano-cf: A coordination framework for macro-programming in wireless sensor networks

V Gupta, J Kim, A Pandya… - 2011 8th Annual …, 2011 - ieeexplore.ieee.org
Wireless Sensor Networks (WSN) are being used for a number of applications involving
infrastructure monitoring, building energy monitoring and industrial sensing. The difficulty of …

Agent-based M&S of smart sensors for knowledge acquisition inside the Internet of Things and sensor networks

M Dyk, A Najgebauer, D Pierzchała - … 2015, Bali, Indonesia, March 23-25 …, 2015 - Springer
The paper presents a formal model of heterogeneous sensor network and crucial parts of its
simulation framework. The main goal of this work is to prepare a virtual environment in which …

HILAC: A framework for hardware in the loop simulation and multi-platform automatic code generation of WSN applications

MMR Mozumdar, L Lavagno, L Vanzago… - International …, 2010 - ieeexplore.ieee.org
Hardware and software platforms for Wireless Sensor Networks (WSNs) are almost as
diverse as their application areas, with very limited standardization. Moreover …

Terra: Flexibility and safety in wireless sensor networks

A Branco, F Sant'Anna, R Ierusalimschy… - ACM Transactions on …, 2015 - dl.acm.org
Terra is a system for programming wireless sensor network (WSN) applications. It combines
the use of configurable virtual machines with a reactive scripting language that can be …

Robust architectures for embedded wireless network control and actuation

M Pajic, A Chernoguzov, R Mangharam - ACM Transactions on …, 2013 - dl.acm.org
Networked cyber-physical systems are fundamentally constrained by the tight coupling and
closed-loop control of physical processes. To address actuation in such closed-loop …

Toward distributed declarative control of networked cyber-physical systems

MO Stehr, M Kim, C Talcott - International Conference on Ubiquitous …, 2010 - Springer
Abstract Networked Cyber-Physical Systems (NCPS) present many challenges that are not
suitably addressed by existing distributed computing paradigms. They must be reactive and …