Current browse context:
cs.FL
Change to browse by:
References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Controlling a random population
(Submitted on 4 Nov 2019 (v1), last revised 23 Nov 2021 (this version, v5))
Abstract: Bertrand et al. introduced a model of parameterised systems, where each agent is represented by a finite state system, and studied the following control problem: for any number of agents, does there exist a controller able to bring all agents to a target state? They showed that the problem is decidable and EXPTIME-complete in the adversarial setting, and posed as an open problem the stochastic setting, where the agent is represented by a Markov decision process. In this paper, we show that the stochastic control problem is decidable. Our solution makes significant uses of well quasi orders, of the max-flow min-cut theorem, and of the theory of regular cost functions. We introduce an intermediate problem of independence interest called the sequential flow problem and study its complexity.
Submission history
From: Pierre Ohlmann [view email] [via LOGICAL proxy][v1] Mon, 4 Nov 2019 13:32:18 GMT (204kb,D)
[v2] Tue, 29 Dec 2020 14:53:34 GMT (624kb,D)
[v3] Mon, 26 Jul 2021 13:59:55 GMT (561kb,D)
[v4] Fri, 24 Sep 2021 10:26:09 GMT (806kb,D)
[v5] Tue, 23 Nov 2021 17:59:01 GMT (557kb,D)
Link back to: arXiv, form interface, contact.