In this paper we investigate protocols for scheduling applications that consist of large numbers of identical, independent tasks on large-scale computing platforms. By imposing a tree structure on an overlay network of computing nodes, our previous work showed that it is possible to compute the schedule which leads to the optimal steady-state task completion rate. However, implementing this opt...

Abstract China’s industrial parks are the concentration areas of enterprises. The aggregate regulation and control various types adjustable loads in effective means to achieve consumption renewable energy. However, there many loads, along with varying amounts response characteristics, which makes it difficult unified regulation. In view characteristics multiple parks, models short-term interrup...

The February 2021 Texas winter power outage has led to hundreds of deaths and billions dollars in economic losses, largely due the generation failure record-breaking electric demand. In this paper, we study scaling-up demand flexibility as a means avoid load shedding during such an extreme weather event. three mechanisms considered are interruptible load, residential rationing, incentive-based ...

For logical artificial intelligence to be truly useful, its methods must scale to problems of realistic size. An interruptible algorithm enables a logical agent to act in a timely manner to the best of its knowledge, given its reasoning so far. This seems necessary to avoid analysis paralysis, trying to think of every potentiality, however unlikely, beforehand. These considerations prompt us to...

Many extensions of Petri nets have been proposed to model the behaviors and time relations of embedded system, yet these models are all based on some assumptions about the behaviors of embedded systems. Especially they all do not have the actual ability to model interrupt mechanism of embedded system. A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced in this ...

Reinforcement learning agents interacting with a complex environment like the real world are unlikely to behave optimally all the time. If such an agent is operating in real-time under human supervision, now and then it may be necessary for a human operator to press the big red button to prevent the agent from continuing a harmful sequence of actions—harmful either for the agent or for the envi...

The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations [33,28] on Scribble, a choreography description language based on multiparty session types, this paper proposes a dynamic verification framework for structured interruptible conversation programming. We first present o...

In recent decade, development of telecommunications infrastructure has led to rapid exchange of data between the distribution network components and the control center in many developed countries. These changes, considering the numerous benefits of the Distributed Generators (DGs), have made more motivations for distribution companies to utilize these kinds of generators more than ever before. ...