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

Multimachine Stability

Multimachine Stability

Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:

Sequence Networks of Rotating Machines

Sequence Networks of Rotating Machines

A Y-connected synchronous generator, grounded through a neutral impedance, is designed to produce balanced internal phase voltages with only positive-sequence components. The generator's sequence networks include a source voltage that is exclusively in the positive-sequence network. The sequence components of line-to-ground voltages at the generator terminals illustrate this configuration.
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...

Simplified Synchronous Machine Model

Simplified Synchronous Machine Model

The Synchronous Machine Model is a fundamental tool in analyzing and ensuring the transient stability of power systems. This model simplifies the representation of a synchronous machine under balanced three-phase positive-sequence conditions, assuming constant excitation and ignoring losses and saturation. The model is pivotal for understanding the behavior of synchronous generators connected to a power grid, particularly during transient events.
In this model, each generator is connected to a...

Network Function of a Circuit

Network Function of a Circuit

Frequency response analysis in electrical circuits provides vital insights into a circuit's behavior as the frequency of the input signal changes. The transfer function, a mathematical tool, is instrumental in understanding this behavior. It defines the relationship between phasor output and input and comes in four types: voltage gain, current gain, transfer impedance, and transfer admittance. The critical components of the transfer function are the poles and zeros.

BIBO stability of continuous and discrete -time systems

BIBO stability of continuous and discrete -time systems

System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....

Linear time-invariant Systems

Linear time-invariant Systems

A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...

You might also read

Related Articles

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

Sort by

Same author

An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks.

IEEE/ACM transactions on computational biology and bioinformatics·2020

Same author

Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities.

IEEE transactions on neural networks and learning systems·2016

Same author

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors.

IEEE/ACM transactions on computational biology and bioinformatics·2015

Same author

Verification and optimal control of context-sensitive probabilistic Boolean networks using model checking and polynomial optimization.

TheScientificWorldJournal·2014

Same author

Optimal control of gene regulatory networks with effectiveness of multiple drugs: a Boolean network approach.

BioMed research international·2013

Same author

Polynomial-time algorithm for controllability test of a class of boolean biological networks.

EURASIP journal on bioinformatics & systems biology·2010

Search research articles

Related Experiment Video

Updated: Nov 26, 2025

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks.

Trinh Van Giang, Kunihiko Hiraishi

IEEE/ACM Transactions on Computational Biology and Bioinformatics

|December 10, 2020

Summary

This summary is machine-generated.

This study introduces deterministic generalized asynchronous random Boolean networks (DGARBNs) for gene regulatory network analysis. Novel SMT-based methods are presented for attractor detection and control, implemented in the DABoolNet tool.

More Related Videos

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

Related Experiment Videos

Last Updated: Nov 26, 2025

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

Area of Science:

Computational Biology
Systems Biology
Bioinformatics

Background:

Deterministic asynchronous Boolean networks are vital for modeling gene regulatory networks.
Deterministic generalized asynchronous random Boolean networks (DGARBNs) represent a specific, important class within this domain.

Purpose of the Study:

To introduce and analyze deterministic generalized asynchronous random Boolean networks (DGARBNs).
To develop novel computational methods for analyzing DGARBN dynamics, specifically for attractor detection and optimal control.
To provide a software implementation and demonstrate the scalability of the proposed methods.

Main Methods:

Formulation of an extended state transition graph to capture DGARBN dynamics.
Development of two SMT (Satisfiability Modulo Theories)-based methods for attractor detection and optimal control.
Implementation of these methods in a JAVA tool named DABoolNet.
Formal analysis and proof of relations between DGARBNs and other Boolean network models.

Main Results:

The extended state transition graph effectively represents DGARBN dynamics.
The SMT-based methods provide efficient solutions for attractor detection and optimal control.
The DABoolNet tool demonstrates the scalability of the proposed methods through experimental validation.
Formal relationships between DGARBNs and related Boolean network models are established.

Conclusions:

The proposed SMT-based methods and the DABoolNet tool offer effective solutions for analyzing DGARBNs.
These advancements facilitate a deeper understanding of gene regulatory network dynamics.
The study establishes theoretical connections and practical applications for DGARBNs in systems biology.