Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950962171> ?p ?o ?g. }
- W2950962171 endingPage "642" @default.
- W2950962171 startingPage "630" @default.
- W2950962171 abstract "This paper presents the design of a supervisory algorithm that monitors safety at road intersections and overrides drivers with a safe input when necessary. The design of the supervisor consists of two parts: safety verification and control design. Safety verification is the problem to determine if vehicles will be able to cross the intersection without colliding with current drivers' inputs. We translate this safety verification problem into a jobshop scheduling problem, which minimizes the maximum lateness and evaluates if the optimal cost is zero. The zero optimal cost corresponds to the case in which all vehicles can cross each conflict area without collisions. Computing the optimal cost requires solving a Mixed Integer Nonlinear Programming (MINLP) problem due to the nonlinear second-order dynamics of the vehicles. We therefore estimate this optimal cost by formulating two related Mixed Integer Linear Programming (MILP) problems that assume simpler vehicle dynamics. We prove that these two MILP problems yield lower and upper bounds of the optimal cost. We also quantify the worst case approximation errors of these MILP problems. We design the supervisor to override the vehicles with a safe control input if the MILP problem that computes the upper bound yields a positive optimal cost. We theoretically demonstrate that the supervisor keeps the intersection safe and is non-blocking. Computer simulations further validate that the algorithms can run in real time for problems of realistic size." @default.
- W2950962171 created "2019-06-27" @default.
- W2950962171 creator A5036095256 @default.
- W2950962171 creator A5054872846 @default.
- W2950962171 date "2018-03-01" @default.
- W2950962171 modified "2023-10-18" @default.
- W2950962171 title "Safety Verification and Control for Collision Avoidance at Road Intersections" @default.
- W2950962171 cites W1499853177 @default.
- W2950962171 cites W1544016679 @default.
- W2950962171 cites W1964703036 @default.
- W2950962171 cites W1967091946 @default.
- W2950962171 cites W1972022192 @default.
- W2950962171 cites W1984455999 @default.
- W2950962171 cites W2006455928 @default.
- W2950962171 cites W2010725166 @default.
- W2950962171 cites W2023989318 @default.
- W2950962171 cites W2029357396 @default.
- W2950962171 cites W2045403423 @default.
- W2950962171 cites W2048052859 @default.
- W2950962171 cites W2049465273 @default.
- W2950962171 cites W2055836897 @default.
- W2950962171 cites W2056549180 @default.
- W2950962171 cites W2080782477 @default.
- W2950962171 cites W2085865324 @default.
- W2950962171 cites W2092626285 @default.
- W2950962171 cites W2099354898 @default.
- W2950962171 cites W2111080100 @default.
- W2950962171 cites W2122800638 @default.
- W2950962171 cites W2123357397 @default.
- W2950962171 cites W2130519480 @default.
- W2950962171 cites W2143726955 @default.
- W2950962171 cites W2147741970 @default.
- W2950962171 cites W2152618686 @default.
- W2950962171 cites W2154538363 @default.
- W2950962171 cites W2157202548 @default.
- W2950962171 cites W2163504715 @default.
- W2950962171 cites W2165489953 @default.
- W2950962171 cites W2213739823 @default.
- W2950962171 cites W2275523621 @default.
- W2950962171 cites W2276242108 @default.
- W2950962171 cites W2284958039 @default.
- W2950962171 cites W2301019454 @default.
- W2950962171 cites W2302093231 @default.
- W2950962171 cites W2336607923 @default.
- W2950962171 cites W2344950968 @default.
- W2950962171 cites W246120801 @default.
- W2950962171 cites W3105281863 @default.
- W2950962171 cites W4236306094 @default.
- W2950962171 cites W4238484605 @default.
- W2950962171 cites W4255654664 @default.
- W2950962171 doi "https://doi.org/10.1109/tac.2017.2729661" @default.
- W2950962171 hasPublicationYear "2018" @default.
- W2950962171 type Work @default.
- W2950962171 sameAs 2950962171 @default.
- W2950962171 citedByCount "42" @default.
- W2950962171 countsByYear W29509621712018 @default.
- W2950962171 countsByYear W29509621712019 @default.
- W2950962171 countsByYear W29509621712020 @default.
- W2950962171 countsByYear W29509621712021 @default.
- W2950962171 countsByYear W29509621712022 @default.
- W2950962171 countsByYear W29509621712023 @default.
- W2950962171 crossrefType "journal-article" @default.
- W2950962171 hasAuthorship W2950962171A5036095256 @default.
- W2950962171 hasAuthorship W2950962171A5054872846 @default.
- W2950962171 hasBestOaLocation W29509621711 @default.
- W2950962171 hasConcept C115527620 @default.
- W2950962171 hasConcept C121332964 @default.
- W2950962171 hasConcept C121704057 @default.
- W2950962171 hasConcept C126255220 @default.
- W2950962171 hasConcept C127413603 @default.
- W2950962171 hasConcept C146978453 @default.
- W2950962171 hasConcept C154945302 @default.
- W2950962171 hasConcept C158622935 @default.
- W2950962171 hasConcept C17744445 @default.
- W2950962171 hasConcept C199539241 @default.
- W2950962171 hasConcept C206729178 @default.
- W2950962171 hasConcept C2775924081 @default.
- W2950962171 hasConcept C2779110517 @default.
- W2950962171 hasConcept C31258907 @default.
- W2950962171 hasConcept C33923547 @default.
- W2950962171 hasConcept C38652104 @default.
- W2950962171 hasConcept C41008148 @default.
- W2950962171 hasConcept C41045048 @default.
- W2950962171 hasConcept C47446073 @default.
- W2950962171 hasConcept C55416958 @default.
- W2950962171 hasConcept C56086750 @default.
- W2950962171 hasConcept C62520636 @default.
- W2950962171 hasConcept C64543145 @default.
- W2950962171 hasConcept C74172769 @default.
- W2950962171 hasConcept C91575142 @default.
- W2950962171 hasConceptScore W2950962171C115527620 @default.
- W2950962171 hasConceptScore W2950962171C121332964 @default.
- W2950962171 hasConceptScore W2950962171C121704057 @default.
- W2950962171 hasConceptScore W2950962171C126255220 @default.
- W2950962171 hasConceptScore W2950962171C127413603 @default.
- W2950962171 hasConceptScore W2950962171C146978453 @default.
- W2950962171 hasConceptScore W2950962171C154945302 @default.
- W2950962171 hasConceptScore W2950962171C158622935 @default.