On quotients of Boolean control networks

TL;DR

This paper develops a method to create smaller quotient models of Boolean control networks that preserve essential dynamics, facilitating control design and analysis, with demonstrated biological applications.

Contribution

It introduces a systematic approach to construct quotient BCNs that retain key behaviors, enabling simplified control synthesis compared to existing methods.

Findings

Quotient BCNs accurately represent original network dynamics.

Control strategies can be designed on quotients and lifted to original networks.

Method is validated on a biological example.

Abstract

In this paper, we focus on the study of quotients of Boolean control networks (BCNs) with the motivation that they might serve as smaller models that still carry enough information about the original network. Given a BCN and an equivalence relation on the state set, we consider a labeled transition system that is generated by the BCN. The resulting quotient transition system then naturally captures the quotient dynamics of the BCN concerned. We therefore develop a method for constructing a Boolean system that behaves equivalently to the resulting quotient transition system. The use of the obtained quotient system for control design is discussed and we show that for BCNs, controller synthesis can be done by first designing a controller for a quotient and subsequently lifting it to the original model. We finally demonstrate the applicability of the proposed techniques on a biological example.