{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/98333"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/98333","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"On stability and controllability of conjunctive Boolean networks","abstract":"A Boolean network (BN) is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of variables. BNs have been used in modeling gene regulatory networks. We focus in this thesis on a special class of BNs, termed as conjunctive Boolean networks (CBNs). A BN is conjunctive if the associated value update rule is comprised of only AND operations. It is known that any trajectory of a finite dynamical system will enter a periodic orbit. Periodic orbits of a CBN are now completely understood. We first characterize in this thesis all periodic orbits of a CBN. In particular, we establish a bijection between the set of periodic orbits and the set of binary necklaces of a certain length. We further investigate the stability of a periodic orbit. Specifically, we perturb a state in the periodic orbit by changing the value of a single entry of the state. The trajectory, with the perturbed state being the initial condition, will enter another (possibly the same) periodic orbit in finite time steps. We then provide a complete characterization of all such transitions from one periodic orbit to another. In particular, we construct a digraph, with the vertices being the periodic orbits, and the (directed) edges representing the transitions among the orbits. We call such a digraph the stability structure of the CBN. We then investigate the orbit-controllability and state-controllability of a CBN. We ask the question of how one can steer a CBN to enter any periodic orbit or to reach any final state, from any initial state. Suppose that there is a selected subset of variables whose values can be controlled for some finite time steps, while other variables still follow the value update rule during all time. We establish in the thesis a necessary and sufficient condition for this subset such that the trajectory, with any initial condition, will enter any desired periodic orbit or reach any final state. We also provide algorithms specifying the methods of manipulating the values of these variables to realize these control goals.","abstract_html":"A Boolean network (BN) is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of variables. BNs have been used in modeling gene regulatory networks. We focus in this thesis on a special class of BNs, termed as conjunctive Boolean networks (CBNs). A BN is conjunctive if the associated value update rule is comprised of only AND operations. It is known that any trajectory of a finite dynamical system will enter a periodic orbit. Periodic orbits of a CBN are now completely understood. We first characterize in this thesis all periodic orbits of a CBN. In particular, we establish a bijection between the set of periodic orbits and the set of binary necklaces of a certain length. We further investigate the stability of a periodic orbit. Specifically, we perturb a state in the periodic orbit by changing the value of a single entry of the state. The trajectory, with the perturbed state being the initial condition, will enter another (possibly the same) periodic orbit in finite time steps. We then provide a complete characterization of all such transitions from one periodic orbit to another. In particular, we construct a digraph, with the vertices being the periodic orbits, and the (directed) edges representing the transitions among the orbits. We call such a digraph the stability structure of the CBN. We then investigate the orbit-controllability and state-controllability of a CBN. We ask the question of how one can steer a CBN to enter any periodic orbit or to reach any final state, from any initial state. Suppose that there is a selected subset of variables whose values can be controlled for some finite time steps, while other variables still follow the value update rule during all time. We establish in the thesis a necessary and sufficient condition for this subset such that the trajectory, with any initial condition, will enter any desired periodic orbit or reach any final state. We also provide algorithms specifying the methods of manipulating the values of these variables to realize these control goals.","abstract_has_math":false,"creators":["Gao, Zuguang"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Electrical & Computer Engr","degree_department":null,"school":null,"contributors":["Başar, Tamer"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-07-05","date_published":"2017-07-05","updated_at":"2026-07-22T22:24:35Z","subjects":["Boolean networks","Discrete time dynamics","Networked control systems"],"languages":["en"],"rights":["Copyright 2017 Zuguang Gao"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/98333","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Başar, Tamer"]},{"key":"dc:creator","label":"Author","values":["Gao, Zuguang"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2017-07-05","2017-09-29T17:56:25Z","2017-08"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical & Computer Engr"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Boolean networks","Discrete time dynamics","Networked control systems"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2017 Zuguang Gao"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/98333"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["A Boolean network (BN) is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of variables. BNs have been used in modeling gene regulatory networks. We focus in this thesis on a special class of BNs, termed as conjunctive Boolean networks (CBNs). A BN is conjunctive if the associated value update rule is comprised of only AND operations. It is known that any trajectory of a finite dynamical system will enter a periodic orbit. Periodic orbits of a CBN are now completely understood. We first characterize in this thesis all periodic orbits of a CBN. In particular, we establish a bijection between the set of periodic orbits and the set of binary necklaces of a certain length. We further investigate the stability of a periodic orbit. Specifically, we perturb a state in the periodic orbit by changing the value of a single entry of the state. The trajectory, with the perturbed state being the initial condition, will enter another (possibly the same) periodic orbit in finite time steps. We then provide a complete characterization of all such transitions from one periodic orbit to another. In particular, we construct a digraph, with the vertices being the periodic orbits, and the (directed) edges representing the transitions among the orbits. We call such a digraph the stability structure of the CBN. We then investigate the orbit-controllability and state-controllability of a CBN. We ask the question of how one can steer a CBN to enter any periodic orbit or to reach any final state, from any initial state. Suppose that there is a selected subset of variables whose values can be controlled for some finite time steps, while other variables still follow the value update rule during all time. We establish in the thesis a necessary and sufficient condition for this subset such that the trajectory, with any initial condition, will enter any desired periodic orbit or reach any final state. We also provide algorithms specifying the methods of manipulating the values of these variables to realize these control goals.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2017-09-29 without embargo terms","The student, Zuguang Gao, accepted the attached license on 2017-07-05 at 14:03.","The student, Zuguang Gao, submitted this Thesis for approval on 2017-07-05 at 14:29.","This Thesis was approved for publication on 2017-07-05 at 16:43.","DSpace SAF Submission Ingestion Package generated from Vireo submission #11314 on 2017-09-29 at 11:27:55","Made available in DSpace on 2017-09-29T17:56:25Z (GMT). No. of bitstreams: 2 GAO-THESIS-2017.pdf: 2402496 bytes, checksum: bf91c7ba0b2568a4ca2a2fefb8330218 (MD5) LICENSE.txt: 4208 bytes, checksum: 62b19a3b9cee1bda1193beb4c4bb5df3 (MD5) Previous issue date: 2017-07-05"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["On stability and controllability of conjunctive Boolean networks"]}]}],"canonical_facts":{"dc:contributor":["Başar, Tamer"],"dc:creator":["Gao, Zuguang"],"dc:date":["2017-07-05","2017-09-29T17:56:25Z","2017-08"],"dc:description":["A Boolean network (BN) is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of variables. BNs have been used in modeling gene regulatory networks. We focus in this thesis on a special class of BNs, termed as conjunctive Boolean networks (CBNs). A BN is conjunctive if the associated value update rule is comprised of only AND operations. It is known that any trajectory of a finite dynamical system will enter a periodic orbit. Periodic orbits of a CBN are now completely understood. We first characterize in this thesis all periodic orbits of a CBN. In particular, we establish a bijection between the set of periodic orbits and the set of binary necklaces of a certain length. We further investigate the stability of a periodic orbit. Specifically, we perturb a state in the periodic orbit by changing the value of a single entry of the state. The trajectory, with the perturbed state being the initial condition, will enter another (possibly the same) periodic orbit in finite time steps. We then provide a complete characterization of all such transitions from one periodic orbit to another. In particular, we construct a digraph, with the vertices being the periodic orbits, and the (directed) edges representing the transitions among the orbits. We call such a digraph the stability structure of the CBN. We then investigate the orbit-controllability and state-controllability of a CBN. We ask the question of how one can steer a CBN to enter any periodic orbit or to reach any final state, from any initial state. Suppose that there is a selected subset of variables whose values can be controlled for some finite time steps, while other variables still follow the value update rule during all time. We establish in the thesis a necessary and sufficient condition for this subset such that the trajectory, with any initial condition, will enter any desired periodic orbit or reach any final state. We also provide algorithms specifying the methods of manipulating the values of these variables to realize these control goals.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2017-09-29 without embargo terms","The student, Zuguang Gao, accepted the attached license on 2017-07-05 at 14:03.","The student, Zuguang Gao, submitted this Thesis for approval on 2017-07-05 at 14:29.","This Thesis was approved for publication on 2017-07-05 at 16:43.","DSpace SAF Submission Ingestion Package generated from Vireo submission #11314 on 2017-09-29 at 11:27:55","Made available in DSpace on 2017-09-29T17:56:25Z (GMT). No. of bitstreams: 2 GAO-THESIS-2017.pdf: 2402496 bytes, checksum: bf91c7ba0b2568a4ca2a2fefb8330218 (MD5) LICENSE.txt: 4208 bytes, checksum: 62b19a3b9cee1bda1193beb4c4bb5df3 (MD5) Previous issue date: 2017-07-05"],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/98333"],"dc:language":["en"],"dc:rights":["Copyright 2017 Zuguang Gao"],"dc:subject":["Boolean networks","Discrete time dynamics","Networked control systems"],"dc:title":["On stability and controllability of conjunctive Boolean networks"],"dc:type":["text"],"thesis:degree_discipline":["Electrical & Computer Engr"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:35Z"}