In conventional logic programming systems, control information is expressed by clause and goal order and by purely procedural constructs, e.g., the Prolog cut. This approach destroys the equivalence of declarative and procedural semantics in logic programs. In this paper, we argue that in order to comply with the logic programming paradigm, control information should also be expressed declarati...

The objective of this paper is to design and fabricate a micro-cooler to provide integral cooling to electronics or Microelectromechanical Systems (MEMS) type components utilizing current MEMS technologies. A three-port capillary pumped loop (CPL) was analyzed and fabricated from silicon and quartz for this purpose. An analytical study of the device is presented in support of this design. This ...

This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading execution. The first technique is to identify threads which have exactly one successor and the successor’s address is statically known (we call these threads fixed-successor threads), and use a small full associative buffer to predict the successors. This technique redu...

Asynchronous (self-timed) circuits are quite natural for realizing control-intensive designs. Many such designs are of reactive nature and inherently complex due to complicated communication protocols. In these situations programmable controllers are preferable over hardwired controllers to allow design decisions to be bound late, help correct errors that may slip through the veri cation proces...

Network-Level Control of Collaborative UAVs

Metareasoning is an important capability for autonomous systems, particularly for those being deployed on long duration missions. An agent with increased self-observation and the ability to control itself in response to changing environments will be more capable in achieving its goals. This is essential for long-duration missions where system designers will not be able to, theoretically or prac...

54 www.aiche.org/cep June 2008 CEP Because most processes are self-regulating, it can sometimes be challenging to tune a controller for an integrating process. The principal characteristic of a self-regulating process is that it naturally seeks a steadystate operating level if the controller output and disturbance variables are held constant for a sufficient period of time. For example, a car’s...

Hierarchical Interface-Based Supervisory Control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multi-level architecture employing command-pair type interfaces. This multilevel architectur...

We describe a vision-based algorithm that enables a robot to “reacquire” objects previously indicated by a human user through simple image-based stylus gestures. By automatically generating a multiple-view appearance model for each object, the method can reacquire the object and reconstitute the user’s segmentation hints even after the robot has moved long distances or significant time has elap...

In this paper we introduce the notion that artists should be able to control fluid simulations by providing examples of expected local fluid behavior (for instance, an artist might specify that magical smoke often forms star shapes). As our idea fits between high-level, global pose control and low-level parameter adjustment, we deem it mid-level control. We make our notion concrete by demonstra...