A hybrid approach to solving coarse-grained DisCSPs.

A coarse-grained Distributed Constraint Satisfaction Problem (DisCSP) consists of several loosely connected constraint satisfaction subproblems, each assigned to an individual agent. We present Multi-Hyb, a two-phase concurrent hybrid approach for solving DisCSPs. In the first phase, each agents subproblem is solved using systematic search which generates the key partial solutions to the global problem. Concurrently, a penalty-based local search algorithm attempts to find a global solution from these partial solutions. If phase 1 fails to find a solution, a phase 2 systematic search algorithm solves the problem using the knowledge gained from phase 1. We show that our approach is highly competitive in comparison with other coarse-grained DisCSP algorithms

Assessment of novel distributed control techniques to address network constraints with demand side management

The development of sustainable generation, a reliable electricity supply and affordable tariffs are the primary requirements to address the uncertainties in different future energy scenarios. Due to the predicted increase in Distributed Generation (DG) and load profile changes in future scenarios, there are significant operational and planning challenges facing netwrok operators. These changes in the power system distribution network require a new Active Network Management (ANM) control system to manage distribution constraint issues such as thermal rating, voltage, and fault levels. The future smart grid focuses on harnessing the control potential from demand side via bidirectional power flow, transparent information communication, and contractual customer participation. Demand Side Management (DSM) is considered as one of the effective solutions to defer network capacity reinforcement, increase energy efficiency, facilitate renewable access, and implement low carbon energy strategy. From the Distribution Network Operator's (DNO) perspective, the control opportunity from Demand Response (DR) and Decentralized Energy Resource (DER) contributes on capacity investment reduction, energy efficiency, and enable low carbon technologies. This thesis develops a new decentralized control system for dealing effectively with the constraint issues in the Medium Voltage (MV) distribution network. In the decentralized control system, two novel control approaches are proposed to autonomously relieve the network thermal constraint via DNO's direct control of the real power in network components during the operation period. The first approach, Demand Response for Power Flow Management (DR-PFM), implements the DSM peak clipping control of Active Demand (AD), whilst the second approach, Hybrid Control for Power Flow Management (HC-PFM), implements the hybrid control of both AD and DER. The novelty of these two new control algorithms consists in the application of a Constraint Satisfaction Problem (CSP) based programming model on decision making of the real power curtailment to relieve the network thermal overload. In the Constraint Programming (CP) model, three constraints are identified: a preference constraint, and a network constraint. The control approaches effectively solve the above constraint problem in the CSP model within 5 seconds' time response. The control performance is influenced by the pre-determined variable, domain and constraint settings. These novel control approaches take advantages on flexible control, fast response and demand participation enabling in the future smart grid.The development of sustainable generation, a reliable electricity supply and affordable tariffs are the primary requirements to address the uncertainties in different future energy scenarios. Due to the predicted increase in Distributed Generation (DG) and load profile changes in future scenarios, there are significant operational and planning challenges facing netwrok operators. These changes in the power system distribution network require a new Active Network Management (ANM) control system to manage distribution constraint issues such as thermal rating, voltage, and fault levels. The future smart grid focuses on harnessing the control potential from demand side via bidirectional power flow, transparent information communication, and contractual customer participation. Demand Side Management (DSM) is considered as one of the effective solutions to defer network capacity reinforcement, increase energy efficiency, facilitate renewable access, and implement low carbon energy strategy. From the Distribution Network Operator's (DNO) perspective, the control opportunity from Demand Response (DR) and Decentralized Energy Resource (DER) contributes on capacity investment reduction, energy efficiency, and enable low carbon technologies. This thesis develops a new decentralized control system for dealing effectively with the constraint issues in the Medium Voltage (MV) distribution network. In the decentralized control system, two novel control approaches are proposed to autonomously relieve the network thermal constraint via DNO's direct control of the real power in network components during the operation period. The first approach, Demand Response for Power Flow Management (DR-PFM), implements the DSM peak clipping control of Active Demand (AD), whilst the second approach, Hybrid Control for Power Flow Management (HC-PFM), implements the hybrid control of both AD and DER. The novelty of these two new control algorithms consists in the application of a Constraint Satisfaction Problem (CSP) based programming model on decision making of the real power curtailment to relieve the network thermal overload. In the Constraint Programming (CP) model, three constraints are identified: a preference constraint, and a network constraint. The control approaches effectively solve the above constraint problem in the CSP model within 5 seconds' time response. The control performance is influenced by the pre-determined variable, domain and constraint settings. These novel control approaches take advantages on flexible control, fast response and demand participation enabling in the future smart grid

A new model for solution of complex distributed constrained problems

In this paper we describe an original computational model for solving different types of Distributed Constraint Satisfaction Problems (DCSP). The proposed model is called Controller-Agents for Constraints Solving (CACS). This model is intended to be used which is an emerged field from the integration between two paradigms of different nature: Multi-Agent Systems (MAS) and the Constraint Satisfaction Problem paradigm (CSP) where all constraints are treated in central manner as a black-box. This model allows grouping constraints to form a subset that will be treated together as a local problem inside the controller. Using this model allows also handling non-binary constraints easily and directly so that no translating of constraints into binary ones is needed. This paper presents the implementation outlines of a prototype of DCSP solver, its usage methodology and overview of the CACS application for timetabling problems

From Uncertainty Data to Robust Policies for Temporal Logic Planning

We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the number of considered realizations. We use separate chance constraints for the satisfaction of the specification and operational constraints. This allows us to quantify their violation probabilities independently. We compute disturbance feedback policies as solutions of mixed-integer linear or quadratic optimization problems. By using feedback we can exploit information of past realizations and provide feasibility for a wider range of situations compared to static input sequences. We demonstrate the proposed method on two robust motion-planning case studies for autonomous driving

Connectionist natural language parsing

The key developments of two decades of connectionist parsing are reviewed. Connectionist parsers are assessed according to their ability to learn to represent syntactic structures from examples automatically, without being presented with symbolic grammar rules. This review also considers the extent to which connectionist parsers offer computational models of human sentence processing and provide plausible accounts of psycholinguistic data. In considering these issues, special attention is paid to the level of realism, the nature of the modularity, and the type of processing that is to be found in a wide range of parsers

Constraint-based adaptation for complex space configuration in building services

In this paper an object-based CAD programming is used to take advantage of standardization to handle the schematic design, sizing and layout planning for ceiling mounted fan coil system in a building ceiling void. In order to deal with more complex geometry and real building size, we have used a hybrid approach combining case-based reasoning and constraint programming techniques. Very often, building services engineers use previous solutions and adapt them to new problems. Case-based reasoning mirrors this practical approach and did help us deal effectively with increasingly complex geometry. Our approach combines automation and interactivity. From the specification of the building 3D BIM model, our software prototype proceeds through four steps. First, the user divides the building into zones, each zone being defined by a geometrical primitive (i.e. rectangle zone, triangle zone, curved zone, etc.). Next, for each zone a similar case is retrieved from the case library. The retrieval process will generate a first incomplete 3D solution containing some inconsistencies. Next, the incomplete solution is adapted, using constraint programming techniques, to provide a consistent solution. Finally, distribution routes (i.e. ducts and pipes) are generated using constraint programming techniques. The 3D fan coil solution can be modified or improved by the designer, while providing further contribution by concentrating on interactivity. The project has been funded by the Engineering and Physical Sciences Research Council (EPSRC) in the UK