Steady State Analysis of Flexible Nets

Júlvez, Jorge (Universidad de Zaragoza) ; Oliver, Stephen G.

Resumen: 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.

Idioma: Inglés

DOI: 10.1109/TAC.2019.2931836

Año: 2020

Publicado en: IEEE TRANSACTIONS ON AUTOMATIC CONTROL 65, 6 (2020), 2510-2525
ISSN: 0018-9286

Factor impacto JCR: 5.792 (2020)

Categ. JCR: ENGINEERING, ELECTRICAL & ELECTRONIC rank: 34 / 273 = 0.125 (2020) - Q1 - T1
Categ. JCR: AUTOMATION & CONTROL SYSTEMS rank: 11 / 63 = 0.175 (2020) - Q1 - T1

Factor impacto SCIMAGO: 3.435 - Computer Science Applications (Q1) - Electrical and Electronic Engineering (Q1) - Control and Systems Engineering (Q1)

Financiación: info:eu-repo/grantAgreement/EC/FP7/289126/EU/BIO knowLEDGe Extractor and Modeller for Protein Production/BIOLEDGE
Financiación: info:eu-repo/grantAgreement/EC/FP7/623995/EU/Protein Synthesis Control by Means of Formal Models/FORMALBIO

Tipo y forma: Artículo (PostPrint)

Área (Departamento): Área Lenguajes y Sistemas Inf. (Dpto. Informát.Ingenie.Sistms.)