Abstraction of biochemical reaction systems on polytopes

P.J. Collins, L.C.G.J.M. Habets, J.H. Schuppen, van, I. Cerna, J. Fabrikova, D. Safranek

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)
    1 Downloads (Pure)

    Samenvatting

    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. for which no correspondent continuous trajectory exists.
    Originele taal-2Engels
    TitelProceedings of the 18th IFAC World Congress, August 28-September 2, 2011, Milan, Italy
    Pagina's14869-14875
    DOI's
    StatusGepubliceerd - 2011

    Vingerafdruk Duik in de onderzoeksthema's van 'Abstraction of biochemical reaction systems on polytopes'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit