Sökning: "Autonomous system"

Visar resultat 1 - 5 av 443 avhandlingar innehållade orden Autonomous system.

  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. Tools for Autonomous Process Control

    Författare :Anders Wallén; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; sequential control; software architectures; fast set point response; spectral estimation; frequency domain identification; relay feedback; non-linear system identification; Autonomous Control; Process Control; Grafcet; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Sammanfattning : There is an ongoing trend towards higher automation level in process control systems. The purpose of a plant is to manufacture some product at a high production rate with a consistent quality, while minimizing the use of resources in terms of energy consumption, raw material and labor. LÄS MER

  4. 3. Embedded internet system architectures

    Författare :Åke Östmark; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Sammanfattning : Today, using computers is a daily thing for many people over the world. We use computers to for example communicate, read news, search for sport events, correspond with e-mail, participate in meetings, and download the latest polyphonic ring tones for our mobile phones. LÄS MER

  5. 4. Autonomous Runtime System of Systems Interoperability

    Författare :Cristina Paniagua; Jerker Delsing; Josef Hallberg; Luis Almeida; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SOA; SoS; Interoperability; code generation; automation; Arrowhead Framework; Cyber-Physical Systems; Cyberfysiska system;

    Sammanfattning : The current technological environment is evolving increasingly fast, and the development of new devices, technologies, and architectures has opened an emergent paradigm where the digital and physical world work together, leading to a new digitalizacion era.For the industry, the shift of paradigm represents the start of the fourth industrial revolution, also called Industry 4. LÄS MER

  7. 5. Collaborative Adaptive Autonomous Agents

    Författare :Mirgita Frasheri; Mikael Ekström; Baran Çürüklü; Federico Pecora; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Adaptive autonomy;

    Sammanfattning : .... LÄS MER