The LaCA-IS is part of LaCA lab at UTFPR - Campus Ponta Grossa. Check our YouTube channell for information on some projects.
We are mainly concerned with developing solutions towards problems involving transportation, like parking, trains, and vehicles.
- Smart Parking
- Autonomous Vehicles
- Urban Traffic Environment
- Trains
- Implementation of Agents and Multi-Agent Systems
- Formal Verification of Agents Multi-Agent Systems
- Case-based Reasoning
- Rational Agents
- Task Allocation
- Negotiation Protocols
- Embedded Agents
- MAPS (MultiAgent Parking System):
brief description: develop solutions based on Agents and Multi-Agent Systems for smart parking using JaCaMo framework.
- Smart Parking:
brief description: this project is indeed an extension of MAPS project, where we shall join our efforts with researchers from IPB - Portugal. Here we also are mainly concerned with smart parking applications based on Agents and Multi-Agent Systems. Besides, we shall embed Agents into hardware systems in order to build some prototypes.
- AVIA (Autonomous Vehicles with Intelligent Agents):
brief description: this project has a two-fold goal:
- implement models for autonomous vehicles based on Intelligent Agents controlling the high-level functions which are used in the decision-making process (e.g. obstacle avoidance, autonomous control). Moreover, we are also interested in using formal verification towards the decision-making process of our Agents by using Model Checking for Agent Programming Languages (MCAPL)
- formalise the rules of the road for road junctions by using temporal logic; next, these rules should be embedded into Intelligent Agents (which model the behaviour of autonomous vehicles); and the behaviour of the Agents must be formally verified.
- AIST (Architecture for developing Intelligent Systems applied to urban Traffic and transport):
brief description: this project has as its main goal the development of a complete architecture for agent-based solutions applied to urban traffic and transport problems. In our architecture we shall have the following elements: i. a model description using formal logic; ii. a BDI-agent implementation describing the high-level decision-making process; iii. a Multi-Agent System (MAS) wrapping up the BDI-agent, the artefacts and the environment; iv. apply formal verification tools (e.g., model checking) to verify the behaviour of our agents; v. use simulation tools to run the MAS in different scenarios; vi. embedded our agents into cyber-physical systems to test them in real-world scenarios.
- Professor Gleifer Vaz Alves
- Professor André Pinz Borges
- Alexandre Mellado (2023-...) MASPY
- Julio Cesar (2023-...) double degree IPB - Portugal
- Felipe M. Izidorio (2024-...) double degree IPB - Portugal
- Lucas Fernando Souza de Castro (2016-2018) Dissertation
- Bruno Rafael Alves (2018-2019) double degree IPB - Portugal Dissertation
- Lucas Mendes (2020-2021) double degree IPB - Portugal Dissertation
- Milton (2020-2021) double degree IPB - Portugal Dissertation
- Alexandre Mellado (2018-2022) Final work
- Julio Cesar (2020-...)
- Gabriel Maestre (2022-...)
- João V. Markovicz Martins (2023-...)
- Gabriel G. Neres (2023-...)
- Igor Fidler (2023-...)
- Gabriel Oliveira (2023-...)
- Cainan T. e Silva (2024-...) CLAG
- Jonathan (2024-...)
- Elquias (2024-...)
- Igor Nagamassa Vieira Yamazaki (2024-...)
- Maike Schwammberger Univ. of Oldenburg
- Louise Dennis Univ. of Manchester - UK
- Michael Fisher Univ. of Manchester - UK
- Paulo Leitao IPB - Portugal
- Carlos Pantoja CEFET-RIO/UFF
- Nilson Lazarin [CEFET-RIO/UFF]
- Rafael Cardoso Univ. of Aberdeen - UK
- Pedro Botelho (2018-2021) Final work
- Carlos Lima (2019-2020) Abstract
- Felipe Ducheiko (2016-2019) Final work
- Priscilla Gaertner Alonzo & Carlos Abade (2017-18) Final work
- Ângelo Bittencourt Marini Filho (2016-18) Final work
- Lucas Emanuel Ramos Fernandes (2016-17) Final work
- Vinicius Custódio (2016-17) Final work
- Wesley Ramos Cavalcante Gonçalves (2015-17) Final work
- Alexis Van Haare Heijmeijer (2016) Final work
- Matheus Pereira Júnior (2016) Final work
- Lucas Fernando Souza de Castro (2015) Final work
- Fabiano Almeida Rosas (2014) Final work
Gleifer Vaz Alves: gleifer at utfpr.edu.br | André Pinz Borges: apborges at utfpr.edu.br
DAINF - Campus Ponta Grossa - UTFPR R. Doutor Washington Subtil Chueire, 330 - Jardim Carvalho CEP 84017-220 - Ponta Grossa - PR - Brasil