Sökning: "approach and avoidance"

Visar resultat 1 - 5 av 124 avhandlingar innehållade orden approach and avoidance.

  1. 1. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Författare :Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER

  3. 2. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance

    Författare :Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist; Larsen Kim; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. LÄS MER

  4. 3. Activity-based Flexible Office work environments : Design and implementation processes and outcomes

    Författare :Linda Rolfö; Jörgen Eklund; Christina Bodin Danielsson; Annika Vänje; Ole Broberg; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Activity-based working; ABW; New ways of working NWW ; hot-desking; clean desk; office policies; workspace; office layout; office design; office planning process; organizational change; conceptual framework for office design; office planning; Aktivitetsbaserade kontor; ABW; Nya sätt att arbeta NWW ; flexibelt arbete; förhållningsregler; kontorsutformning; organisationsförändring; konceptuellt ramverk för kontorsplanering; planeringsprocessen; Technology and Health; Teknik och hälsa;

    Sammanfattning : Background: In recent years, there has been a reported increase in organizations relocating to Activity-based Flexible Offices (A-FOs) worldwide. The idea of A-FOs is to offer work conditions suitable for the workforce’s tasks and individual preferences. LÄS MER

  5. 4. The Corporate Social Responsibility (CSR) approach as a framework for business involvement in health promotion in the welfare state

    Författare :Michelle Sara Monachino; Sam WillnerDr.; Paulo Moreira; Lena Högberg; Karin Svedberg Helgesson; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Corporate Social Responsibility; health promotion; public health policy; community health and community involvement; welfare state development; crosssectoral health promotion;

    Sammanfattning : This dissertation is to be situated in the debate about the development of the contemporary Western European welfare state, its displacement of responsibilities from state to non-state societal actors and the resulting concerns vis-à-vis the optimal distribution of responsibilities. Drawing, in interdisciplinary fashion, from the fields of political sociology, political economics, welfare studies, public health policy, and management, it focuses upon the involvement of for-profit, non-state actors into a field traditionally of state competence, that of public health. LÄS MER

  7. 5. Pre-Crash and In-Crash Car Occupant Safety Assessment

    Författare :Alexandros Leledakis; Chalmers tekniska högskola; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Crash Configurations; Advanced Driver Assistance Systems ADAS ; Human Body Model; Crashworthiness; Intersection crashes; Occupant postures; Real-world safety;

    Sammanfattning : Tens of millions are annually injured in Road Traffic Accidents (RTAs) worldwide, while the estimated number of RTA fatalities amounted to 1.35 million in 2016. In Europe, car occupants hold the largest share (48%) of fatalities among all road users. The high fatality and injury numbers motivate the work of enhancing road traffic safety. LÄS MER