Goal-directed planning and plan recognition for the sustainable control of homes

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012.Cataloged from PDF version of thesis.Includes bibliographical references (p. 89-92).The goal of this thesis is to design an autonomous control system for the sustainable control of buildings. The control system focusses on satisfying three goals to encourage and facilitate a more sustainable lifestyle for the future: sustainability, comfort, and convenience. First, the system must be sustainable, meaning it controls the home to minimize the energy required to meet the living requirements of the resident. Second, the home must also place the resident's comfort as first priority, and not sacrifice comfort for energy savings. A central challenge facing the goal of comfort is uncertainty. Uncertain weather conditions can result in violations of the resident's comfort if the control system does not explicitly consider these factors. The home must probabilistically guarantee to meet resident comfort and functional requirements even under uncertain conditions. Finally, the system must be convenient and not place undue burden on the resident. To accomplish these goals, we provide three solutions: (1) goal-directed optimal planning, which supports efficiency, (2) risk-sensitive planning, which addresses comfort, and (2) intent recognition, which supports ease of use. Goal-direction improves efficiency by specifying what energy consuming activities the users need and when, and enables peak demand to be reduced by specifying the flexibility that the user has with respect to when activities can be performed. Risk sensitive planning addresses user comfort by explicitly considering uncertain factors and planning to limit the risk of violating resident requirements. This solution uses a recently developed plan-executive called probabilistic Sulu (p-Sulu) that leverages a recent algorithm called iterative risk allocation (IRA) to robustly find an optimal control sequence for the home. The second challenge, plan recognition, accomplishes our third goal of convenience. To facilitate widespread adoption, the control system should require minimal user interaction. Plan recognition solves this problem by predicting a resident's schedule based on observations of the resident. p-Sulu can then optimally control the home according to this schedule to minimize energy use, while ensuring the house is comfortable while the resident is home, and saving energy while the resident is away. We present the concept design of a novel solution to plan recognition over timed concurrent constraint automata (TCCA) that provides the initial capabilities necessary to achieve this goal.by Wesley Graybill.M.Eng

Urban Informatics

This open access book is the first to systematically introduce the principles of urban informatics and its application to every aspect of the city that involves its functioning, control, management, and future planning. It introduces new models and tools being developed to understand and implement these technologies that enable cities to function more efficiently – to become ‘smart’ and ‘sustainable’. The smart city has quickly emerged as computers have become ever smaller to the point where they can be embedded into the very fabric of the city, as well as being central to new ways in which the population can communicate and act. When cities are wired in this way, they have the potential to become sentient and responsive, generating massive streams of ‘big’ data in real time as well as providing immense opportunities for extracting new forms of urban data through crowdsourcing. This book offers a comprehensive review of the methods that form the core of urban informatics from various kinds of urban remote sensing to new approaches to machine learning and statistical modelling. It provides a detailed technical introduction to the wide array of tools information scientists need to develop the key urban analytics that are fundamental to learning about the smart city, and it outlines ways in which these tools can be used to inform design and policy so that cities can become more efficient with a greater concern for environment and equity

Urban Informatics

This open access book is the first to systematically introduce the principles of urban informatics and its application to every aspect of the city that involves its functioning, control, management, and future planning. It introduces new models and tools being developed to understand and implement these technologies that enable cities to function more efficiently – to become ‘smart’ and ‘sustainable’. The smart city has quickly emerged as computers have become ever smaller to the point where they can be embedded into the very fabric of the city, as well as being central to new ways in which the population can communicate and act. When cities are wired in this way, they have the potential to become sentient and responsive, generating massive streams of ‘big’ data in real time as well as providing immense opportunities for extracting new forms of urban data through crowdsourcing. This book offers a comprehensive review of the methods that form the core of urban informatics from various kinds of urban remote sensing to new approaches to machine learning and statistical modelling. It provides a detailed technical introduction to the wide array of tools information scientists need to develop the key urban analytics that are fundamental to learning about the smart city, and it outlines ways in which these tools can be used to inform design and policy so that cities can become more efficient with a greater concern for environment and equity

Linking thermal variability and change to urban growth in Harare Metropolitan City using remotely sensed data.

Doctor of Philosophy in Environmental Science. University of KwaZulu-Natal. Pietermaritzburg, 2017.Urban growth, which involves Land Use and Land Cover Changes (LULCC), alters land surface thermal properties. Within the framework of rapid urban growth and global warming, land surface temperature (LST) and its elevation have potential significant socio-economic and environmental implications. Hence the main objectives of this study were to (i) map urban growth, (ii) link urban growth with indoor and outdoor thermal conditions and (iii) estimate implications of thermal trends on household energy consumption as well as predict future urban growth and temperature patterns in Harare Metropolitan, Zimbabwe. To achieve these objectives, broadband multi-spectral Landsat 5, 7 and 8, in-situ LULC observations, air temperature (Ta) and humidity data were integrated. LULC maps were obtained from multi-spectral remote sensing data and derived indices using the Support Vector Machine Algorithm, while LST were derived by applying single channel and split window algorithms. To improve remote sensing based urban growth mapping, a method of combining multi-spectral reflective data with thermal data and vegetation indices was tested. Vegetation indices were also combined with socio-demographic data to map the spatial distribution of heat vulnerability in Harare. Changes in outdoor human thermal discomfort in response to seasonal LULCC were evaluated, using the Discomfort Index (DI) derived parsimoniously from LST retrieved from Landsat 8 data. Responses of LST to long term urban growth were analysed for the period from 1984 to 2015. The implications of urban growth induced temperature changes on household air-conditioning energy demand were analysed using Landsat derived land surface temperature based Degree Days. Finally, the Cellular Automata Markov Chain (CAMC) analysis was used to predict future landscape transformation at 10-year time steps from 2015 to 2045. Results showed high overall accuracy of 89.33% and kappa index above 0.86 obtained, using Landsat 8 bands and indices. Similar results were observed when indices were used as stand-alone dataset (above 80%). Landsat 8 derived bio-physical surface properties and socio-demographic factors, showed that heat vulnerability was high in over 40% in densely built-up areas with low-income when compared to “leafy” suburbs. A strong spatial correlation (α = 0.61) between heat vulnerability and surface temperatures in the hot season was obtained, implying that LST is a good indicator of heat vulnerability in the area. LST based discomfort assessment approach retrieved DI with high accuracy as indicated by mean percentage error of less than 20% for each sub-season. Outdoor thermal discomfort was high in hot dry season (mean DI of 31oC), while the post rainy season was the most comfortable (mean DI of 19.9oC). During the hot season, thermal discomfort was very low in low density residential areas, which are characterised by forests and well maintained parks (DI ≤27oC). Long term changes results showed that high density residential areas increased by 92% between 1984 and 2016 at the expense of cooler green-spaces, which decreased by 75.5%, translating to a 1.98oC mean surface temperature increase. Due to surface alterations from urban growth between 1984 and 2015, LST increased by an average of 2.26oC and 4.10oC in the cool and hot season, respectively. This decreased potential indoor heating energy needed in the cool season by 1 degree day and increased indoor cooling energy during the hot season by 3 degree days. Spatial analysis showed that during the hot season, actual energy consumption was low in high temperature zones. This coincided with areas occupied by low income strata indicating that they do not afford as much energy and air conditioning facilities as expected. Besides quantifying and strongly relating with energy requirement, degree days provided a quantitative measure of heat vulnerability in Harare. Testing vegetation indices for predictive power showed that the Urban Index (UI) was comparatively the best predictor of future urban surface temperature (r = 0.98). The mean absolute percentage error of the UI derived temperature was 5.27% when tested against temperature derived from thermal band in October 2015. Using UI as predictor variable in CAMC analysis, we predicted that the low surface temperature class (18-28oC) will decrease in coverage, while the high temperature category (36-45oC) will increase in proportion covered from 42.5 to 58% of city, indicating further warming as the city continues to grow between 2015 and 2040. Overall, the findings of this study showed that LST, human thermal comfort and air-conditioning energy demand are strongly affected by seasonal and urban growth induced land cover changes. It can be observed that urban greenery and wetlands play a significant role of reducing LST and heat transfer between the surface and lower atmosphere and LST may continue unless effective mitigation strategies, such as effective vegetation cover spatial configuration are adopted. Limitations to the study included inadequate spatial and low temporal resolution of Landsat data, few in-situ observations of temperature and LULC classification which was area specific thus difficult for global comparison. Recommendations for future studies included data merging to improve spatial and temporal representation of remote sensing data, resource mobilization to increase urban weather station density and image classification into local climate zones which are of easy global interpretation and comparison

Urban Informatics

This open access book is the first to systematically introduce the principles of urban informatics and its application to every aspect of the city that involves its functioning, control, management, and future planning. It introduces new models and tools being developed to understand and implement these technologies that enable cities to function more efficiently – to become ‘smart’ and ‘sustainable’. The smart city has quickly emerged as computers have become ever smaller to the point where they can be embedded into the very fabric of the city, as well as being central to new ways in which the population can communicate and act. When cities are wired in this way, they have the potential to become sentient and responsive, generating massive streams of ‘big’ data in real time as well as providing immense opportunities for extracting new forms of urban data through crowdsourcing. This book offers a comprehensive review of the methods that form the core of urban informatics from various kinds of urban remote sensing to new approaches to machine learning and statistical modelling. It provides a detailed technical introduction to the wide array of tools information scientists need to develop the key urban analytics that are fundamental to learning about the smart city, and it outlines ways in which these tools can be used to inform design and policy so that cities can become more efficient with a greater concern for environment and equity

The 1990 progress report and future plans

This document describes the progress and plans of the Artificial Intelligence Research Branch (RIA) at ARC in 1990. Activities span a range from basic scientific research to engineering development and to fielded NASA applications, particularly those applications that are enabled by basic research carried out at RIA. Work is conducted in-house and through collaborative partners in academia and industry. Our major focus is on a limited number of research themes with a dual commitment to technical excellence and proven applicability to NASA short, medium, and long-term problems. RIA acts as the Agency's lead organization for research aspects of artificial intelligence, working closely with a second research laboratory at JPL and AI applications groups at all NASA centers

Reinforcement Learning

Brains rule the world, and brain-like computation is increasingly used in computers and electronic devices. Brain-like computation is about processing and interpreting data or directly putting forward and performing actions. Learning is a very important aspect. This book is on reinforcement learning which involves performing actions to achieve a goal. The first 11 chapters of this book describe and extend the scope of reinforcement learning. The remaining 11 chapters show that there is already wide usage in numerous fields. Reinforcement learning can tackle control tasks that are too complex for traditional, hand-designed, non-learning controllers. As learning computers can deal with technical complexities, the tasks of human operators remain to specify goals on increasingly higher levels. This book shows that reinforcement learning is a very dynamic area in terms of theory and applications and it shall stimulate and encourage new research in this field

Graphics process unit accelerated lattice Boltzmann simulation of indoor air flow: Effects of sub-grid scale model in large-eddy simulation

In this present study, three-dimensional lattice Boltzmann method is implemented with the popular turbulence modeling method large-eddy simulation incorporating three different non-dynamic sub-grid scale models Smagorinsky, Vreman, and wall-adapting local eddy-viscosity for finding the inhomogeneous turbulent airflow patterns inside a model room with a partition. The large eddy simulation-lattice Boltzmann method code is validated with the experimental results of Posner’s model, where the model room having one partition at the bottom, one inlet, an outlet placed at top wall considered for the comparisons. The lattice Boltzmann method code is also validated without any sub-grid scale model with the results of lid-driven flow in a cubic cavity. The present numerical simulations are performed by the graphics process unit accelerated parallel programs using compute unified device architecture C platform. Double precession capable a Tesla k40 with 2880 compute unified device architecture cores NVIDIA graphics process unit card has been used for these simulations. Graphics processor units have gained popularity in recent years as a propitious platform for numerical simulation of fluid dynamics. In fact, faster computational task performance in graphics process units is one of the key factors for researchers to choose graphics process unit over conventional central processing units for the implementation of data-intensive numerical methods like lattice Boltzmann method. The effects of the sub-grid scale model have been evaluated in terms of the mean velocity profiles, streamlines as well as turbulence characteristics and found that there are significant differences in the results due to the different sub-grid scale models

Soft computing applied to optimization, computer vision and medicine

Artificial intelligence has permeated almost every area of life in modern society, and its significance continues to grow. As a result, in recent years, Soft Computing has emerged as a powerful set of methodologies that propose innovative and robust solutions to a variety of complex problems. Soft Computing methods, because of their broad range of application, have the potential to significantly improve human living conditions. The motivation for the present research emerged from this background and possibility. This research aims to accomplish two main objectives: On the one hand, it endeavors to bridge the gap between Soft Computing techniques and their application to intricate problems. On the other hand, it explores the hypothetical benefits of Soft Computing methodologies as novel effective tools for such problems. This thesis synthesizes the results of extensive research on Soft Computing methods and their applications to optimization, Computer Vision, and medicine. This work is composed of several individual projects, which employ classical and new optimization algorithms. The manuscript presented here intends to provide an overview of the different aspects of Soft Computing methods in order to enable the reader to reach a global understanding of the field. Therefore, this document is assembled as a monograph that summarizes the outcomes of these projects across 12 chapters. The chapters are structured so that they can be read independently. The key focus of this work is the application and design of Soft Computing approaches for solving problems in the following: Block Matching, Pattern Detection, Thresholding, Corner Detection, Template Matching, Circle Detection, Color Segmentation, Leukocyte Detection, and Breast Thermogram Analysis. One of the outcomes presented in this thesis involves the development of two evolutionary approaches for global optimization. These were tested over complex benchmark datasets and showed promising results, thus opening the debate for future applications. Moreover, the applications for Computer Vision and medicine presented in this work have highlighted the utility of different Soft Computing methodologies in the solution of problems in such subjects. A milestone in this area is the translation of the Computer Vision and medical issues into optimization problems. Additionally, this work also strives to provide tools for combating public health issues by expanding the concepts to automated detection and diagnosis aid for pathologies such as Leukemia and breast cancer. The application of Soft Computing techniques in this field has attracted great interest worldwide due to the exponential growth of these diseases. Lastly, the use of Fuzzy Logic, Artificial Neural Networks, and Expert Systems in many everyday domestic appliances, such as washing machines, cookers, and refrigerators is now a reality. Many other industrial and commercial applications of Soft Computing have also been integrated into everyday use, and this is expected to increase within the next decade. Therefore, the research conducted here contributes an important piece for expanding these developments. The applications presented in this work are intended to serve as technological tools that can then be used in the development of new devices