We consider network flow over graphs between a single origin-destination pair, where the network state consists of flows and activation status of the links. The evolution of the activation status of a link is given by...
详细信息
ISBN:
(纸本)9781467357159
We consider network flow over graphs between a single origin-destination pair, where the network state consists of flows and activation status of the links. The evolution of the activation status of a link is given by an irreversible transition that depends on the saturation status of that link and the activation status of the downstream links. The flow dynamics is determined by activation status of the links and node-wise routing policies under the flow balance constraints at the nodes. We formulate a deterministic discrete time dynamics for the network state, where the time epochs correspond to a change in the activation status of the links, and study network resilience towards disturbances that reduce link-wise flow capacities, under distributed routing policies. The margin of resilience is defined as the minimum, among all possible disturbances, of the link-wise sum of reductions in flow capacities, under which the links outgoing from the origin node become inactive in finite time. We propose a backward propagation algorithm to compute an upper bound on the margin of resilience for tree-like network topologies with breadth at most 2, and show that this bound is tight for trees with the additional property of having depth at most 2.
In this paper, a cloud manufacturing platform, called AMC (Advanced Manufacturing Cloud), is introduced. The AMC provides several manufacturing-related cloud services to facilitate the users to conduct supporting acti...
详细信息
Usually when modeling a real process the effects of nonlinearities must be taken into account. A road traffic sector is one such process. Considering it from a macroscopic point of view, the sector is modeled both as ...
详细信息
This paper focuses on the aggregated control of a large number of residential responsive loads for various demand response applications. We propose a general hybrid system model which can capture the dynamics of both ...
详细信息
ISBN:
(纸本)9781479901777
This paper focuses on the aggregated control of a large number of residential responsive loads for various demand response applications. We propose a general hybrid system model which can capture the dynamics of both Thermostatically controlled Loads (TCLs) such as air conditioners and water heaters, as well as deferrable loads such as washers, dryers, and Plug-in Hybrid Electric Vehicles (PHEVs). Based on the hybrid system model, the aggregated control problem is formulated as a large scale optimal control problem that determines the energy use plans for a heterogeneous population of hybrid systems. A decentralized cooperative control algorithm is proposed to solve the aggregated control problem. Convergence of the proposed algorithm is proved using potential game theory. The simulation results indicate that the aggregated power response can accurately track a reference trajectory and effectively reduce the peak power consumption.
This paper presents current work on application of bacterial foraging algorithms for modelling of a single-link flexible manipulator. Bacterial foraging algorithms (BFAs) with adaptable chemotactic step size are used ...
详细信息
Ray tracing on parallel hardware has recently benefit from significant advances in the graphics hardware and associated software tools. Despite this, the SIMD nature of graphics card architectures is only able to perf...
详细信息
This paper presents the development of a rehabilitation robotic platform to research on the adaptation of the complexity of robot assisted therapy and the real-time displays of a virtual reality system in accordance w...
详细信息
Ability to simulate pedestrian behaviour on a large scale is essential in identifying potential dangers in public spaces during an evacuation. Multiple designs must be tested with varying parameters and run multiple t...
详细信息
This paper presents current work on fuzzy adaptation of chemotactic step size of bacterial foraging algorithm and its application to optimisation of parameters of a neural network, i.e. weights, biases and slope param...
详细信息
This work is motivated by the problem of synthesizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications ...
详细信息
ISBN:
(纸本)9781479901777
This work is motivated by the problem of synthesizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications expressed in linear temporal logic. We use augmented finite transition systems as abstract models of continuous switched systems. Augmented finite transition systems are equipped with liveness properties that can be used to enforce progress in accordance with the underlying dynamics. We then introduce abstraction and refinement relations that induce a preorder on this class of finite transition systems. By construction, the resulting preorder respects the feasibility (i.e., realizability) of the synthesis problem. Hence, existence of a discrete switching strategy for one of these abstract finite transition systems guarantees the existence of a mode sequence for the continuous system such that all of its trajectories satisfy the specification. We also present an algorithm, which can be implemented using sum-of-squares based relaxations, to compute such high fidelity abstract models in a computationally tractable way. Finally, these ideas are illustrated on an example.
暂无评论