The problem of guaranteed cost control is investigated for a class discrete-time saturated switched systems. The purpose to design the law and state feedback such that closed-loop system asymptotically stable upper-bound function minimized. Based on multiple Lyapunov functions approach, some sufficient conditions existence controllers are obtained. Furthermore, conv...

  Selecting an effective project plan is a significant area in the project management. The present paper introduces a technique to identify the project plan efficient frontier for assessing the alternative project plans and selecting the best plan. The efficient frontier includes two criteria: the project cost and the project time. Besides, the paper presents a scheme to incorporate Directed Ac...

OpenMP is a de facto API for parallel programming in C/C++ and Fortran on shared memory and distributed shared memory platforms. It is also being increasingly used with MPI to form a hybrid programming model and is expected to be a promising candidate to exploit emerging multicore architectures. An OpenMP cost model is an analytical model that reflects the characteristics of OpenMP applications...

Petri nets [13, 12] are a widely used model for the study and analysis of concurrent systems. Many different formalisms have been proposed which extend Petri nets with clocks and real-time constraints, leading to various definitions of Timed Petri nets (TPNs) (see [10, 6] for surveys). In parallel, there have been several works on extending the model of timed automata [4] with prices (weights) ...