scholarly journals Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules

2021 ◽  
Vol 348 ◽  
pp. 1-19
Author(s):  
Maike Schwammberger ◽  
Gleifer Vaz Alves
Keyword(s):  
2021 ◽  
pp. 105268462199276
Author(s):  
DeMarcus A. Jenkins

This article builds from scholarship on anti-Blackness in education and spatial imaginaries in geography to theorize an anti-Black spatial imaginary as the prevailing spatial logic that has shaped the configuration and character of American social intuitions, including K-12 schools. As a spatial imaginary, anti-Blackness is circulated through discourses, images, and texts that tell a story of Blackness as a problem, non-human, and placeless. Anchored by the assumption that Black populations are spatially illegitimate, the anti-Black spatial imaginary marks Black bodies as undesirable and therefore extractable from spaces and places that have been envisioned for their exclusion. I consider schools as sites spatialized terror where the exhibitions of terror consist of forcing students to observe other Black bodies being forcibly removed from the classroom and school community; constant rejection of Black language, traditions, music preferences, and other cultural forms of expression; the obliteration of Black names and identities. I offer ways that school leaders can unsettle the anti-Black spatial imaginary to transform schools as sites of holistic healing and possibilities.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Maike Schwammberger

Abstract As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.


2021 ◽  
Author(s):  
A. I. Dolgy ◽  
I. N. Rozenberg ◽  
V. Ya. Tsvetkov

2016 ◽  
Vol 48 (3) ◽  
pp. 395-410 ◽  
Author(s):  
Seth Quintus ◽  
Jeffrey T. Clark
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document