Affiliation:
1. Department of Computer Science, University of Texas at Dallas, Richardson, TX, USA
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.
Reference45 articles.
1. Emme/2: Interactive graphic method for road and transit planning.;A.Babin;Transportation Research Record,1982
2. Balmer, M., Rieser, M., Meister, K., Charypar, D., Lefebvre, N., & Nagel, K. (2009). Matsim-t: Architecture and simulation times. Multi-agent Systems for Traffic and Transportation Engineering, 57–78.
3. Symbolic model checking for multi-agent systems.;M.Benerecetti;Proceedings of the MoChart,2002
4. Bihler, E., Vogler, W., & Bernardo, M. (2004). Timed petri nets: Efficiency of asynchronous systems. In B. Marco, F. Corradini (Eds.), Formal Methods for the Design of Real-Time Systems (LNCS 3185, pp. 105-106). Berlin/Heidelberg, Germany: Springer Berlin / Heidelberg.
5. Verifying Multi-agent Programs by Model Checking
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献