86297 20200716101502.0 doi 10.1016/j.nahs.2018.11.004 sideral 109544 ART-2019-109544 eng (orcid)0000-0002-7093-228X Júlvez, J. Universidad de Zaragoza Modeling, analyzing and controlling hybrid systems by Guarded Flexible Nets 2019 Access copy available to the general public Unrestricted A 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. info:eu-repo/grantAgreement/EC/FP7/289126/EU/BIO knowLEDGe Extractor and Modeller for Protein Production/BIOLEDGE info:eu-repo/grantAgreement/EC/FP7/623995/EU/Protein Synthesis Control by Means of Formal Models/FORMALBIO info:eu-repo/semantics/openAccess by-nc-nd http://creativecommons.org/licenses/by-nc-nd/3.0/es/ 5.881 2019 MATHEMATICS, APPLIED 2 / 260 = 0.008 2019 Q1 T1 AUTOMATION & CONTROL SYSTEMS 6 / 63 = 0.095 2019 Q1 T1 1.935 2019 Analysis 2019 Q1 Control and Systems Engineering 2019 Q1 Computer Science Applications 2019 Q1 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Oliver, S.G. 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 32 (2019), 131-146 Nonlinear Anal. Hybrid Syst. Nonlinear analysis. Hybrid systems 1751-570X 279546 http://zaguan.unizar.es/record/86297/files/texto_completo.pdf Postprint 70965 http://zaguan.unizar.es/record/86297/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:86297 articulos driver 2020-07-16-09:13:39 ARTICLE