Towards performance guarantees for emergent behavior

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2004, Issue 4, 2004, Pages 4153-4158

  Lyons, Damian M ^a   Arkin, Ronald C ^b  

^a FORDHAM UNIVERSITY   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; COMPUTER PROGRAMMING; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; HAZARDS; MATHEMATICAL MODELS; MOBILE ROBOTS; SAFETY FACTOR;

ASYNCHRONOUS COMMUNICATION; DISCRETE EVENT CONTROL (DEC); PORT AUTOMATA (PA);

ROBOT APPLICATIONS;

EID: 3042576696     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/robot.2004.1308923     Document Type: Conference Paper

References (18)

1. R. C. Arkin, Behavior-Based Robotics, MIT Press, Cambridge, MA, 1998.
2. th Topical Meeting on Robotics & Remote Sys, April 1997, pp.323-329.
3. Emerson, E. A. (1990). Temporal and modal logic. In van Leeuwen, J., editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands.
4. Communicating Sequential Processes, C.A.R. Hoare. Prentice Hall International Series in Computer Science, 1985.
5. High-Integrity System Specification and Design, M.G. Hinchey and J.P. Bowen. Springer-Verlag, London, 1999.
6. L. P. Kaelbling, A Situated-Automata Approach to the Design of Embedded Agents. SIGART Bull. 2(4): 85-88 1991.
7. Kosecka, J. (1996). A Framework for Modeling and Verifying Visually Guided Agents, Analysis and Experiments, Ph. D. dissertation, Dept of Computer and Information Science, Univ of Pennsylvania.
8. J. Koseka, H. Christensen, and R. Bajcsy, Discrete event modeling of visually guided behaviors, Int. Journal of Computer Vision, vol. 14, no. 2, pp. 179-191, March 1995.
9. Lyons D. M., and Arbib, M. A. A Formal Model of Computation for Sensory-Based Robotics IEEE Trans. Rob. Aut., vol. 5, no. 3 (June 1989), pp.280-293.
10. D. M. Lyons. Representing and analyzing action plans as networks of concurrent processes. IEEE Transactions on Robotics and Automation, V9 N3 June 1993 pp.241-256.
11. D. Lyons and A. Hendriks, Exploiting patterns of interaction to achieve reactive behavior, Artificial Intelligence 73, pp.117-148, 1995.
12. D. Lyons, Discrete-Event Modeling of Misrecognition for PTZ Tracking. IEEE Int. Conf. Advanced Video & Signal-based Surveillance, Miami FL 2003.
13. MacKenzie, D., Arkin, R.C., and Cameron, R., Multiagent Mission Specification and Execution, Autonomous Robots, Vol. 4, No. 1, Jan. 1997, pp. 29-52.
14. R. J. Ramadge and W. M. Wonham, 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1), pp. 206-230.
15. Concurrent and Real-time Systems: The CSP Approach, S. Schneider. Wiley, 1999.
16. Shapiro, Stuart C. (ed), quot;Encyclopedia of Artificial Intelligencequot;, 2nd Ed., John Wiley & Sons, New York, 1992.
17. Martha Steenstrup, Michael A. Arbib, Ernest G. Manes, Port Automata and the Algebra of Concurrent Processes. JCSS 27(1): 29-50 (1983).
18. D. B. Stewart, R. A. Volpe, and P. K. Khosla, quot;Design of dynamically reconfigurable real-time software using portbased objects,quot; IEEE Trans. on Soft. Eng., vol.23, no.12, Dec. 1997.