Toward distributed declarative control of networked cyber-physical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6406 LNCS, Issue , 2010, Pages 397-413

  Stehr, Mark Oliver ^a   Kim, Minyoung ^a   Talcott, Carolyn ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; MOBILE ROBOTS; NETWORKED CONTROL SYSTEMS; UBIQUITOUS COMPUTING;

ASYNCHRONOUS CONTROL; CYBER-PHYSICAL SPACES; DISTRIBUTED KNOWLEDGE; DISTRIBUTED REASONINGS; LOOSELY COUPLED SYSTEMS; LOW LEVEL PROGRAMMING; NETWORKED CYBER-PHYSICAL SYSTEMS; NETWORKED MOBILE ROBOTS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 85037725667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16355-5_32     Document Type: Conference Paper

References (18)

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)
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)
3. Choset, H., Nagatani, K.: Topological simultaneous localization and mapping (SLAM): Toward exact localization without explicit localization. IEEE Trans. on Robotics and Automation 17(1), 125-137 (2001) (Pubitemid 32609731)
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)
5. Dressler, F.: Self-Organization in Sensor and Actor Networks. Wiley, Chichester (2008)
6. Elenius, D., Denker,G., Stehr, M.-O.: A semantic web reasoner for rules, equations and constraints. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 135-149. Springer, Heidelberg (2008)
7. Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)
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)
9. Troxel, G.D., et al.: Enabling open-source cognitively-controlled collaboration among software-defined radio nodes. Comput. Netw. 52(4), 898-911 (2008)
10. Grisetti, G., Stachniss, C., Burgard, W.: Nonlinear constraint network optimization for efficient map learning. Trans. Intell. Transport. Sys. 10(3), 428-439 (2009)
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)
12. Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. ACM Commun. 52(11), 87-95 (2009)
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)
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)
15. Rusu, R.B., Maldonado, A., Beetz, M., Gerkey, B.: Extending Player/Stage/Gazebo towards cognitive robots acting in ubiquitous sensorequipped environments. In: ICRA '07: Proc. of the IEEE International Conference on Robotics and Automation Workshop for Network Robot Systems (2007)
16. Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. of IEEE Military Communications Conference (2008)
17. Toorian, S., Diaz, K., Lee, S.: The CubeSet approach to space access. In: IEEE Aerospace Conference (2008)
18. Whitehouse, K., Zhao, F., Liu, J.: Semantic streams: A framework for composable semantic interpretation of sensor data. In: Römer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol. 3868, pp. 5-20. Springer, Heidelberg (2006) (Pubitemid 43978604)