-
Notifications
You must be signed in to change notification settings - Fork 1
Bibliography
The list of bibliographic references pertaining to parasim may be found in references.
The concept of biological system's robustness is summarized in Kitano 2007. Parasim is based on behaviour-oriented robustness and its properties, most importatly on property robustness in a point of perturbation space corresponding to the property satisfiability in its neighbourhood. This is discussed thouroughly in Fainekos 2009.
For property specification, parasim uses signal temporal logic defined in Maler 2006. [Donzé 2010a](Robust satisfaction of temporal logic over real-valued signals) deals with robustness computation over formulae of this logic. Point sampling used in parasim is similar to sampling proposed in Donzé 2007.
There are several tools for robustness computation. Breach Toolbox (see [Donzé 2010b](Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems)) is the most similar to parasim, as parasim is built on the same theoretical basis. Another tool, which computes property-oriented robustness (in contrast to behaviour-oriented robustness), is BIOCHAM (see Rizk2008).
needs to be completed