Sökning: "Autonomous Systems"

Visar resultat 11 - 15 av 431 avhandlingar innehållade orden Autonomous Systems.

  1. 11. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  3. 12. Architecting Safe Automated Driving with Legacy Platforms

    Författare :Naveen Mohan; Martin Törngren; Jakob Axelsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architectures; automated driving; autonomous vehicles; methods; processes; tools; functional safety; ISO 26262; diagnostic specifications; platform based design; legacy integration; functional safety concept; preliminary architectural assumptions; uncertainty management; design decisions;

    Sammanfattning : Modern vehicles have electrical architectures whose complexity grows year after year due to feature growth corresponding to customer expectations. The latest of the expectations, automation of the dynamic driving task however, is poised to bring about some of the largest changes seen so far. LÄS MER

  4. 13. Critical Scenario Identification for Testing of Autonomous Driving Systems

    Författare :Qunying Song; Programvarusystem; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software testing; Critical scenario identification; Autonomous systems; Autonomous driving systems;

    Sammanfattning : Background: Autonomous systems have received considerable attention from academia and are adopted by various industrial domains, such as automotive, avionics, etc. As many of them are considered safety-critical, testing is indispensable to verify their reliability and safety. LÄS MER

  5. 14. Performance anomaly detection and resolution for autonomous clouds

    Författare :Olumuyiwa Ibidunmoye; Erik Elmroth; Ewnetu Bayuh Lakew; Rolf Stadler; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cloud Computing; Distributed Systems; Performance Management; Anomaly Detection; Quality of Service; Performance Analytics; Machine Learning; Computer Systems; datorteknik; business data processing; administrativ databehandling; Computer Science; datalogi;

    Sammanfattning : Fundamental properties of cloud computing such as resource sharing and on-demand self-servicing is driving a growing adoption of the cloud for hosting both legacy and new application services. A consequence of this growth is that the increasing scale and complexity of the underlying cloud infrastructure as well as the fluctuating service workloads is inducing performance incidents at a higher frequency than ever before with far-reaching impact on revenue, reliability, and reputation. LÄS MER

  7. 15. Dynamic Adaptation in Industrial IoT Systems

    Författare :An Ngoc Lam; Jerker Delsing; Øystein Haugen; Hartwig Baumgärtel; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Autonomic Computing; Industrial IoT; Self-adaptation; Semantic Interoperability; System of Systems; Cyberfysiska system; Cyber-Physical Systems;

    Sammanfattning : The evolution of the current technological landscape has opened an emergent paradigm that enables interoperability between the digital and physical world, leading to a new generation of industrial systems. This new digitalization era marks the beginning of the fourth industrial revolution, usually referred to as "Industry 4.0". LÄS MER