Task inference and distributed task management in the Centibots robotic system
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Delay- and Disruption-Tolerant Networking
Delay- and Disruption-Tolerant Networking
Self-organization in Autonomous Sensor and Actuator Networks
Self-organization in Autonomous Sensor and Actuator Networks
The regiment macroprogramming system
Proceedings of the 6th international conference on Information processing in sensor networks
The design and implementation of a declarative sensor network system
Proceedings of the 5th international conference on Embedded networked sensor systems
Enabling open-source cognitively-controlled collaboration among software-defined radio nodes
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Semantic Web Reasoner for Rules, Equations and Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Communications of the ACM - Scratch Programming for All
Nonlinear constraint network optimization for efficient map learning
IEEE Transactions on Intelligent Transportation Systems
Semantic streams: a framework for composable semantic interpretation of sensor data
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
Ensuring security and availability through model-based cross-layer adaptation
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
A formal methodology for compositional cross-layer optimization
Formal modeling
A distributed logic for networked cyber-physical systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.00 |
Networked Cyber-Physical Systems (NCPS) present many challenges that are not suitably addressed by existing distributed computing paradigms. They must be reactive and maintain an overall situation awareness that emerges from partial distributed knowledge. They must achieve system goals through local, asynchronous actions, using (distributed) control loops through which the environment provides essential feedback. Typical NCPS are open, dynamic, and heterogeneous in many dimensions, and often need to be rapidly instantiated and deployed for a given mission. To address these challenges, we pursue a declarative approach to provide an abstraction from the high complexity of NCPS and avoid error-prone and time-consuming low-level programming. A longer-term goal is to develop a distributed computational and logical foundation that supports a wide spectrum of system operation between autonomy and cooperation to adapt to resource constraints, in particular to limitations of computational, energy, and networking resources. Here, we present first steps toward a logical framework for NCPS that combines distributed reasoning and asynchronous control in space and time. The logical framework is based on partially ordered knowledge sharing, a distributed computing paradigm for loosely coupled systems that does not require continuous network connectivity. We illustrate our approach with a simulation prototype of our logical framework in the context of networked mobile robot teams that operate in an abstract instrumented cyber-physical space with sensors.