A Temporal Logic Inference Approach for Model Discrimination
作者： Zhe Xu , Marc Birtwistle , Calin Belta , Agung Julius
关键词:
摘要: We propose a method for discriminating among competing models biological systems. Our approach is based on learning temporal logic formulas from data obtained by simulating the models. apply this to find dynamic features of epidermal growth factor induced extracellular signal-regulated kinase (ERK) activation that are strictly unique positive versus negative feedback first search formula training set can eliminate ERK dynamics observed with both and then identify each model. The tested validation sample decision rates classification estimated using Chernoff bound. results be used in guiding optimizing design experiments model discrimination.
nsf.gov参考文章(18)
Joost-Pieter Katoen, Christel Baier, Principles of Model Checking (Representation and Mind Series) The MIT Press. ,(2008)
L. Blackmore, B. Williams, Finite Horizon Control Design for Optimal Model Discrimination conference on decision and control. pp. 3795- 3802 ,(2005) , 10.1109/CDC.2005.1582753
Alexandre Donzé, Oded Maler, Robust satisfaction of temporal logic over real-valued signals formal modeling and analysis of timed systems. ,vol. 6246, pp. 92- 106 ,(2010) , 10.1007/978-3-642-15297-9_9
Eli Upfal, Michael Mitzenmacher, Probability and Computing: Randomized Algorithms and Probabilistic Analysis ,(2005)
K. Hipel, Geophysical model discrimination using the Akaike information criterion IEEE Transactions on Automatic Control. ,vol. 26, pp. 358- 378 ,(1981) , 10.1109/TAC.1981.1102597
Marc R Birtwistle, Jens Rauch, Anatoly Kiyatkin, Edita Aksamitiene, Maciej Dobrzyński, Jan B Hoek, Walter Kolch, Babatunde A Ogunnaike, Boris N Kholodenko, Emergence of bimodal cell population responses from the interplay between analog single-cell signaling and protein expression noise BMC Systems Biology. ,vol. 6, pp. 109- 109 ,(2012) , 10.1186/1752-0509-6-109
D Georgiev, M Fazel, E Klavins, Model discrimination of chemical reaction networks by linearization advances in computing and communications. pp. 5916- 5922 ,(2010) , 10.1109/ACC.2010.5531228
Richard M. Engeman, George D. Swanson, Richard H. Jones, Input Design for Model Discrimination: Application to Respiratory Control During Exercise IEEE Transactions on Biomedical Engineering. ,vol. BME-26, pp. 579- 585 ,(1979) , 10.1109/TBME.1979.326446
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta, Temporal logic inference for classification and prediction from data international conference on hybrid systems computation and control. pp. 273- 282 ,(2014) , 10.1145/2562059.2562146
Abdullah Hamadeh, Brian Ingalls, Eduardo Sontag, Fold-change detection as a chemotaxis model discrimination tool conference on decision and control. pp. 5523- 5527 ,(2012) , 10.1109/CDC.2012.6426531