Toward Distributed Declarative Control of Networked Cyber-Physical Systems
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.
KeywordsMobile Robot Logical Framework Proof Rule Strict Partial Order Knowledge Unit
Unable to display preview. Download preview PDF.
- 1.Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: A declarative approach to programming ensembles. In: Proc. of the IEEE International Conference on Intelligent Robots and Systems (IROS 2007) (October 2007)Google Scholar
- 2.Basu, P., Krishnan, R., Brown, D.W.: Persistent delivery with deferred binding to descriptively named destinations. In: Proc. of IEEE Military Communications Conference (2008)Google Scholar
- 4.Chu, D., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: SenSys 2007: Proc. of the 5th International Conference on Embedded Networked Sensor Systems, pp. 175–188 (2007)Google Scholar
- 5.Dressler, F.: Self-Organization in Sensor and Actor Networks. Wiley, Chichester (2008)Google Scholar
- 7.Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)Google Scholar
- 8.Gerkey, B.P., Mailler, R., Morisset, B.: Commbots: Distributed control of mobile communication relays. In: Proc. of the AAAI Workshop on Auction Mechanisms for Robot Coordination (AuctionBots), pp. 51–57 (2006)Google Scholar
- 11.Kim, M., Massaguer, D., Dutt, N., Mehrotra, S., Ren, S., Stehr, M.-O., Talcott, C., Venkatasubramanian, N.: A semantic framework for reconfiguration of instrumented cyber physical spaces. In: Workshop on Event-based Semantics, CPS Week (2008)Google Scholar
- 13.Newton, R., Morrisett, G., Welsh, M.: The regiment macroprogramming system. In: IPSN 2007: Proc. of the 6th International Conference on Information Processing in Sensor Networks, pp. 489–498. ACM, New York (2007)Google Scholar
- 14.Ortiz, C.L., Vincent, R., Morisset, B.: Task inference and distributed task management in the Centibots robotic system. In: AAMAS 2005: Proc. of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 860–867 (2005)Google Scholar
- 15.Rusu, R.B., Maldonado, A., Beetz, M., Gerkey, B.: Extending Player/Stage/Gazebo towards cognitive robots acting in ubiquitous sensor-equipped environments. In: ICRA ’07: Proc. of the IEEE International Conference on Robotics and Automation Workshop for Network Robot Systems (2007)Google Scholar
- 16.Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. of IEEE Military Communications Conference (2008)Google Scholar
- 17.Toorian, S., Diaz, K., Lee, S.: The CubeSet approach to space access. In: IEEE Aerospace Conference (2008)Google Scholar