ゲノム情報科学研究教育機構  アブストラクト
Date Oct 26, 2018
Speaker Stefan Haar,
Senior Researcher and Head of MExICo team, INRIA Saclay center, France
Title Let's have a new update on Boolean Networks !
Abstract The usual update modes of BNs, including synchronous and (generalized) asynchronous, fail to capture behaviours introduced by multivalued refinements. Thus, update modes do not allow a correct abstract reasoning on dynamics of biological systems, as they may lead to reject valid BN models. We introduce a new semantics for interpreting BNs which meets with a correct abstraction of any multivalued refinements, with any update mode; the attached poster may serve as a first illustration. This semantics subsumes all the usual updating modes, while enabling new behaviours achievable by more concrete models. Moreover, it appears that classical dynamical analyses of reachability and attractors have a simpler computational complexity: - reachability can be assessed in a polynomial number of iterations (instead of being PSPACE-complete); – attractors are hypercubes, and deciding the existence of attractors with a given upper-bounded dimension is in NP (instead of PSPACE complete). In shourt, the most permissive semantics of BNs enables a correct abstract reasoning on dynamics of BNs, with a greater tractability than previously introduced update modes. The talk will also present connection with Petri net models, and which advances are enabled using this bridge.
「セミナー」に戻る      
 ホーム