https://rahulbhadani.medium.com/control-and-safety-reachability-analysis-part-1-32ce8c23cd4
Reachability Analysis (RA) is a stellar toolbox for safety analysis and safety verification in various contexts, but to name one is autonomous driving and navigation.
#controlsystems #navigation #safety #autonomousvehicles #autonomousdriving #reachabilityanalysis #reachability #mathematics #toolbox #control #engineering #statistics #rl #reinforcementlearning #ai #ml #electricalengineering #aerospace #aerospaceengineering
#controlsystems #navigation #safety #AutonomousVehicles #autonomousdriving #reachabilityanalysis #reachability #mathematics #Toolbox #control #engineering #statistics #rl #reinforcementlearning #ai #ml #electricalengineering #aerospace #aerospaceengineering
I kept getting a blank grey area showing at the top of my screen on #ios, and then I'd swipe up and it would disappear. This has been happening for years.
Today I decided to find out what it was.
It's a feature called #Reachability. If you operate your phone with one hand, and it has a screen which is too large for you to reach the icons at the top of the screen with your thumb, you can make it bring the top of the screen down within reach.
Just double tap the home button.
Vector Addition Systems Reachability Problem (A Simpler Solution)
(2012) : J{\'e}rôme Leroux
url: https://hal.archives-ouvertes.fr/hal-00674970v2
#KLMTS_decomposition #net_theory #presburger_inductive_invariant #reachability #vector_addition
#my_bibtex
#klmts_decomposition #net_theory #presburger_inductive_invariant #reachability #vector_addition #my_bibtex
@gicycle I'd suggest a critical discussion of #walkability/#cycleability measures and #reachability analyses. Topics like sidewalk width in maps/plans vs real-life usable width might also be eye opening