Intelligent Systems division of LaCA lab.
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.
brief description: develop solutions based on Agents and Multi-Agent Systems for smart parking using JaCaMo framework.
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.
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.
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.
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