Spotlight Abstraction of Agents and Areas

Toben, Tobe and Westphal, Bernd and Rakow, Jan-Hendrik
We present "spotlight abstraction" as a generic abstraction technique for theanalysis of systems comprising an unbounded number of communicating agents.The abstraction principle is heterogeneous in the sense that the behaviour of a finite number of agents is preserved while the others are only abstractly represented. The precision of the abstraction can be tuned by an iterative procedure based on the analysis of counterexamples. Going beyond existing work, we show how to use the spotlight principle foranalysing systems where the physical position of agents is relevant. To this end, we put the spotlight on areas rather than on fixed sets of agents.
02 / 2010
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
B. Jonsson, J. Kreiker, M. Kwiatkowska
Dagstuhl Seminar Proceedings
Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich