Hiding variables when decomposing specifications into GR(1) contracts
Ioannis Filippidis, Richard Murray

Citation
Ioannis Filippidis, Richard Murray. "Hiding variables when decomposing specifications into GR(1) contracts". Talk or presentation, 11, October, 2017; Poster presented at the 2017 TerraSwarm Annual Meeting.

Abstract
Writing specifications for a large and complex engineering system becomes more challenging as the system grows. By decomposition of the specification into specifications of individual subsystems, we can modularize the design process. We describe a method to algorithmically construct component specifications that implement a specification given for the assembled system. The method identifies those variables that are relevant information to each component's objectives. In order to identify these variables, the interconnection architecture between components is parametrized, and the variables that have been identified are eliminated from component specifications where they need not appear. The resulting specifications describe component viewpoints that have full information with respect to the remaining variables, thus facilitating algorithmic synthesis. Moreover, the generated specifications are presented as minimal formulas in disjunctive normal form over atoms that involve integer variables.

Electronic downloads

Internal. This publication has been made accessible by the author to only members in the following group(s): tools, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Ioannis Filippidis, Richard Murray. <a
  href="http://www.terraswarm.org/pubs/1018.html"><i>Hiding
  variables when decomposing specifications into GR(1)
  contracts</i></a>, Talk or presentation,  11,
  October, 2017; Poster presented at the <a
  href="http://terraswarm.org/conferences/17/annual"
  >2017 TerraSwarm Annual Meeting</a>.

• Plain text

  Ioannis Filippidis, Richard Murray. "Hiding variables
  when decomposing specifications into GR(1) contracts".
  Talk or presentation,  11, October, 2017; Poster presented
  at the <a
  href="http://terraswarm.org/conferences/17/annual"
  >2017 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{FilippidisMurray17_HidingVariablesWhenDecomposingSpecificationsIntoGR1,
      author = {Ioannis Filippidis and Richard Murray},
      title = {Hiding variables when decomposing specifications
                into GR(1) contracts},
      day = {11},
      month = {October},
      year = {2017},
      note = {Poster presented at the <a
                href="http://terraswarm.org/conferences/17/annual"
                >2017 TerraSwarm Annual Meeting</a>.},
      abstract = {Writing specifications for a large and complex
                engineering system becomes more challenging as the
                system grows. By decomposition of the
                specification into specifications of individual
                subsystems, we can modularize the design process.
                We describe a method to algorithmically construct
                component specifications that implement a
                specification given for the assembled system. The
                method identifies those variables that are
                relevant information to each component's
                objectives. In order to identify these variables,
                the interconnection architecture between
                components is parametrized, and the variables that
                have been identified are eliminated from component
                specifications where they need not appear. The
                resulting specifications describe component
                viewpoints that have full information with respect
                to the remaining variables, thus facilitating
                algorithmic synthesis. Moreover, the generated
                specifications are presented as minimal formulas
                in disjunctive normal form over atoms that involve
                integer variables. },
      URL = {http://terraswarm.org/pubs/1018.html}
  }
  

Posted by Ioannis Filippidis on 12 Nov 2017.
Groups: tools