Future shop-floors are going to evolve as they need to be able to fully respond to dynamic adaptations and sophisticated interactions with the enterprise systems. This trend is fully backed up by the ever increasing capabilities of the new generation of devices that feature advanced communication as well as computational capabilities. However as the transition to the future infrastructure will ...

We describe an AI behavior architecture that supports responsive collaborative interruptible and resumable behaviors using behavior queues. This architecture wraps sets of behaviors into roles, which provide a simple efficient mechanism for encapsulating behaviors into components that can change dynamically, based on environmental criteria. To illustrate the viability of this architecture in a ...

An important problem in developing natural language dialog systems is to computationally specify when and why the system should speak. This paper proposes interruptible theorem proving as a solution. Theorem proving is used to determine when domain goals are complete. Language is used to acquire missing axioms that may be inhibiting proof completion. The paper describes this \missing axiom" the...

Demand response programs are essential to enable accommodating larger shares of variable power generation based on renewable sources, the deployment which is imperative for decarbonizing economy and mitigating global warming. Consumers/prosumers increasingly exposed may benefit from time-differentiated energy prices aimed induce changes in regular consumption patterns. These also beneficial ret...

this paper proposes a novel decision making framework for an electricity retailer to procure its electric demand in a bilateral-pool market in presence of charging and discharging of electric vehicles (evs). the operational framework is a two-stage programming model in which at the first stage, the retailer and ev aggregator do their medium-term planning. determination of retailer's optimum sel...

Anytime algorithms give intelligent real-time systems the ability to trade deliberation time for quality of results. This capability is essential in domains where computing the optimal result is not computationally feasible or is not economically desirable. Examples of such domains include avionics, air traffic control, process control and missioncritical computations. Run-time monitoring of an...

Task-Oriented Programming (TOP) has proven itself effective for the implementation of interactive, distributed, multi-user applications through the use of the iTasks framework. In this thesis we show that TOP is also well-suited for developing non-distributed embedded systems whose processes can be interrupted by events that can occur at any time. A general-purpose TOP framework titled μTasks i...

We have been successfully deploying mobile service robots in an office building to execute user-requested tasks, such as delivering messages, transporting items, escorting people, and enabling telepresence. Users submit task requests to a dedicated website which forms a schedule of tasks for the robots to execute. The robots autonmously navigate in the building to complete their tasks. However,...

the increasing world demand for fish cannot be met by capture fisheries. aquaculture production is increasing and nowadays cage culture has an important role in meeting the world’s fish demand. the design of the physical structure of a cage is determined by the oceanographic conditions of the culture site. each design is site-specific and knowledge of the topography, wind force and direction, p...