Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Synthesis and Decomposition Reactions

Synthesis and Decomposition Reactions

Synthesis and decomposition are two types of redox reactions. Synthesis means to make something, whereas decomposition means to break something. The reactions are accompanied by chemical and energy changes.

Synthetic Biology

Synthetic Biology

Synthetic biology is an interdisciplinary science that involves using principles from disciplines such as engineering, molecular biology, cell biology, and systems biology. It involves remodeling existing organisms from nature or constructing completely new synthetic organisms for applications such as protein or enzyme production, bioremediation, value-added macromolecule production, and the addition of desirable traits to crops, to name a few.
Golden rice
Golden rice is a genetically modified...

Mechanistic Models: Overview of Compartment Models

Mechanistic Models: Overview of Compartment Models

Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...

Cyclic Processes And Isolated Systems

Cyclic Processes And Isolated Systems

A thermodynamic system with zero heat exchange and work is an isolated system. For these systems, the internal energy remains constant.
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each...

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...

Relation between Mathematical Equations and Block Diagrams

Relation between Mathematical Equations and Block Diagrams

In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same authorSame journal

Specification decomposition for reactive synthesis.

Innovations in systems and software engineering·2023

Same journal

Guest Editorial: Intelligence for systems and software engineering.

Innovations in systems and software engineering·2023

Same journal

A systematic method for diagnosis of hepatitis disease using machine learning.

Innovations in systems and software engineering·2023

Same journal

Automated credit assessment framework using ETL process and machine learning.

Innovations in systems and software engineering·2023

Same journal

Mental health issues assessment using tools during COVID-19 pandemic.

Innovations in systems and software engineering·2022

Same journal

Opinion classification at subtopic level from COVID vaccination-related tweets.

Innovations in systems and software engineering·2022

See all related articles

Search research articles

Related Experiment Video

Updated: Aug 28, 2025

Synthesis of a Water-soluble Metal–Organic Complex Array

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

Compositional synthesis of modular systems.

Bernd Finkbeiner¹, Noemi Passing¹

¹CISPA Helmholtz Center for Information Security, Saarbrücken, Germany.

Innovations in Systems and Software Engineering

|September 19, 2022

Summary

This summary is machine-generated.

This study presents a compositional synthesis algorithm for distributed systems, enabling practical scalability. The algorithm generates strategies and certificates, improving efficiency for distributed synthesis tasks.

Keywords:

Bounded synthesis Compositional synthesis Distributed systems Reactive systems

More Related Videos

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

A Modular Microfluidic Technology for Systematic Studies of Colloidal Semiconductor Nanocrystals

A Modular Microfluidic Technology for Systematic Studies of Colloidal Semiconductor Nanocrystals

Published on: May 10, 2018

Related Experiment Videos

Last Updated: Aug 28, 2025

Synthesis of a Water-soluble Metal–Organic Complex Array

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

A Modular Microfluidic Technology for Systematic Studies of Colloidal Semiconductor Nanocrystals

A Modular Microfluidic Technology for Systematic Studies of Colloidal Semiconductor Nanocrystals

Published on: May 10, 2018

Area of Science:

Computer Science
Distributed Systems
Formal Methods

Background:

Distributed synthesis of monolithic systems remains a significant challenge.
Compositional approaches are crucial for developing scalable distributed algorithms.
Decomposing global system specifications into local process requirements is key.

Purpose of the Study:

To present and extend a sound and complete compositional synthesis algorithm.
To develop a method for generating certificates that define assume-guarantee contracts for inter-process interfaces.
To bias the synthesis towards solutions with small interfaces by bounding certificate size.

Main Methods:

A compositional synthesis algorithm is developed and extended.
Certificates are generated for each process, defining assume-guarantee contracts.
The algorithm is implemented and evaluated on scalable benchmarks.

Main Results:

The implemented approach is significantly faster than standard distributed synthesis methods when small certificates exist.
The overhead of synthesizing certificates is minimal even when large certificates are required.
The algorithm successfully constructs strategies and interface certificates for distributed systems.

Conclusions:

The presented compositional synthesis algorithm offers a practical and scalable solution for distributed systems.
The use of certificates enhances the formulation of local process requirements and system modularity.
The approach demonstrates efficiency gains over traditional methods, particularly for systems with manageable interfaces.