A Parametric Model for Large Scale Agent Systems

Abstract : The goal of this project was to develop new techniques for the construction, description, and analysis of multi-agent systems. The characteristics of systems being addressed include a high degree of non-determinism (resulting form a large number of interactions) and unpredictability of the environment in which the agents operate. Specifically, we implemented tools for building robust and dependable large-scale multi-agent systems and studied methods for predicting and analyzing the behaviors of such systems. The project developed coordination methods for systems consisting of large numbers of agents.

[1]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[2]  Koushik Sen,et al.  Runtime safety analysis of multithreaded programs , 2003, ESEC/FSE-11.

[3]  Grigore Rosu,et al.  Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[4]  Koushik Sen,et al.  Generating Optimal Linear Temporal Logic Monitors by Coinduction , 2003, ASIAN.

[5]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[6]  Paolo Ciancarini,et al.  Coordinating Java agents over the WWW , 1998, World Wide Web.

[7]  Doron Drusinsky.  Monitoring Temporal Rules Combined with Time Series , 2003, CAV.

[8]  William Stafford,et al.  For a While , 1970 .

[9]  S. Kauffman.  Emergent properties in random complex automata , 1984 .

[10]  Tom Holvoet,et al.  ObjectPlaces: an environment for situated multi-agent systems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[11]  S. Wolfram.  Computation theory of cellular automata , 1984 .

[12]  Doron Drusinsky,et al.  The Temporal Rover and the ATG Rover , 2000, SPIN.

[13]  Colin J. Fidge,et al.  Partial orders for parallel debugging , 1988, PADD '88.

[14]  Robert Tolksdorf,et al.  Berlinda: An Object-Oriented Platform for Implementing Coordination Languages in Java , 1997, COORDINATION.

[15]  O. Shtrichman,et al.  The 'Logic Assurance (LA)' system-a tool for testing and controlling real-time systems , 1997, Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering.

[16]  Katia P. Sycara,et al.  Middle-Agents for the Internet , 1997, IJCAI.

[17]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[18]  A. E. Fincham,et al.  Parallel Computation , 1999, Algorithms and Theory of Computation Handbook.

[19]  Andreas Polze,et al.  Using the object space: a distributed parallel make , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.

[20]  J. C. Byington,et al.  Mobile agents and security , 1998, IEEE Commun. Mag..

[21]  Gul A. Agha,et al.  ActorSpace: an open distributed programming paradigm , 1993, PPOPP '93.

[22]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[23]  John C. Reynolds.  Theories of programming languages , 1998 .

[24]  Keith Marzullo,et al.  Detection of Global State Predicates , 1991, WDAG.

[25]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[26]  W. Ashby.  Design for a Brain , 1954 .

[27]  Ken Elsom.  Shared variables , 1990, IRTAW '90.

[28]  Antony I. T. Rowstron,et al.  Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages , 1999, COORDINATION.

[29]  Vijay K. Garg,et al.  Detection of global predicates: Techniques and their limitations , 1998, Distributed Computing.

[30]  Gul Agha,et al.  AN ACTOR-BASED SIMULATION FOR STUDYING UAV COORDINATION , 2003 .

[31]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[32]  Friedemann Mattern,et al.  Virtual Time and Global States of Distributed Systems , 2002 .

[33]  Grigore Rosu,et al.  Synthesizing Monitors for Safety Properties , 2002, TACAS.

[34]  Franco Zambonelli,et al.  MARS: A Programmable Coordination Architecture for Mobile Agents , 2000, IEEE Internet Comput..

[35]  Christian M. Reidys,et al.  On Acyclic Orientations and Sequential Dynamical Systems , 2001, Adv. Appl. Math..

[36]  Gul Agha,et al.  ATSpace: a middle agent to support application oriented matchmaking and brokering services , 2004 .

[37]  Grigore Rosu,et al.  Monitoring Java Programs with Java PathExplorer , 2001, RV@CAV.

[38]  Scott D. Stoller,et al.  Detecting global predicates in distributed systems with clocks , 1997, Distributed Computing.

[39]  Koushik Sen,et al.  Generating Optimal Monitors for Extended Regular Expressions , 2003, RV@CAV.

[40]  Vipul Kashyap,et al.  InfoSleuth: agent-based semantic integration of information in open and dynamic environments , 1997, SIGMOD '97.

[41]  Charles E. McDowell,et al.  Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging , 1991 .

[42]  Max H. Garzon,et al.  Models of massive parallelism: analysis of cellular automata and neural networks , 1995 .

[43]  Harry B. Hunt,et al.  Reachability problems for sequential dynamical systems with threshold functions , 2003, Theor. Comput. Sci..

[44]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[45]  C. E. Perkins.  Mobile IP , 1997 .

[46]  Gul Agha,et al.  A Flexible Coordination Framework for Application-Oriented Matchmaking and Brokering Services , 2004 .

[47]  Franco Zambonelli,et al.  TuCSoN: a Coordination Model for Mobile Information Agents , 1998 .

[48]  Luca Cardelli.  Global computation , 1997, SIGP.

[49]  Ronaldo Menezes,et al.  Using Logical Operators as an Extended Coordination Mechanism in Linda , 2002, COORDINATION.

[50]  Eric Goles,et al.  Cellular automata and complex systems , 1999 .

[51]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[52]  H. Gutowitz.  Cellular automata: theory and experiment : proceedings of a workshop , 1991 .

[53]  Albert R. Meyer,et al.  Word problems requiring exponential time(Preliminary Report) , 1973, STOC.

[54]  Oscar Nierstrasz,et al.  OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces , 2000, COORDINATION.

[55]  T. E. Ingerson,et al.  Structure in asynchronous cellular automata , 1984 .

[56]  Michel Raynal,et al.  An adaptive protocol for implementing causally consistent distributed services , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[57]  Christian M. Reidys,et al.  Elements of a theory of computer simulation I: Sequential CA over random graphs , 1999, Appl. Math. Comput..

[58]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[59]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[60]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[61]  Ravi Sethi,et al.  Programming languages - concepts and constructs , 1988 .

[62]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[63]  Harry B. Hunt,et al.  Gardens of Eden and Fixed Points in Sequential Dynamical Systems , 2001, DM-CCG.

[64]  N. Macrae.  John Von Neumann , 1992 .

[65]  Clay Shields,et al.  What do we mean by Network Denial of Service , 2002 .

[66]  Gul A. Agha,et al.  Open Heterogeneous Computing in Actor Space , 1994, J. Parallel Distributed Comput..

[67]  Keith Marzullo,et al.  Consistent detection of global predicates , 1991, PADD '91.

[68]  Mikko H. Lipasti,et al.  Verifying sequential consistency using vector clocks , 2002, SPAA '02.

[69]  Adam Cheyer,et al.  The Open Agent Architecture , 1997, Autonomous Agents and Multi-Agent Systems.

[70]  Jong-Deok Choi,et al.  Escape analysis for Java , 1999, OOPSLA '99.

[71]  Suresh Jagannathan,et al.  Customization of First Class Tuple-Spaces in a Higher-Order Language , 1991, PARLE.

[72]  Steve Vinoski,et al.  CORBA: integrating diverse applications within distributed heterogeneous environments , 1997, IEEE Commun. Mag..

[73]  Tobin J. Lehman,et al.  T Spaces : The Next Wave , 2004 .

[74]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.