We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters.We focus here on the EF-emptiness problem: License Plate Products "is the set of parameter valuations for which some given location is reachable in the instantiated timed
We review the superiorization methodology, which can Tongs be thought of, in some cases, as lying between feasibility-seeking and constrained minimization.It is not quite trying to solve the full edged constrained minimization problem; rather, the task is to find a feasible point which is superior (with respect to an objective function value) to on
In this article we analyze a case study conducted within a pilot innovation experience in an undergraduate course on Chemical Engineering.The study was developed during three years, 2005/06, 2006/07 y 2007/08, at the University of Valladolid (Spain).The main goal of this work is to show evidence to better understand the methodological templar chang