We introduce a substructural modal logic of utility that can be used to reason about optimality with respect to properties of states. Our notion of state is quite general, and is able to represent resource allocation problems in distributed systems. The underlying logic is a variant of the modal logic of bunched implications, and based on resource semantics, which is closely related to concurre...

An n–criteria problem with a finite set of vector valuations is considered. An optimality principle of this problem is given by an integer-valued parameter s, which is varied from 1 to n−1. At that, the majority and Pareto optimality principles correspond to the extreme values of the parameter. Sufficient conditions, under which the problem of finding efficient valuations corresponding to the p...

Pareto optimality is capable of striking the optimal trade-off amongst the diverse conflicting QoS requirements of routing in wireless multihop networks. However, this comes at the cost of increased complexity owing to searching through the extended multi-objective search-space. We will demonstrate that the powerful quantum-assisted dynamic programming optimization framework is capable of circu...

When is it Pareto optimal for risk averse agents to take bets? Under what conditions do they choose to introduce uncertainty into an otherwise certain economic environment? One obvious case is where they do not share beliefs. As in the classical (theoretical) example of horse lotteries, people who do not agree on probability assessments do nd it mutually bene cial to engage in uncertainty-gener...

Our goal in this work is to develop analytical tools to support the definition of balanced and compatible sets of vehicle specifications in the early stages of vehicle development. In this paper, we discuss the development and application of a Technical Feasibility Model (TFM) that may be used in preliminary design to assess the technical feasibility and optimality of specified combinations of ...

The question we ask is: within the set of a three-period-lived OLG economies with a stochastic endowment process, a stochastic dividend process, and sequentially incomplete complete markets, under what set of conditions may a set of government transfers dynamically Pareto dominate the laissez faire equilibrium? We start by characterizing perfect risk sharing and find that it implies a strongly ...

This paper aims to find the efficient state of hybrid electric vehicle (HEV) by simultaneous optimization of the control strategy and the power train. The power transmission employed in this vehicle is a power-split continuously variable transmission (CVT) which uses several fixed ratio mechanisms. After describing this transmission, the rules of electric assist control strategy are introduced....

In behavioral experiments the respondents make their choices based on several factors called attributes. When the attributes are related to benefits and costs and respondents choose one attribute at a time, the highest level for benefit attributes and the lowest level for cost attributes will be selected. The relative importance given by the respondents to the attributes is not determined. If a...

In this paper, we formulate the problem of trusted routing as a transaction of services over a complex networked environment. We present definitions from service-oriented environments which unambiguously capture the difference between trust and reputation relations. We show that the trustworthiness measures associated with these relations have a linear order embedded in them. Identifying this o...

Using the technique of variational analysis and in terms of normal cones, we establish unified separation results for finitely many closed (not necessarily convex) sets in Banach spaces, which not only cover the existing nonconvex separation results and a classical convex separation theorem but also recapture the approximate projection theorem. With help of the separation result for closed sets...