On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy

2012 ◽  
Vol 4 (4) ◽  
pp. 38-60 ◽  
Author(s):  
Junia Valente ◽  
Frederico Araujo ◽  
Rym Z. Wenkstern
Keyword(s):  
Intelligent Transportation Systems ◽  
Large Scale ◽  
Traffic Simulation ◽  
Simulation Models ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
Agent Based ◽  
Traffic Models ◽  
First Order ◽  
New Generation

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.

scholarly journals Improving Driver Assistance in Intelligent Transportation Systems: An Agent-Based Evidential Reasoning Approach

2020 ◽  
Vol 2020 ◽  
pp. 1-14 ◽  
Author(s):  
M. Benalla ◽  
B. Achchab ◽  
H. Hrimech
Keyword(s):  
Intelligent Transportation Systems ◽  
Contextual Information ◽  
Sensory Information ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
Evidential Reasoning ◽  
Traffic Information ◽  
Driver Assistance ◽  
Agent Based ◽  
Reasoning System

Providing accurate real-time traffic information is an inherent problem for intelligent transportation systems (ITS). In order to improve the knowledge base of advanced driver assistance systems (ADAS), ITS are strongly concerned with data fusion techniques of all kinds of sensors deployed over the traffic network. Driver assistance is devoid of a comprehensive evidential reasoning system on contextual information, more specifically when a combination involves inside and outside sensory information of the driving environment. In this paper, we propose a novel agent-based evidential reasoning system using contextual information. Based on a series of information handling techniques, specifically, the belief functions theory and heuristic inference operations to achieve a consensus about daily driving activity in automatically inferring. That is quite different from other existing proposals, as it deals jointly with the driving behavior and the driving environment conditions. A case study including various scenarios of experiments is introduced to estimate behavioral information based on synthetic data for prediction, prescription, and policy analysis. Our experiments show promising, thought-provoking results encouraging further research.

Microscopic simulation of lane changing behaviour at freeway weaving sections

1999 ◽  
Vol 26 (6) ◽  
pp. 840-851 ◽  
Author(s):  
A F Al-Kaisy ◽  
J A Stewart ◽  
M Van Aerde
Keyword(s):  
Simulation Model ◽  
Empirical Data ◽  
Intelligent Transportation Systems ◽  
Traffic Simulation ◽  
Essential Element ◽  
Simulation Models ◽  
Transportation Systems ◽  
Microscopic Simulation ◽  
Lane Changing ◽  
Microscopic Traffic Simulation

Microscopic traffic simulation models are being increasingly used to evaluate Intelligent Transportation Systems (ITS) strategies and to complement empirical data in developing new analytical procedures and methodologies. Lane changing rules are an essential element of any microscopic traffic simulation model. While most of these rules are based on theories and hypotheses, to date no attempt has been made to investigate the consistency of lane changing behaviour from microscopic simulation with empirical observations. The research presented in this paper examined this consistency at freeway weaving areas using empirical data. These data were collected in the late 1980s at several major freeway weaving sections in the State of California. The microscopic traffic simulation model INTEGRATION was used to perform simulation experiments in this research. Vehicle distributions, both total and by type of movement, were used as measures to investigate the lane changing activity that took place at these freeway areas. This examination revealed significant agreement between patterns of lane changing behaviour as observed in the field and as reproduced by microscopic simulation. Most quantitative discrepancies were shown to be a function of user-specified input data or due to some inherent limitations in the empirical data.Key words: simulation, lane changing, weaving, freeways.

scholarly journals Dashboard of intelligent transportation system (ITS) using mobile agents strategy on notification authentication process

2019 ◽  
Vol 9 (1) ◽  
pp. 621
Author(s):  
Najia Allali ◽  
Zineb Chaouch ◽  
Mohammed Tamali
Keyword(s):  
Mobile Agent ◽  
Intelligent Transportation Systems ◽  
Mobile Agents ◽  
Intelligent Transportation System ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
Accurate Information ◽  
Notification System ◽  
Agent Based

<p>Extracting accurate information from huge Transportation Database need to build efficiency Intelligent Transportation Systems ITS-Dashboard that should allow making correct decisions. The quality of decision and the achievement of performance depend on the quality of the information supplied. This information must be reliable, complete, pertinent and more to care about external attacks. Distributed Mobile Agent consists of autonomy of entities with capacities of perception, cooperation and action on their own environment. One of Agent function is the security of Authentication process by activation of notification system on Mobile Device. The main purpose of this paper is to make it consisting of an Agent Based Framework. The strategy is to exploit Mobile Agent capabilities in a Strict Notification Process when user validates his authentication request.</p>

Sign in / Sign up

Export Citation Format

Share Document