scholarly journals Safraless Compositional Synthesis

2006 ◽  
pp. 31-44 ◽  
Author(s):  
Orna Kupferman ◽  
Nir Piterman ◽  
Moshe Y. Vardi
Keyword(s):  
Compositional Synthesis

scholarly journals Compositional synthesis of almost maximally permissible safety controllers

2019 ◽  
Author(s):  
Siyuan Liu ◽  
Majid Zamani
Keyword(s):  
Compositional Synthesis

scholarly journals Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

2007 ◽  
Vol 17 (4) ◽  
pp. 475-504 ◽  
Author(s):  
Hugo Flordal ◽  
Robi Malik ◽  
Martin Fabian ◽  
Knut Åkesson
Keyword(s):  
Compositional Synthesis

Compositional Synthesis of Modular Systems

2021 ◽  
pp. 303-319
Author(s):  
Bernd Finkbeiner ◽  
Noemi Passing
Keyword(s):  
Modular Systems ◽  
Compositional Synthesis

Compositional synthesis of live and bounded free choice Petri nets

1991 ◽  
pp. 172-187 ◽  
Author(s):  
Javier Esparza ◽  
Manuel Silva
Keyword(s):  
Petri Nets ◽  
Free Choice ◽  
Compositional Synthesis

scholarly journals Compositional synthesis of asynchronous automata

2011 ◽  
Vol 412 (29) ◽  
pp. 3701-3716
Author(s):  
Nicolas Baudru
Keyword(s):  
Asynchronous Automata ◽  
Compositional Synthesis

Improving efficiency of procedures for compositional synthesis by using bidirectional search

2001 ◽  
Vol 15 (1) ◽  
pp. 67-80 ◽  
Author(s):  
AMARESH CHAKRABARTI
Keyword(s):  
Building Blocks ◽  
Previous Literature ◽  
Automated Synthesis ◽  
Problem Size ◽  
Wide Range ◽  
Bidirectional Search ◽  
Overall Efficiency ◽  
Design Solutions ◽  
Compositional Synthesis ◽  
Improved Algorithm

This article is an attempt to improve the efficiency of procedures for compositional synthesis of design solutions using building blocks. These procedures have found use in a wide range of applications, and are one of the most substantial outcomes of research into automated synthesis of design solutions. Due to their combinatorial nature, these procedures are highly inefficient in solving problems, especially when the database of building blocks for synthesis or the problem size is large. Previous literature often focuses on improving only the algorithm part of a procedure, although it is both its algorithm and database which together determine the overall efficiency of the procedure. This article reports the construction and analysis of an improved algorithm, based on bidirectional search, for efficient compositional synthesis of design solutions using a set of building blocks.

scholarly journals Compositional synthesis of safety controllers

2012 ◽  
Author(s):  
Wouter Kuijper
Keyword(s):  
Compositional Synthesis
Sign in / Sign up

Export Citation Format

Share Document