Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach

SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings

Volumn , Issue , 2013, Pages 442-447

  Pereira, Eloi ^a,b   Potiron, Camille ^a   Kirsch, Chirstoph M ^c   Sengupta, Raja ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Academia da Força Aérea   (Portugal)

^c UNIVERSITY OF SALZBURG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ACTOR MODELS; BIGRAPHS; ENVIRONMENTAL MONITORING; MOBILE ROBOTIC; MOBILE ROBOTIC SYSTEMS; MODEL OF COMPUTATION; STRUCTURE-AWARE;

ABSTRACTING;

ROBOTICS;

EID: 84882939601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SysCon.2013.6549920     Document Type: Conference Paper

References (21)

1. G. Agha. Actors: A model of concurrent computation in distributed systems. MIT Press, Cambridge, MA, USA, 1986.
2. G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1):1-72, 1997.
3. J. de Sousa, G. Goncalves, A. Costa, and J. Morgado. Mixed initiative control of unmanned air vehicle systems: the pitvant r&d uav program. Technical report, 2010.
4. A. Deshpande, A. Gollu, and L. Semenzato. The shift programming langauge for dynamic networks of hybrid automata. In IEEE Transactions on Automatic Control, volume 43. April 1998.
5. H. Ferreira, R. Martins, E. Marques, J. Pinto, A. Martins, J. Almeida, J. Sousa, and E. Silva. Swordfish: an autonomous surface vehicle for network centric operations. In OCEANS 2007-Europe, pages 1-6. IEEE, 2007.
6. G. Kahn and D. B. Macqueen. Coroutines and networks of parallel processes. In Information Processing 77, pages 993-998. North Holland Publishing Company, 1977.
7. S. Karaman, S. Rasmussen, D. Kingston, and E. Frazzoli. Specification and planning of uav missions: A process algebra approach. In American Control Conference, 2009. ACC '09., pages 1442-1447, june 2009.
8. F. Kratz, O. Sokolsky, G. Pappas, and I. Lee. R-charon, a modeling language for reconfigurable hybrid systems. In Lecture Notes in Computer Science, pages 392-406. Springer-Verlag, 2006.
9. J. Love, J. Jariyasunant, E. Pereira, M. Zennaro, K. Hedrick, C. Kirsch, and R. Sengupta. Csl: A language to specify and re-specify mobile sensor network behaviors. In Real-Time and Embedded Technology and Applications Symposium, 2009. RTAS 2009. 15th IEEE, pages 67-76. IEEE, 2009.
10. S. Martinez, J. Cortes, and F. Bullo. Motion coordination with distributed information. Control Systems, IEEE, 27(4):75-88, 2007.
11. R. Martins, P. Dias, E. Marques, J. Pinto, J. Sousa, and F. Pereira. Imc: A communication protocol for networked vehicles and sensors. In OCEANS 2009-EUROPE, pages 1-6. IEEE, 2009.
12. A. Matos, N. Cruz, J. Borges de Sousa, and F. Lobo Pereira. Auv and rov developments at porto university. In IFAC Workshop of Modelling and Analysis of Logic Controlled Dynamic Systems, 2003.
13. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3):267-310, 1983.
14. R. Milner. Communicating and mobile systems: the-calculus. Cambridge Univ Press, 1999.
15. R. Milner. The Space and Motion of Communicating Agents. Cambridge University Press, 2009.
16. B. Nielsen and G. Agha. Semantics for an actor-based real-time language. Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, pages 223-228, 1996.
17. R. Olfati-Saber, J. A. Fax, and R. M. Murray. Consensus and Cooperation in Networked Multi-Agent Systems. Proceedings of the IEEE, 95(1):215-233, Jan. 2007.
18. E. Pereira, C. Kirsch, R. Sengupta, and J. Borges de Sousa. Bigactors-A model for structure-aware computation. In 4th International Conference on Cyber-Physical Systems. ACM/IEEE, April 2013.
19. E. Pereira and J. Sousa. Reallocations in teams of uavs using dynamic programming and mixed initiative interactions. In Autonomous and Intelligent Systems (AIS), 2010 International Conference on, pages 1-6. IEEE, 2010.
20. SkyTruth. Bilge dumping? busted using satellite images and ais data. http://blog.skytruth.org/2012/06/bilge-dumping-busted-using-satellite. html, June 2012.
21. SkyTruth. Bilge dumping off vietnam. http://blog.skytruth.org/2012/02/ bilge-dumping-off-vietnam-february-22.html, Feb. 2012.