2024
Authors
dos Santos, PL; Perdicoúlis, TPA; Ferreira, BM; Gonçalves, C;
Publication
IFAC PAPERSONLINE
Abstract
This paper advocates for the integration of system identification in graduate-level control system courses using accessible theoretical tools. Emphasising real-world applications, particularly in Remotely Operated Vehicle (ROV), the study proposes ROV as educational platforms for teaching control principles. As a concrete example, the paper presents a graduation course project focusing on designing a depth control system for an ROV, where students derive the model from experimental data. This practical application not only enhances the students skills in system identification but also prepares them for challenges in controlling complex systems in both academic and industrial settings.
2024
Authors
Edixhoven, L; Jongmans, SS; Proença, J; Castellani, I;
Publication
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Abstract
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order to explicitly represent causality and concurrency between these actions. However, pomsets offer no representation of choices, thus a set of pomsets is required to represent branching behaviour. For example, if an agent Alice can send one of two possible messages to Bob three times, one would need a set of 2 x 2 x 2 distinct pomsets to represent all possible branches of Alice's behaviour. This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + 2 + 2 ordered actions. We compare the expressiveness of branching pomsets with that of several forms of event structures from the literature. We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics. Furthermore, we define well-formedness conditions on branching pomsets, inspired by multiparty session types, and we prove that the well-formedness of a branching pomset is a sufficient condition for the realisability of the represented com-munication protocol. Finally, we present a prototype tool that implements our theory of branching pomsets, focusing on its applications to choreographies. (c) 2023 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).
2024
Authors
Popova, M; da Fonseca, MJS; Garcia, JE; Andrade, JG;
Publication
INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023
Abstract
There is no doubt that tourism benefits Portugal's economy. The area should be able to better target the market for its travel and tourist products and increase its performance with the use of a marketing strategy, especially in a field where global competition is always increasing. This digital marketing plan seeks to analyze the strengths and limitations of the Portuguese region in its target markets, as well as the most current advancements in the global travel and tourism sector. In this work, it is conducted an analysis of both micro and macro environments of Casa Pereirinha. In addition, it was created a marketing mix based on the 7P's. Furthermore, the work provides the prospective avenues for product growth and marketing following the markets' stated growth objectives. This project comprises creating a comprehensive digital marketing strategy for Casa Pereirinha as a significant example of the region's tourism business, and the primary purpose is to conserve its past, while developing a new strategy.
2024
Authors
Cruz, F; Faria, AS; Moreno, A; Mello, J; Andrade, I; Garcia, A; Villar, J;
Publication
2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024
Abstract
Sustainable agri-food systems seek to deliver food affordably and sustainably, without compromising the economic, social, and environmental bases for current and coming generations. Food-energy systems integrating renewable energy sources contribute towards this sustainability, and new solutions are being proposed in the literature or implemented in real facilities. This work reviews the existing literature on the integration of renewable energy, cross-sector energy efficiency and flexibility approaches, circular economy, digital solutions, and energy communities' (EC) structures within the agri-food sector. It proposes a formal classification of the main solutions found and describes the associated Business Models (BMs) to support their actual development cost-effectively. The main roles, actors and value propositions are reviewed, and a case example of an EC to be developed in Portugal in the Tools4AgriEnergy project is also described. The EC is based on floating PV panels to power water distribution pumps and share the surplus with local agri-food industries.
2024
Authors
Almeida, F;
Publication
The International Journal of Entrepreneurship and Innovation
Abstract
2024
Authors
Magalhaes, M; Melo, M; Coelho, AF; Bessa, M;
Publication
IEEE ACCESS
Abstract
In this study we explore the impact of multisensory stimuli in virtual reality on users' emotional responses, addressing a knowledge gap in this rapidly evolving field. Utilizing a range of sensory inputs, including taste, haptics, and smell, in addition to audiovisual cues, this study aims to understand how different combinations of these stimuli affect the users' emotional experience. Two immersive virtual experiences have been developed for this purpose. One included a scenario to evoke positive emotions through selectively chosen pleasant multisensory stimuli, validated in a focus group. The other sought the contrary: to trigger negative emotions by integrating selected combinations of unpleasant multisensory stimuli, also validated in the same focus group. Through a comparative analysis, our findings revealed significant differences in emotional responses between the groups exposed to positive and negative stimuli combinations. Results indicated that combinations involving haptics and taste were particularly effective in eliciting intense emotions using positive stimuli, but their impact was less significant with negative stimuli. This investigation suggests that a fully multisensory virtual environment integrating positive stimuli might lead to cognitive overload, reducing overall emotional responses. In contrast, environments with negative stimuli could enhance emotional engagement and be more likely to avoid cognitive overload. These findings have important implications for designing emotionally resonant and compelling virtual reality experiences. This research enhances the understanding of sensory integration in virtual reality and its effects on emotional engagement, offering valuable insights for developing more impactful virtual experiences.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.