Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/26499
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFigueiredo, Danielpt_PT
dc.contributor.authorRocha, Eugéniopt_PT
dc.contributor.authorMartins, Manuel A.pt_PT
dc.contributor.authorChaves, Madalenapt_PT
dc.date.accessioned2019-09-05T16:46:49Z-
dc.date.issued2019-
dc.identifier.isbn978-3-030-28041-3pt_PT
dc.identifier.urihttp://hdl.handle.net/10773/26499-
dc.description.abstractIn this work we introduce the software rPrism, as a branch of the software PRISM model checker, in order to be able to study weighted reactive state transition models. This kind of model gathers together the concepts of reactivity { which consists of the capacity of a state transition model to alter its accessibility relation { and weights, which can be seen as costs, rates, etc.. Given a speci c model, the tool performs a simulation based on a Continuous Time Markov Chain. In particular, we show an example of its application for biological systems.pt_PT
dc.description.sponsorshipThis work was supported by ERDF - The European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-030947 and project with reference UID/MAT/04106/2019 at CIDMA. The authors acknowledge the support given by a France-Portugal partnership PHC PESSOA 2018 between M. Chaves (Campus France #40823SD) and M. A. Martins. D. Figueiredo also acknowledges the support given by FCT via the PhD scholarship PD/BD/114186/2016.pt_PT
dc.language.isoengpt_PT
dc.publisherSpringer, Champt_PT
dc.relationPOCI-01-0145-FEDER-030947pt_PT
dc.relationinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F04106%2F2019/PTpt_PT
dc.relationinfo:eu-repo/grantAgreement/FCT/POR_CENTRO/PD%2FBD%2F114186%2F2016/PTpt_PT
dc.rightsopenAccesspt_PT
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/pt_PT
dc.subjectrPrismpt_PT
dc.subjectPRISM model checkerpt_PT
dc.subjectReactive modelspt_PT
dc.subjectWeighted switch graphspt_PT
dc.titlerPrism: a software for reactive weighted state transition modelspt_PT
dc.typebookPartpt_PT
dc.description.versionpublishedpt_PT
dc.peerreviewedyespt_PT
degois.publication.firstPage165pt_PT
degois.publication.lastPage174pt_PT
degois.publication.titleHybrid Systems Biologypt_PT
dc.date.embargo2020-08-01-
dc.identifier.doi10.1007/978-3-030-28042-0pt_PT
dc.identifier.esbn978-3-030-28042-0pt_PT
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
HSB_RIA.pdf581.53 kBAdobe PDFView/Open


FacebookTwitterLinkedIn
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.