TY - JOUR

T1 - Output selection and observer design for boolean control networks

T2 - A sub-optimal polynomial-complexity algorithm

AU - Weiss, Eyal

AU - Margaliot, Michael

N1 - Publisher Copyright:
© 2018 IEEE.

PY - 2019/1

Y1 - 2019/1

N2 - We derive a new graph-theoretic sufficient condition for observability of a Boolean control network (BCN). We describe two algorithms that are based on this condition. The first selects a set of nodes so that observing this set makes the BCN observable. The second algorithm builds an observer for the observable BCN. Both algorithms are sub-optimal, as they are based on a sufficient but not necessary condition for observability. Yet their time-complexity is linear in the length of the description of the BCN, rendering them feasible for largescale BCNs. We discuss how these results can be used to provide a sub-optimal yet polynomial-complexity algorithm for the minimal observability problem in BCNs. Some of the theoretical results are demonstrated using BCN models of mammalian cell cycle control, and T-cell receptor kinetics.

AB - We derive a new graph-theoretic sufficient condition for observability of a Boolean control network (BCN). We describe two algorithms that are based on this condition. The first selects a set of nodes so that observing this set makes the BCN observable. The second algorithm builds an observer for the observable BCN. Both algorithms are sub-optimal, as they are based on a sufficient but not necessary condition for observability. Yet their time-complexity is linear in the length of the description of the BCN, rendering them feasible for largescale BCNs. We discuss how these results can be used to provide a sub-optimal yet polynomial-complexity algorithm for the minimal observability problem in BCNs. Some of the theoretical results are demonstrated using BCN models of mammalian cell cycle control, and T-cell receptor kinetics.

KW - Boolean control networks and logic networks

KW - observers for nonlinear systems

KW - systems biology.

UR - http://www.scopus.com/inward/record.url?scp=85065483669&partnerID=8YFLogxK

U2 - 10.1109/LCSYS.2018.2872295

DO - 10.1109/LCSYS.2018.2872295

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85065483669

SN - 2475-1456

VL - 3

SP - 210

EP - 215

JO - IEEE Control Systems Letters

JF - IEEE Control Systems Letters

IS - 1

M1 - 8474357

ER -