Modeling agent-based traffic simulation properties in Alloy

Authors:
F. Araujo;J. Valente;R. Z. Wenkstern
Affiliations:
University of Texas at Dallas, Richardson, TX;University of Texas at Dallas, Richardson, TX;University of Texas at Dallas, Richardson, TX
Venue:
Proceedings of the 2012 Symposium on Agent Directed Simulation
Year:
2012

Citing 13
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Compositional formal specification of multi-agent systems

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Galileo: a tool built from mass-market applications

Proceedings of the 22nd international conference on Software engineering
Finding bugs with a constraint solver

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalisms for multi-agent systems

The Knowledge Engineering Review
Vehicle-to-vehicle safety messaging in DSRC

Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks
Software Assurance by Bounded Exhaustive Testing

IEEE Transactions on Software Engineering
Finding bugs efficiently with a SAT solver

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A multiagent approach to autonomous intersection management

Journal of Artificial Intelligence Research
A self-organizing architecture for traffic management

SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Tactical-level simulation for intelligent transportation systems

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.