http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM7Smith1WG211/M7Smith1 - Revision history2026-04-05T23:09:42ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M7Smith1&diff=247&oldid=prevAdmin: 1 revision2011-12-12T10:06:28Z<p>1 revision</p>
<p><b>New page</b></p><div>[[Category:WG211]]<br />
<br />
<br />
<h1>Calculating Refinements in Algorithm and System Design</h1><br />
<h3>Doug Smith</h3><br />
<br />
I've been working on a unified treatment of algorithm and<br />
system design. The key is to treat system specification as a<br />
combination of dynamical models (to model physical components and<br />
other existing infrastructure) and logical constraints on behavior<br />
(e.g. trace predicates). The key incremental synthesis problem then<br />
is to calculate a refinement of the current model to incorporate one<br />
of the logical constraints. These kinds of calculations require a<br />
game-theoretic setting, since that's the proper foundation for<br />
designing interacting systems. Previous work on algorithm design work<br />
in KIDS and Specware falls out as a special case of this framework.</div>Admin