Modeling agent-based traffic simulation properties in Alloy

The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSE's traffic models.

[1]  Peter Stone,et al.  A Multiagent Approach to Autonomous Intersection Management , 2008, J. Artif. Intell. Res..

[2]  Rosaldo J. F. Rossetti,et al.  An Agent-Based Approach to Assess Drivers' Interaction with Pre-Trip Information Systems , 2005, J. Intell. Transp. Syst..

[3]  Charles E. Thorpe,et al.  Tactical-level simulation for intelligent transportation systems , 1998 .

[4]  K. Sullivan,et al.  Galileo: a tool built from mass-market applications , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[5]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6]  John H. L. Hansen,et al.  Matisse: A Large-Scale Multi-Agent System for Simulating Traffic Safety Scenarios , 2012 .

[7]  John H. L. Hansen,et al.  Computer Vision Systems for “Context-Aware” Active Vehicle Safety and Driver Assistance , 2009 .

[8]  Michael Luck,et al.  A Conceptual Framework for Agent Definition and Development , 2001, Comput. J..

[9]  Frank Tip,et al.  Finding bugs efficiently with a SAT solver , 2007, ESEC-FSE '07.

[10]  Raja Sengupta,et al.  Vehicle-to-vehicle safety messaging in DSRC , 2004, VANET '04.

[11]  Ana L. C. Bazzan,et al.  Multi-Agent Systems for Traffic and Transportation Engineering , 2009 .

[12]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[13]  R. Zalila Mili,et al.  DIVAs: Illustrating an abstract architecture for agent-environment simulation systems , 2006, Multiagent Grid Syst..

[14]  R. Zalila Mili,et al.  Modeling Agent-Environment Interactions in Adaptive MAS , 2008, EEMMAS.

[15]  A Kanaan,et al.  CORFLO. AN INTEGRATED TRAFFIC SIMULATION SYSTEM FOR CORRIDORS , 1992 .

[16]  Mark Ryan,et al.  Formalisms for multi-agent systems , 1997, Knowl. Eng. Rev..

[17]  Dirk Helbing,et al.  GENERALIZED FORCE MODEL OF TRAFFIC DYNAMICS , 1998 .

[18]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[19]  Michael D Meyer.  A toolbox for alleviating traffic congestion and enhancing mobility , 1997 .

[20]  Sarfraz Khurshid,et al.  Software assurance by bounded exhaustive testing , 2004, IEEE Transactions on Software Engineering.

[21]  Daniel Jackson,et al.  Finding bugs with a constraint solver , 2000, ISSTA '00.

[22]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[23]  Rym Zalila-Wenkstern,et al.  A Self-organizing Architecture for Traffic Management , 2009, SOAR.

[24]  Stéphane Galland,et al.  Environment Model for Multiagent-Based Simulation of 3D Urban Systems , 2009 .

[25]  Andreas Voellmy,et al.  Large-scale multi-agent transportation simulations , 2002 .

[26]  Michael Florian,et al.  EMME/2: INTERACTIVE GRAPHIC METHOD FOR ROAD AND TRANSIT PLANNING , 1981 .

[27]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.