000086297 001__ 86297
000086297 005__ 20200716101502.0
000086297 0247_ $$2doi$$a10.1016/j.nahs.2018.11.004
000086297 0248_ $$2sideral$$a109544
000086297 037__ $$aART-2019-109544
000086297 041__ $$aeng
000086297 100__ $$0(orcid)0000-0002-7093-228X$$aJúlvez, J.$$uUniversidad de Zaragoza
000086297 245__ $$aModeling, analyzing and controlling hybrid systems by Guarded Flexible Nets
000086297 260__ $$c2019
000086297 5060_ $$aAccess copy available to the general public$$fUnrestricted
000086297 5203_ $$aA number of artificial and natural systems can be modeled as hybrid models in which continuous and discrete variables interact. Such hybrid models are usually challenging to analyze and control due to the computational complexity associated with existing methods. In this paper, the novel modeling formalism of Guarded Flexible Nets (GFNs) is proposed for the modeling, analysis and control of hybrid system. A GFN consists of an event net that determines how the state changes as processes execute, and an intensity net that determines the speeds of the processes. In a GFN, the continuous state is given by the value of its state variables, and the discrete state is given by the region within which such variables lie. GFNs are shown to possess a high modeling power while offering appealing analysis and control possibilities.
000086297 536__ $$9info:eu-repo/grantAgreement/EC/FP7/289126/EU/BIO knowLEDGe Extractor and Modeller for Protein Production/BIOLEDGE$$9info:eu-repo/grantAgreement/EC/FP7/623995/EU/Protein Synthesis Control by Means of Formal Models/FORMALBIO
000086297 540__ $$9info:eu-repo/semantics/openAccess$$aby-nc-nd$$uhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
000086297 590__ $$a5.881$$b2019
000086297 591__ $$aMATHEMATICS, APPLIED$$b2 / 260 = 0.008$$c2019$$dQ1$$eT1
000086297 591__ $$aAUTOMATION & CONTROL SYSTEMS$$b6 / 63 = 0.095$$c2019$$dQ1$$eT1
000086297 592__ $$a1.935$$b2019
000086297 593__ $$aAnalysis$$c2019$$dQ1
000086297 593__ $$aControl and Systems Engineering$$c2019$$dQ1
000086297 593__ $$aComputer Science Applications$$c2019$$dQ1
000086297 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion
000086297 700__ $$aOliver, S.G.
000086297 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000086297 773__ $$g32 (2019), 131-146$$pNonlinear Anal. Hybrid Syst.$$tNonlinear analysis. Hybrid systems$$x1751-570X
000086297 8564_ $$s279546$$uhttps://zaguan.unizar.es/record/86297/files/texto_completo.pdf$$yPostprint
000086297 8564_ $$s70965$$uhttps://zaguan.unizar.es/record/86297/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint
000086297 909CO $$ooai:zaguan.unizar.es:86297$$particulos$$pdriver
000086297 951__ $$a2020-07-16-09:13:39
000086297 980__ $$aARTICLE