Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for such control information. In this paper we investigate the integration of temporal logic control information into plan operators. For a given control formula and operators O, we produce a new set O of operators that works ...

1 Electrical and Computer Engineering Department The University of North Carolina, Charlotte, NC 28223 Abstract  . Innovative approaches in engineering system design have led to well established methods to deal with many unpredictable situations. As a result, one often hears terms such as adaptive optics, adaptive control, smart materials, intelligent sensors, or actuators. Furthermore there h...

Generating good, production-qualityplans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overlooked in research on machine learning for planning systems. Most work has been aimed at improving the efficiency of planning (“speed-up learning”) or at acquiring or refining domain knowledge. This thesis focuses on lea...

This paper addresses urban traffic control using an optimization model for signalized areas. The paper modifies and extends a discrete time model for urban traffic networks proposed in the related literature to take into account some real aspects of traffic. The model is embedded in a real time controller that solves an optimization problem from the knowledge of some measurable inputs. Hence, t...

It is no secret that the health of most Americans is not as good as it could be. Quality of care is poor, health equity is low, and our health system is in crisis. For health organisations, this myriad of challenges and the massive scope of the problem makes it diYcult to prioritise health improvement initiatives. At HealthPartners, a Minnesota based health care organisation with 800 000 member...

Optimal coordination of traffic signals requires proper activation of timing plans to match current traffic conditions. One of the greatest challenges in configuring a traffic responsive plan selection control mode is how to select only n number of timing plans (restricted by traffic controller memory limitations) to address possibly all traffic conditions/ states that can be encountered in the...

We explore how large-scale replication may enhance the availability of data in a loosely coupled distributed system. We are especially concerned with Air Traac Control systems which are intrinsically geographically distributed and impose strict constraints of availability. In this framework, we propose a replication system providing a weak consistency of data. After a study of speciic propertie...

The Cooperative Intelligent Real-time Control Architecture employs an integrated planningscheduling system to create plans that guarantee system safety in complex real-time environments. The planner uses state transitions with discrete-valued features to build and schedule plans that maintain system safety while achieving mission goals. The product, a real-time control plan, specifies actions p...

Industry has had nearly three decades of relative peace and quiet with its noise control programs. Since 1983, OSHA has typically not cited employers who deployed personal protective equipment and a hearing conservation program to address noise, rather than using engineering and administrative controls. The exceptions were for noise so loud that it borders on 100 dBA when the most effective hea...

The proposed Spallation Neutron Source (SNS) is an accelerator-based 1 – 2 MW pulsed neutron source to be built in Oak Ridge, Tennessee. The facility has five major sectionsó a "front end" consisting of a 65 Kev H ion source followed by a 2.5 MeV RFQ; a 1 GeV linac; a storage ring; a 1 MW spallation neutron target; and the conventional facilities to support these machines. These components will...