Page 13 of 307
Abstract: In this work, we explore how we can assist engineers in managing, in a lightweight way, both consistency and design uncertainty during the creation and maintenance of models and other development artifacts. We propose annotating degrees of doubt to indicate design uncertainties on elements of development artifacts. To combine multiple opinions, we use the fusion operators of subjective logic. We s...
Abstract: With the rapidly growing use of Multi-Agent Systems (MASs), which can exponentially increase the system complexity, the problem of planning a mission for MASs became more intricate. In some MASs, human operators are still involved in various decision-making processes, including manual mission planning, which can be an ineffective approach for any non-trivial problem. Mission planning and re-planni...
Abstract: Abstract Context Turner syndrome (TS) is a rare genetic syndrome with an increased mortality, mainly attributed to cardiovascular disease. Objective This work aimed to investigate and correlate the lipid profile in adult women with TS to clinical characteristics. Methods A 12-year prospective cohort study, including 4 study visits, was conducted at a specialist hospital. A total of 102 women with ...
Abstract: Intelligent transportation systems face various challenges, including traffic congestion, environmental pollution, and inefficient transportation management. Optimizing routes and schedules for efficient delivery of goods and services can mitigate the aforementioned problems. Many transportation and routing problems can be modeled as variants of the Traveling Salesmen Problem (TSP) depending on th...
Abstract: Climate change is tightly coupled to the usage of energy in different forms. Creating and using sustainable energy solutions is increasingly being recognized as the greatest challenge of our time. The energy crisis concerns everyone who consumes energy or services that rely on energy to be performed, in practice almost everything we buy. However, the temporal and psychological distance to climate ...
Abstract: The integration of the Internet of Things (IoT) and Machine Learning (ML) technologies has opened up for the development of novel types of systems and services. Federated Learning (FL) has enabled the systems to collaboratively train their ML models while preserving the privacy of the data collected by their IoT devices and objects. Several FL frameworks have been developed, however, they do not e...
Abstract: Modern manufacturing systems collect a huge amount of data which gives an opportunity to apply various Machine Learning (ML) techniques. The focus of this paper is on the detection of anomalous behavior in industrial manufacturing systems by considering the temporal nature of the manufacturing process. Long Short-Term Memory (LSTM) networks are applied on a publicly available dataset called Modula...
Abstract: Tight end-to-end worst-case delay bounds for periodic traffic streams are essential for time sensitive networks. In this paper, we provide an algorithm to compute a tight (and accurate) end-to-end worst-case bound by considering distinct topological patterns and the manner in which streams enter and leave switches. This refined analysis uses non-preemptive, strict-priority arbitration mechanism co...
Abstract: Conducting interactions between shared-purpose organizations that are not entirely trustworthy of each other without centralized oversight is an idea that emerged with the advent of private blockchains such as Hyperledger Fabric and its smart contracts. It is critical to check contracts to ensure their proper functionality, as organizations may collaborate with competitors. Due to the new architec...
Abstract: In this paper we review the actor-based language, Timed Rebeca, with a focus on its formal semantics and formal verification techniques. Timed Rebeca can be used to model systems consisting of encapsulated components which communicate by asynchronous message passing. Messages are put in the message buffer of the receiver actor and can be seen as events. Components react to these messages/events an...
Abstract: Future mines are expected to be operated by increasingly autonomous construction equipment, requiring dependable intercommunication between control centers, human operators, and construction machines such as excavators, drill rigs, and scrapers. Achieving stable, reliable and timely communications in such harsh and ever-changing environments is quite challenging. However, the changes in the three-...
Abstract: Industrial automation and control systems are responsible for running our most important infrastructures, providing electricity and clean water, producing medicine and food, along with many other services and products we take for granted. The safe and secure operation of these systems is therefore of great importance.One of the emerging trends in industrial automation systems is the transition fro...
Abstract: The surge in the development and adoption of Electric Vehicles (EVs) globally is a trend many countries are paying close attention to. This inevitably means that a significant number of EV batteries will soon reach their End-of-Life (EoL). This looming issue reveals a notable challenge: there’s currently a lack of sustainable strategies for managing Lithium-ion Batteries (LiBs) when they reach the...
Abstract: The construction industry is increasingly equipping its machinery with sophisticated embedded systems and modern connectivity. Technology advancements in connected safety-critical systems are complex, with cyber-security becoming a more critical factor. Due to interdependencies and network connectivity, attack surfaces and vulnerabilities have increased significantly. Consequently, it is imperativ...
Page 13 of 307