Sökning: "Autonomous Systems"

Visar resultat 1 - 5 av 461 avhandlingar innehållade orden Autonomous Systems.

  1. 1. Architecting Autonomous Automotive Systems : With an emphasis on Cooperative Driving

    Författare :Sagar Behere; Martin Törngren; Ivica Crnkovic; KTH; []

    Sammanfattning : The increasing usage of electronics and software in a modern automobile enables realization of many advanced features. One such feature is autonomous driving. Autonomous driving means that a human driver’s intervention is not required to drive the automobile; rather, theautomobile is capable of driving itself. LÄS MER

  2. 2. Designing Trustworthy Autonomous Systems

    Författare :Piergiuseppe Mallozzi; Chalmers University of Technology; []
    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. 3. Expressing emotions through vibration for perception and control

    Författare :Shafiq ur Réhman; Li Liu; Xiaoyi Jiang; Umeå universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Multimodal Signal Processing; Mobile Communication; Vibrotactile Rendering; Locally Linear Embedding; Object Detection; Human Facial Expression Analysis; Lip Tracking; Object Tracking; HCI; Expectation-Maximization Algorithm; Lipless Tracking; Image Analysis; Visually Impaired.; Signal processing; Signalbehandling; Image analysis; Bildanalys; Computer science; Datavetenskap; Telecommunication; Telekommunikation; Systems engineering; Systemteknik; datoriserad bildanalys; Computerized Image Analysis; business data processing; administrativ databehandling; Electronics; elektronik; Systems Analysis; systemanalys;

    Sammanfattning : This thesis addresses a challenging problem: “how to let the visually impaired ‘see’ others emotions”. We, human beings, are heavily dependent on facial expressions to express ourselves. A smile shows that the person you are talking to is pleased, amused, relieved etc. LÄS MER

  4. 4. Safety Analysis of Systems-of-Systems

    Författare :Stephan Baumgart; Joakim Fröberg; Sasikumar Punnekkat; Iain Bate; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System-of-Systems; Safety Analysis; Hazard Analysis; Model-based Development; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical systems may fail dangerously with severe consequences to the health of the involved humans, costly equipment, the environment, or other valuable assets of a stakeholder. For these classes of systems, the developers are obliged to analyze each potentially hazardous situation thoroughly. LÄS MER

  5. 5. Hierarchical Concurrent Systems from a Model-Oriented perspective

    Författare :Daniel Einarson; Data Vetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; control; systems; numerical analysis; Computer science; Distributed Systems; Hierarchical Systems; Object-Orientation; Model-Orientation; Datalogi; numerisk analys; system; kontroll; Systems engineering; computer technology; Data- och systemvetenskap;

    Sammanfattning : Real world systems are normally considered as hierarchically organized, for example, we see those as hierarchies of systems including subsystems. Examples on this can be seen in organizations where people act in environments and carry within themselves their own internal subsystem of thinking processes. LÄS MER