147758 20250103153613.0 doi 10.1109/TAC.2019.2931836 sideral 119066 ART-2020-119066 eng Júlvez, Jorge Universidad de Zaragoza (orcid)0000-0002-7093-228X Steady State Analysis of Flexible Nets 2020 The modeling and analysis of complex dynamic systems, such as those in manufacturing, logistics, and biology, require powerful analysis methods for their study and optimization. A significant modeling and analysis challenge posed by both, artificial and natural systems, is the existence of uncertain parameters. Flexible Nets (FNs) is a novel modeling formalism, inspired by Petri nets, that can handle different types of uncertain parameters in a natural way. This paper develops an efficient method to analyse the evolution of a system modeled by an FN in the long run. More precisely, the method focuses on the computation of steady state bounds for an objective function of interest. The method makes use of a set of constraints, expressed as linear inequalities, that the state variables must satisfy in the steady state. In order to account for systems that do not reach a constant steady state, the developed constraints allow the system state to switch among different values, i.e., the steady state variables are not forced to be constant. Access copy available to the general public Unrestricted 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 http://creativecommons.org/licenses/by/3.0/es/ 5.792 2020 ENGINEERING, ELECTRICAL & ELECTRONIC 34 / 273 = 0.125 2020 Q1 T1 AUTOMATION & CONTROL SYSTEMS 11 / 63 = 0.175 2020 Q1 T1 3.435 2020 Computer Science Applications 2020 Q1 Electrical and Electronic Engineering 2020 Q1 Control and Systems Engineering 2020 Q1 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Oliver, Stephen G. 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 65, 6 (2020), 2510-2525 IEEE trans. automat. contr. IEEE TRANSACTIONS ON AUTOMATIC CONTROL 0018-9286 457296 http://zaguan.unizar.es/record/147758/files/texto_completo.pdf Postprint 3592327 http://zaguan.unizar.es/record/147758/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:147758 articulos driver 2025-01-03-13:20:55 ARTICLE