Citation
Rolf Dreschsler, Hoang M. Le, Mathias Soeken, Robert Wille. " Law-based Verification for Complex Swarm Systems". Talk or presentation, 29, September, 2013; Poster from the First International Workshop on the Swarm at the Edge of the Cloud (SEC'13 @ ESWeek), Montreal.

Abstract
Motivated by the recent advances with respect to the costs, size, and power consumption of electrical and sensor systems, the design of swarm systems received significant attention in the past decade. While several manifestations are investigated (including the “classical” System of Systems (SoS), their recent extensions to Cyber-Physical Systems (CPS), as well as networks such as proposed in TerraSwarm and the Internet of Things), swarm system are commonly characterized by a large number of heterogeneous components which dynamically change their structure — in the following such a system is referred to as Complex Swarm System (CSS). These properties pose a daunting challenge to the development of methods and solutions ensuring the correctness of these systems, i.e. to methods that check whether a given CSS indeed behaves as intended.

Electronic downloads

• Law-BasedVerificationForComplexSwarmSystems-Dreschler-SEC13-Montreal.pdf · application/pdf · 140 kbytes
• http://www.src.org/library/publication/p067977/. (SRC Website)
• Drechsler_LawBasedVerif_edge.pdf · application/pdf · 62 kbytes. (Abstract)

• HTML

  Rolf Dreschsler, Hoang M. Le, Mathias Soeken, Robert Wille.
  <a
  href="http://www.terraswarm.org/pubs/135.html"><i>
  Law-based Verification for Complex Swarm
  Systems</i></a>, Talk or presentation,  29,
  September, 2013; Poster from the <a
  href="http://www.terraswarm.org/conferences/13/swarm/index.htm"
  >First International Workshop on the Swarm at the Edge of
  the Cloud (SEC'13 @ ESWeek)</a>, Montreal.

• Plain text

  Rolf Dreschsler, Hoang M. Le, Mathias Soeken, Robert Wille.
  " Law-based Verification for Complex Swarm
  Systems". Talk or presentation,  29, September, 2013;
  Poster from the <a
  href="http://www.terraswarm.org/conferences/13/swarm/index.htm"
  >First International Workshop on the Swarm at the Edge of
  the Cloud (SEC'13 @ ESWeek)</a>, Montreal.

• BibTeX

  @presentation{DreschslerLeSoekenWille13_LawbasedVerificationForComplexSwarmSystems,
      author = {Rolf Dreschsler and Hoang M. Le and Mathias Soeken
                and Robert Wille},
      title = { Law-based Verification for Complex Swarm Systems},
      day = {29},
      month = {September},
      year = {2013},
      note = {Poster from the <a
                href="http://www.terraswarm.org/conferences/13/swarm/index.htm"
                >First International Workshop on the Swarm at the
                Edge of the Cloud (SEC'13 @ ESWeek)</a>, Montreal.},
      abstract = {Motivated by the recent advances with respect to
                the costs, size, and power consumption of
                electrical and sensor systems, the design of swarm
                systems received significant attention in the past
                decade. While several manifestations are
                investigated (including the �classical� System
                of Systems (SoS), their recent extensions to
                Cyber-Physical Systems (CPS), as well as networks
                such as proposed in TerraSwarm and the Internet of
                Things), swarm system are commonly characterized
                by a large number of heterogeneous components
                which dynamically change their structure � in
                the following such a system is referred to as
                Complex Swarm System (CSS). These properties pose
                a daunting challenge to the development of methods
                and solutions ensuring the correctness of these
                systems, i.e. to methods that check whether a
                given CSS indeed behaves as intended. },
      URL = {http://terraswarm.org/pubs/135.html}
  }
  

Posted by Christopher Brooks on 1 Oct 2013.