Design Synthesis with Qualitative Influence Graphs: Steps Towards Multi-State Dynamical Device

Contents

The behavior synthesis problem is a design task that involves the combining of several parts of known artifacts to create a new artifact which delivers a specified behavior. In this paper we build upon an earlier approach for the synthesis of designs with continuous behavior, and discuss its extension to multi-state devices with behavior that is dynamic, intermittent and have feedback.