Synthesizing from Components: Building from Blocks

Опубликовано 17 августа 2016, 1:06

The goal of component-based synthesis is to build a system from components. The nature of this generic problem changes as we concretize what is a component and what constitutes a composition. In this talk, we will focus on two different incarnations of component-based synthesis, and we will present approaches for solving them. The first instantiation concerns synthesizing the logic for switching between modes of a multi-mode dynamical system so as to achieve some safety and liveness guarantees. The second concerns synthesizing loop-free programs by composing elements from some given library functions.