LaCA - Intelligent Systems
About LaCA-IS
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.
Scenarios of applications
- Smart Parking
- Autonomous Vehicles
- Urban Traffic Environment
- Trains
Topics of interest
- 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
Projects
- 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.
People
Academic Staff
- Professor Gleifer Vaz Alves
- Professor André Pinz Borges
Research Students
MSc Students
- 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
Undergraduate Research Students
- Alexandre Mellado (2018-2022) Final work
- Julio Cesar (2020-…)
- Daniel Sadão (2021-…)
- Jucinaldo (2021-…)
- Luis Eduardo (2021-…)
- Gabriel Maestre (2022-…)
- Caio Furlan (2022-…)
- Marden (2022-…)
- Luis Gustavo (2022-…)
Researcher Collaborators
- Maike Schwammberger Univ. of Oldenburg
- Louise Dennis Univ. of Manchester - UK
- Professor Michael Fisher Univ. of Manchester - UK
- Professor Paulo Leitao IPB - Portugal
- Professor Carlos Pantoja CEFET-RIO/UFF
- Professor Nilson Lazarin [CEFET-RIO/UFF]
- Professor Rafael Bordini PUCRS
Past Members
Undergraduate Research Students
- 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
Contact
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
