FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533382988> ?p ?o ?g. }

• W1533382988 abstract "In this thesis, we study two fundamental problems that arise in the modeling of stochastic systems: (i) Validation of stochastic models against behavioral specifications such as temporal logics, and (ii) Discovery of kinetic parameters of stochastic biochemical models from behavioral specifications. We present a new Bayesian algorithm for Statistical Model Checking of stochastic systems based on a sequential version of Jeffreys' Bayes Factor test. We argue that the Bayesian approach is more suited for application domains like systems biology modeling, where distributions on nuisance parameters and priors may be known. We prove that our Bayesian Statistical Model Checking algorithm terminates for a large subclass of prior probabilities. We also characterize the Type I/II errors associated with our algorithm. We experimentally demonstrate that this algorithm is suitable for the analysis of complex biochemical models like those written in the BioNetGen language. We then argue that i.i.d. sampling based Statistical Model Checking algorithms are not an effective way to study rare behaviors of stochastic models and present another Bayesian Statistical Model Checking algorithm that can incorporate non-i.i.d. sampling strategies. We also present algorithms for synthesis of chemical kinetic parameters of stochastic biochemical models from high level behavioral specifications. We consider the setting where a modeler knows facts that must hold on the stochastic model but is not confident about some of the kinetic parameters in her model. We suggest algorithms for discovering these kinetic parameters from facts stated in appropriate formal probabilistic specification languages. Our algorithms are based on our theoretical results characterizing the probability of a specification being true on a stochastic biochemical model. We have applied this algorithm to discover kinetic parameters for biochemical models with as many as six unknown parameters." @default.
• W1533382988 created "2016-06-24" @default.
• W1533382988 creator A5075978538 @default.
• W1533382988 date "2010-01-01" @default.
• W1533382988 modified "2023-09-28" @default.
• W1533382988 title "Model validation and discovery for complex stochastic system" @default.
• W1533382988 cites W10984442 @default.
• W1533382988 cites W1480526195 @default.
• W1533382988 cites W1481018260 @default.
• W1533382988 cites W1481023906 @default.
• W1533382988 cites W1489501223 @default.
• W1533382988 cites W1489725951 @default.
• W1533382988 cites W1492291048 @default.
• W1533382988 cites W1501731334 @default.
• W1533382988 cites W1520566118 @default.
• W1533382988 cites W1524018317 @default.
• W1533382988 cites W1525246288 @default.
• W1533382988 cites W1532361198 @default.
• W1533382988 cites W1533572394 @default.
• W1533382988 cites W1538215585 @default.
• W1533382988 cites W1544634046 @default.
• W1533382988 cites W1552866028 @default.
• W1533382988 cites W1557502521 @default.
• W1533382988 cites W1560643704 @default.
• W1533382988 cites W1561507561 @default.
• W1533382988 cites W1561934984 @default.
• W1533382988 cites W1567452806 @default.
• W1533382988 cites W1569248486 @default.
• W1533382988 cites W1571438983 @default.
• W1533382988 cites W1590804833 @default.
• W1533382988 cites W1595006413 @default.
• W1533382988 cites W1604594753 @default.
• W1533382988 cites W1799424232 @default.
• W1533382988 cites W1806449990 @default.
• W1533382988 cites W1830944000 @default.
• W1533382988 cites W1850679117 @default.
• W1533382988 cites W1965702219 @default.
• W1533382988 cites W1972203711 @default.
• W1533382988 cites W1978281521 @default.
• W1533382988 cites W1980570931 @default.
• W1533382988 cites W1984719832 @default.
• W1533382988 cites W1988501450 @default.
• W1533382988 cites W1999836359 @default.
• W1533382988 cites W2004463571 @default.
• W1533382988 cites W2007072455 @default.
• W1533382988 cites W2007305532 @default.
• W1533382988 cites W2012037220 @default.
• W1533382988 cites W2020934227 @default.
• W1533382988 cites W2023808162 @default.
• W1533382988 cites W2026629052 @default.
• W1533382988 cites W2027255954 @default.
• W1533382988 cites W2028286620 @default.
• W1533382988 cites W2031188261 @default.
• W1533382988 cites W2039571025 @default.
• W1533382988 cites W2042321087 @default.
• W1533382988 cites W2045656233 @default.
• W1533382988 cites W2064978316 @default.
• W1533382988 cites W2066322491 @default.
• W1533382988 cites W2067971887 @default.
• W1533382988 cites W2069300761 @default.
• W1533382988 cites W2071423255 @default.
• W1533382988 cites W2074681199 @default.
• W1533382988 cites W2077791698 @default.
• W1533382988 cites W2080560821 @default.
• W1533382988 cites W2082000355 @default.
• W1533382988 cites W2082874501 @default.
• W1533382988 cites W2083731191 @default.
• W1533382988 cites W2089692943 @default.
• W1533382988 cites W2091474733 @default.
• W1533382988 cites W2098590705 @default.
• W1533382988 cites W2100914165 @default.
• W1533382988 cites W2103012681 @default.
• W1533382988 cites W2103953153 @default.
• W1533382988 cites W2104403915 @default.
• W1533382988 cites W2105934661 @default.
• W1533382988 cites W2109238146 @default.
• W1533382988 cites W2115857453 @default.
• W1533382988 cites W2118039525 @default.
• W1533382988 cites W2118184521 @default.
• W1533382988 cites W2118879023 @default.
• W1533382988 cites W2119510512 @default.
• W1533382988 cites W2121567796 @default.
• W1533382988 cites W2122272911 @default.
• W1533382988 cites W2123542907 @default.
• W1533382988 cites W2123576015 @default.
• W1533382988 cites W2124149894 @default.
• W1533382988 cites W2124156864 @default.
• W1533382988 cites W2125281005 @default.
• W1533382988 cites W2125728143 @default.
• W1533382988 cites W2128362727 @default.
• W1533382988 cites W2130685026 @default.
• W1533382988 cites W2135584970 @default.
• W1533382988 cites W2137510998 @default.
• W1533382988 cites W2137943889 @default.
• W1533382988 cites W2141881497 @default.
• W1533382988 cites W2145201569 @default.
• W1533382988 cites W2146340615 @default.
• W1533382988 cites W2152045849 @default.
• W1533382988 cites W2152938409 @default.
• W1533382988 cites W2155418451 @default.

• next