Scheduling Multiple Agents in a Persistent Monitoring Task Using Reachability Analysis.
Xi YuSean B. AnderssonNan ZhouChristos G. CassandrasPublished in: IEEE Trans. Autom. Control. (2020)
Keyphrases
- multiple agents
- reachability analysis
- multi agent
- model checking
- markov decision processes
- scheduling problem
- monitoring system
- timed automata
- single agent
- state space
- real time
- scheduling algorithm
- multi agent coordination
- agent societies
- incremental algorithms
- reward function
- state variables
- resource allocation
- machine learning