P. Collins, L.C.G.J.M. Habets, Schuppen van Jh, Ismael Cerna, J. Fabriková, David Šafránek
{"title":"Abstraction of biochemical reaction systems on polytopes","authors":"P. Collins, L.C.G.J.M. Habets, Schuppen van Jh, Ismael Cerna, J. Fabriková, David Šafránek","doi":"10.3182/20110828-6-IT-1002.03317","DOIUrl":null,"url":null,"abstract":"Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.","PeriodicalId":16853,"journal":{"name":"Journal of Polymer Science. Part B, Polymer Physics","volume":"30 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2011-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Polymer Science. Part B, Polymer Physics","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.3182/20110828-6-IT-1002.03317","RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Materials Science","Score":null,"Total":0}
引用次数: 13
Abstract
Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.
期刊介绍：
Since its launch in 1946 by P. M. Doty, H. Mark, and C.C. Price, the Journal of Polymer Science has provided a continuous forum for the dissemination of thoroughly peer-reviewed, fundamental, international research into the preparation and properties of macromolecules.
From January 2020, the Journal of Polymer Science, Part A: Polymer Chemistry and Journal of Polymer Science, Part B: Polymer Physics will be published as one journal, the Journal of Polymer Science. The merged journal will reflect the nature of today''s polymer science research, with physics and chemistry of polymer systems at the heart of the scope.
You can continue looking forward to an exciting mix of comprehensive reviews, visionary insights, high-impact communications, and full papers that represent the rapid multidisciplinary developments in polymer science.
Our editorial team consists of a mix of well-known academic editors and full-time professional editors who ensure fast, professional peer review of your contribution. After publication, our team will work to ensure that your paper receives the recognition it deserves by your peers and the broader scientific community.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
