Safe Schedule Verification for Urban Air Mobility Networks With Node Closures.
Qinshuang WeiGustav NilssonSamuel CooganPublished in: IEEE Trans. Control. Netw. Syst. (2024)
Keyphrases
- human mobility
- transport network
- scheduling problem
- network connectivity
- model checking
- packet transmission
- social networks
- neighboring nodes
- transportation networks
- cellular networks
- small world networks
- heterogeneous networks
- network nodes
- social ties
- overlapping communities
- small world
- single machine scheduling problem
- power law
- centrality measures
- mobile users
- computer networks
- network structure
- quality of service