| People | Locations | Statistics |
|---|---|---|
| Ziakopoulos, Apostolos | Athens |
|
| Vigliani, Alessandro | Turin |
|
| Catani, Jacopo | Rome |
|
| Statheros, Thomas | Stevenage |
|
| Utriainen, Roni | Tampere |
|
| Guglieri, Giorgio | Turin |
|
| Martínez Sánchez, Joaquín |
| |
| Tobolar, Jakub |
| |
| Volodarets, M. |
| |
| Piwowar, Piotr |
| |
| Tennoy, Aud | Oslo |
|
| Matos, Ana Rita |
| |
| Cicevic, Svetlana |
| |
| Sommer, Carsten | Kassel |
|
| Liu, Meiqi |
| |
| Pirdavani, Ali | Hasselt |
|
| Niklaß, Malte |
| |
| Lima, Pedro | Braga |
|
| Turunen, Anu W. |
| |
| Antunes, Carlos Henggeler |
| |
| Krasnov, Oleg A. |
| |
| Lopes, Joao P. |
| |
| Turan, Osman |
| |
| Lučanin, Vojkan | Belgrade |
|
| Tanaskovic, Jovan |
|
Machado, José Mendes
University of Minho
in Cooperation with on an Cooperation-Score of 37%
Topics
- modeling
- impact load
- data
- abstract
- vehicle
- theory
- highway traffic
- city traffic
- street
- simulation
- costs
- intelligence
- artificial intelligence
- road network
- image processing
- flexibility
- urban road
- rural area
- real time data
- urbanisation
- cellular automaton
- solicitation
- aluminum
- automobile industry
- high temperature
- adhesive
- crash
- temperature
- industry
- synthetic
- friction
- coefficient of friction
- lubrication
- case study
- engine
- railway train
- automobile
- road
- variable
- infrastructure
- behavior
- software
- map
- railway traffic
- traffic signal
- language
- traffic modeling
- lap joint
- composite material
- computer science
- city
- control device
- mechanical engineering
- automotive engineering
- machinery
- robot
- highway traffic control
- econometrics
- traffic model
- corporation
- estimate
- civil engineering
- attention
- validation
- intersection
- traffic flow
- central business district
- driver
- algorithm
- routing
- human being
- propulsion
- passenger
- electric power
- vehicle occupant
- design
- valve
- electronic equipment
- passenger traffic
- pneumatics
- people mover
- maintenance
- architecture
- communication system
- show 54 more
Publications (20/20 displayed)
- 2021Techniques for the mechanical characterization and numerical modelling of bonded automotive structures under impact loads
- 2020Techniques for the Mechanical Characterization and Numerical Modelling of Bonded Automotive Structures Under Impact Loads
- 2020Experimental and numerical study of the dynamic response of an adhesively bonded automotive structurecitations
- 2020Methods for Modeling Urban Road Traffic Using Timed Automatacitations
- 2019Adhesive joints using aluminium and CFRP substrates tested at low and high temperatures under quasi-static and impact conditions for the automotive industrycitations
- 2019Strain rate dependence of a crash resistant adhesive as a function of temperature for the automotive industrycitations
- 2019Friction Properties of Polyoxymethylene (POM) Materials in Dry and Lubricated Conditions
- 2019A Formal Approach for Railroad Traffic Modelling Using Timed Automata
- 2018Strain rate dependence of adhesive joints for the automotive industry at low and high temperaturescitations
- 2018Numerical study of impact behaviour of mixed adhesive single lap joints for the automotive industrycitations
- 2018Improvement in impact strength of composite joints for the automotive industrycitations
- 2018Numerical study of the behaviour of composite mixed adhesive joints under impact strength for the automotive industrycitations
- 2018An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methodscitations
- 2017Dynamic behaviour of composite adhesive joints for the automotive industrycitations
- 2017Formal analysis of an urban road traffic modelcitations
- 2016APPLICATION OF LEAN APPROACHES AND TECHNIQUES IN AN AUTOMOTIVE COMPANYcitations
- 2016Formal Analysis of an Urban Road Traffic Modelcitations
- 2013Modeling and formal analysis of urban road trafficcitations
- 2011Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
- 2011Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirementscitations
Places of action
conferencepaper
Modeling and formal analysis of urban road traffic
Abstract
Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location systems or other similar systems. The main gap of those systems is that they are not able to assist drivers when some unexpected changes occur, like accidents, or another unexpected situations. In this context, it would be desirable to have a dynamic system to inform the drivers, about everything that is happening "online". This work is inserted in this context and the work presented here is one part of a bigger project that has, as main goal, to be a dynamic system for assisting drivers under hard conditions of urban road traffic. In this paper is modeled, and formally analyzed, the intersection of four street segments, in order to take some considerations about this subject. This paper presents the model of the considered system, using timed automata formalism. The validation and verification of the road traffic model it is realized using UPPAAL model-checker. ; Research-Development-Innovation" 4D-POSTDOC, contract no. POSDRU/89/1.5/ S/52603, project co-funded by the European Social Fund through Sectorial Operational Program Human Resources Development ...
Topics
Search in FID move catalog