Game-based synthesis of distributed controllers for sampled switched systems
Switched systems are a convenient formalism for modeling physical processes interacting
with a digital controller. Unfortunately, the formalism does not capture the distributed nature …
with a digital controller. Unfortunately, the formalism does not capture the distributed nature …
Game-based verification and synthesis
S Vester - 2016 - orbit.dtu.dk
Game-based verification and synthesis Page 1 General rights Copyright and moral rights for
the publications made accessible in the public portal are retained by the authors and/or other …
the publications made accessible in the public portal are retained by the authors and/or other …
[PDF][PDF] Collective Adaptive Systems: a language, a model, an approximation technique
M Tinacci - Citeseer
Adaptive agents are systems that interact with the external environment and react taking
decisions at run-time relying on the achieved knowledge. This kind of agents are nowadays …
decisions at run-time relying on the achieved knowledge. This kind of agents are nowadays …