One of the first attempts to derive energy-to-peak performance criteria and state-feedback controller design problem for linear parameter-varying discrete time systems with time delay is provided. Firstly, we present a parameterdependent l2-l∞ performance criterion using...

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

Let G = (V, E) be a complete undirected graph with vertex set V, edge set E, and edge weights /(e) satisfying the triangle inequality. The vertex set V is partitioned into clusters V1, V2, …, Vk. The clustered traveling salesman problem (CTSP) seeks to ...

In this paper, we introduce a combinatorial auction-based market model to enable Cloud Service Providers (CSPs) to satisfy complex user requirements collaboratively, where the CSPs are connected in a social network and communication costs among them cannot be ignored. However, in many situations CSP...

This paper introduces several key techniques in realtime digital simulation for closed-loop testing of high voltage direct current (HVDC) systems, including line commutated converter (LCC) HVDC valve group models, modular multilevel converter (MMC) HVDC models, phase domain frequency dependent trans...