Essays about: "Reachable set"

Showing result 1 - 5 of 11 essays containing the words Reachable set.

  1. 1. Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes : Reducing the Conservativeness in Data-Driven Pedestrian Predictions by Incorporating Their Behavior

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : August Söderlund; [2023]
    Keywords : Data-driven reachability analysis; Autonomous vehicles; Automated safety; Autonomous situational awareness; Datadriven nåbarhetsanalys; Autonoma fordon; Automatiserad säkerhet; Autonom situationsmedvetenhet;

    Abstract : Predicting the future state occupancies of pedestrians in urban scenarios is a challenging task, especially considering that conventional methods need an explicit model of the system, hence introducing data-driven reachability analysis. Data-driven reachability analysis uses data, inherently produced by an unknown system, to perform future state predictions using sets, generally represented by zonotopes. READ MORE

  3. 2. Defossilise Väster – Testing a fossil free urbanity for the debate

    University essay from Lunds universitet/Institutionen för arkitektur och byggd miljö

    Author : August Grundtman; [2023]
    Keywords : urban design; public space; climate change; transport; walkability; neighbourhood; fossil free; proximity; car free; Arts and Architecture;

    Abstract : Humanity is facing one of the greatest challenges ever. Climate change and global warming is a great risk and our consumption and dependency of fossil fuel are important causes of this accelerating issue. My thesis aims to design an entry for the professional debate about what urban areas in a fossil free future might be like. READ MORE

  4. 3. Latency-aware edge server for safe autonomous driving

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Mustafa Adnan; [2021]
    Keywords : ;

    Abstract : This thesis examines how a smart edge server, that communicates with autonomous vehicles in an intersection, could contribute to the safety of autonomous driving. Safe path planning is possible when an autonomous vehicle is aware of its surroundings such as obstacles, pedestrians, and other vehicles. READ MORE

  5. 4. Getting Rid of Store Buffers in PSO Analysis

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Luigi Zaccone; [2021]
    Keywords : ;

    Abstract : We propose an approach for reducing the PSO reachability analysis of concurrent programs to their SC reachability analysis, under some conditions on the explored behaviors. First, we propose a linear code- to-code translation that takes as input a concurrent program P and produces a concurrent program P such that, running under SC yieldsthe same set of reachable (shared) states as running P under PSO with at most k context-switches for each thread, for a fixed k. READ MORE

  6. 5. Limiting Transitive Closure for Static Regression Test Selection approaches

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Henrik Karlsson; [2019]
    Keywords : ;

    Abstract : In computer science and software development it is important to test software in order to ensure reliability. Regression testing in order to find potential faults introduced by software changes is key to assuring that the software is stable. READ MORE