Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Miheer Dewaskar"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)
We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. The framework is largely inspired by the control of a biological system,
Externí odkaz:
https://doaj.org/article/1056ce203a4d4227a8a9b94cb06a79e9
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:4265-4276