Sökning: "System Trustworthiness"

Visar resultat 1 - 5 av 22 avhandlingar innehållade orden System Trustworthiness.

1. 1. Designing Trustworthy Autonomous Systems

   Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; System Trustworthiness; Reactive Synthesis; Monitoring and enforcement; Assume-Guarantee Contracts; Runtime verification; Autonomous Systems; Formal Verification; Reinforcement Learning;

   Sammanfattning : The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment. Several techniques have been proposed over the years to cope with specific problems. LÄS MER

3. 2. Engineering Trustworthy Self-Adaptive Autonomous Systems

   Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Learning; Monitoring and enforcement.; Automotive; System Trustworthiness; Autonomous Systems; Runtime verification; Formal Verification;

   Sammanfattning : Autonomous Systems (AS) are becoming ubiquitous in our society. Some examples are autonomous vehicles, unmanned aerial vehicles (UAV), autonomous trading systems, self-managing Telecom networks and smart factories. LÄS MER

4. 3. Automated Tactile Sensing for Quality Control of Locks Using Machine Learning

   Författare :Tim Andersson; Markus Bohlin; Mats Ahlskog; Tomas Olsson; Gauti Asbjörnsson; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Anomaly detection; Sample size prediction; Learning curves; Machine learning; Quality control; : Explainable artificial intelligence; Counterfactual explanation; Computer Science; datavetenskap;

   Sammanfattning : This thesis delves into the use of Artificial Intelligence (AI) for quality control in manufacturing systems, with a particular focus on anomaly detection through the analysis of torque measurements in rotating mechanical systems. The research specifically examines the effectiveness of torque measurements in quality control of locks, challenging the traditional method that relies on human tactile sense for detecting mechanical anomalies. LÄS MER

5. 4. Towards an assessment of safety and security interplay in automated driving systems

   Författare :Martin Skoglund; Hans Hansson; Sasikumar Punnekkat; Fredrik Warg; Georg Macher; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Safety; Cybersecurity; Automotive; Automated Drivning; Assessment; Computer Science; datavetenskap;

   Sammanfattning : We are currently in the midst of significant changes in the road transport system, including the transformation to fossil-free propulsion and the shift to higher levels of automation. The next level in automation is soon upon us and is encompassed by the broader term Connected, Cooperative and Automated Mobility (CCAM) which is relevant for the entire transportation system. LÄS MER

7. 5. Learning-by-modeling : Novel Computational Approaches for Exploring the Dynamics of Learning and Self-governance in Social-ecological Systems

   Författare :Emilie Lindkvist; Maja Schlüter; Jon Norberg; Örjan Ekeberg; James Dyke; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Complex adaptive systems; Renewable resources; Adaptive management; Small-scale fisheries; Artificial intelligence; Reinforcement learning; Agent-based modeling; agent-baserade modeller; artificiell intelligens; social-ekologiska system; komplexa adaptiva system; förnyelsebara naturresurser; adaptiv förvaltning; Sustainability Science; vetenskap om hållbar utveckling;

   Sammanfattning : As a consequence of global environmental change, sustainable management and governance of natural resources face critical challenges, such as dealing with non-linear dynamics, increased resource variability, and uncertainty. This thesis seeks to address some of these challenges by using simulation models. LÄS MER