Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Gleifer Vaz Alves"'
Publikováno v:
Advances in Distributed Computing and Artificial Intelligence Journal, Vol 7, Iss 2, Pp 5-15 (2018)
Smart City has an infrastructure that works with technology to reduce daily problems. The lack of parking spots is one of these problems that can be controlled by creating Smart Parking systems. The MAPS (Multi-Agent Parking System) project studies a
Externí odkaz:
https://doaj.org/article/2be560e0928b4b2facdbe5853a6ebe56
Publikováno v:
Advances in Distributed Computing and Artificial Intelligence Journal, Vol 6, Iss 4, Pp 5-14 (2018)
The process of searching for a parking spot could be a problem. There are computing solutions being developed to optimize this problem. One of these solutions is using multiagent systems (MAS). In this paper a MAS is developed in order to allocate sp
Externí odkaz:
https://doaj.org/article/f901b831d55b4ff6ad8fe5bfb750b1bc
Publikováno v:
Journal of Sensor and Actuator Networks, Vol 10, Iss 3, p 41 (2021)
Usually, the design of an Autonomous Vehicle (AV) does not take into account traffic rules and so the adoption of these rules can bring some challenges, e.g., how to come up with a Digital Highway Code which captures the proper behaviour of an AV aga
Externí odkaz:
https://doaj.org/article/a0d00035646d4494b7f79439aaa98eb2
Publikováno v:
Advances in Distributed Computing and Artificial Intelligence Journal, Vol 6, Iss 2, Pp 45-55 (2017)
The process of looking a spot could be a problem. There are computing solutions being developed to optimize this problem. One of these solutions is using multiagent systems (MAS). In this paper, a MAS is developed in order to allocate spots in a smar
Externí odkaz:
https://doaj.org/article/d1c47f8e2b704edd9128938d7ead9c80
Publikováno v:
Alves, G V, Dennis, L & Fisher, M 2021, ' A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations ', Journal of Sensor and Actuator Networks . https://doi.org/10.3390/jsan10030041
Journal of Sensor and Actuator Networks, Vol 10, Iss 41, p 41 (2021)
Journal of Sensor and Actuator Networks
Volume 10
Issue 3
Journal of Sensor and Actuator Networks, Vol 10, Iss 41, p 41 (2021)
Journal of Sensor and Actuator Networks
Volume 10
Issue 3
Usually, the design of an Autonomous Vehicle (AV) does not take into account traffic rulesand so the adoption of these rules can bring some challenges, e.g., how to come up with a DigitalHighway Code which captures the proper behaviour of an AV again
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b70391b2403242853e9dbba94bf06b1
https://doi.org/10.3390/jsan10030041
https://doi.org/10.3390/jsan10030041
Autor:
Gleifer Vaz Alves, Maike Schwammberger
Publikováno v:
FMAS
During the design of autonomous vehicles (AVs), several stages should include a verification process to guarantee that the AV is driving safely on the roads. One of these stages is to assure the AVs abide by the road traffic rules. To include road tr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cb69c24e17f1ce9a49abc80426d2a24
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
FM Workshops (1)
The design of autonomous vehicles includes obstacle detection and avoidance, route planning, speed control, etc. However, there is a lack of an explicitely representation of the rules of the road on an autonomous vehicle. Additionally, it is necessar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b65f15f518aa62f94cc621a0f0a6dc27
https://doi.org/10.1007/978-3-030-54994-7_16
https://doi.org/10.1007/978-3-030-54994-7_16
Publikováno v:
Validation and Verification of Automated Systems ISBN: 9783030146276
The use of Autonomous Vehicles (AVs) on our streets is soon to be a reality; increasingly, interacting with such AVs will be part of our daily routine. However, we will certainly need to assure the reliable behaviour of an AV, especially when some un
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d89d94d96506fe9968d2815420bf28eb
https://doi.org/10.1007/978-3-030-14628-3_10
https://doi.org/10.1007/978-3-030-14628-3_10
Autor:
Gleifer Vaz Alves, André Pinz Borges, Jose Barbosa, Pedro Botelho, Lucas Sakurada, Paulo Leitão
Publikováno v:
IECON
The increase volume of vehicles circulating in large cities and the limited space for parking are factors that motivate the adoption of systems capable of dealing with such problems. In this context, smart parking systems are suitable solutions to av
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030278779
HoloMAS
HoloMAS
A smart city uses emergent technologies for improving the services that will contribute to make the citizens’ daily life more comfortable and convenient. Among several strand offered by a smart city, the smart parking systems focus the transportati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::506777dda60b39e4d4e7f156665fedcc
https://doi.org/10.1007/978-3-030-27878-6_15
https://doi.org/10.1007/978-3-030-27878-6_15