ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued

Emna Ben Abdallah1, Maxime Folschette2,3, Olivier Roux1

  • 1École Centrale de Nantes, LS2N UMR CNRS 6004, 1 rue de la Noë, 44321 Nantes, France.

Summary

This study presents a computational method using answer set programming (ASP) to identify all attractors in biological regulatory networks. The approach efficiently finds stable states and cycles in complex systems, aiding in understanding disease and mutation effects.

Related Concept Videos

Multimachine Stability01:25

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:
589
Network Function of a Circuit01:25

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.
946
Sequence Networks of Rotating Machines01:24

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...
508
Simplified Synchronous Machine Model01:30

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...
815
Node Analysis for AC Circuits01:14

Node Analysis for AC Circuits

Consider an angioplasty system featuring a catheter equipped with a turbine, a critical tool for removing plaque deposits from coronary arteries. This intricate medical device operates using a circuit model reminiscent of a dual-node RLC circuit powered by a current-controlled voltage source.
To unravel the complexities of this system, nodal analysis is employed, a powerful technique founded on Kirchhoff's current law (KCL), which remains valid for phasors. AC circuits can effectively be...
715
Circuit Terminology01:14

Circuit Terminology

An electrical network is a system composed of interconnected elements, such as resistors, capacitors, inductors, and voltage or current sources. Unlike a circuit, an electrical network does not necessarily form a closed path. In other words, while all circuits can be considered networks due to their interconnected nature, not every network qualifies as a circuit.
A circuit, on the other hand, is also an interconnected system of electrical elements but must contain one or more closed paths.
3.0K