SAT based Enforcement of Domotic Effects in Smart Environments

The emergence of economically viable and efficient sensor technology provided impetus to the development of smart devices (or appliances). Modern smart environments are equipped with a multitude of smart devices and sensors, aimed at delivering intelligent services to the users of smart environments. The presence of these diverse smart devices has raised a major problem of managing environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the environments using user defined goals. `Domotic Effects' is a user goal modeling framework, which provides Ambient Intelligence (AmI) designers and integrators with an abstract layer that enables the definition of generic goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. The high-level nature of domotic effects also allows the residents to program their personal space as they see fit: they can define different achievement criteria for a particular generic goal, e.g., by defining a combination of devices having some particular states, by using domain-specific custom operators. This paper describes an approach for the automatic enforcement of domotic effects in case of the Boolean application domain, suitable for intelligent monitoring and control in domotic environments. Effect enforcement is the ability to determine device configurations that can achieve a set of generic goals (domotic effects). The paper also presents an architecture to implement the enforcement of Boolean domotic effects, and results obtained from carried out experiments prove the feasibility of the proposed approach and highlight the responsiveness of the implemented effect enforcement architectur

Robotic ubiquitous cognitive ecology for smart homes

Robotic ecologies are networks of heterogeneous robotic devices pervasively embedded in everyday environments, where they cooperate to perform complex tasks. While their potential makes them increasingly popular, one fundamental problem is how to make them both autonomous and adaptive, so as to reduce the amount of preparation, pre-programming and human supervision that they require in real world applications. The project RUBICON develops learning solutions which yield cheaper, adaptive and efficient coordination of robotic ecologies. The approach we pursue builds upon a unique combination of methods from cognitive robotics, machine learning, planning and agent- based control, and wireless sensor networks. This paper illustrates the innovations advanced by RUBICON in each of these fronts before describing how the resulting techniques have been integrated and applied to a smart home scenario. The resulting system is able to provide useful services and pro-actively assist the users in their activities. RUBICON learns through an incremental and progressive approach driven by the feed- back received from its own activities and from the user, while also self-organizing the manner in which it uses available sensors, actuators and other functional components in the process. This paper summarises some of the lessons learned by adopting such an approach and outlines promising directions for future work

Tangible user interfaces : past, present and future directions

In the last two decades, Tangible User Interfaces (TUIs) have emerged as a new interface type that interlinks the digital and physical worlds. Drawing upon users' knowledge and skills of interaction with the real non-digital world, TUIs show a potential to enhance the way in which people interact with and leverage digital information. However, TUI research is still in its infancy and extensive research is required in or- der to fully understand the implications of tangible user interfaces, to develop technologies that further bridge the digital and the physical, and to guide TUI design with empirical knowledge. This paper examines the existing body of work on Tangible User In- terfaces. We start by sketching the history of tangible user interfaces, examining the intellectual origins of this field. We then present TUIs in a broader context, survey application domains, and review frame- works and taxonomies. We also discuss conceptual foundations of TUIs including perspectives from cognitive sciences, phycology, and philoso- phy. Methods and technologies for designing, building, and evaluating TUIs are also addressed. Finally, we discuss the strengths and limita- tions of TUIs and chart directions for future research

A Dynamic Service Lookup and Discovery Scheme using a Self-Organizing Overlay Network for Indoor Location-Based Service

REACTION 2012. 1st International workshop on Real-time and distributed computing in emerging applications. December 4th, 2012, San Juan, Puerto Rico.Indoor location-based service (LBS) has various challenges, including that of numerous service lookups being requested concurrently and frequently from several locations, and that the network infrastructure needs to support high scalability, such as inserting or deleting network nodes anytime and anywhere. In general, indoor LBS resources are generally located in close proximity to the requested point. However, a traditional centralized LBS system needs to maintain a geographical map of the entire building or complex in its central server, which can cause low scalability and traffic congestion. This paper presents a self-organizing and fully distributed indoor LBS platform through regional cooperation among devices, and a service lookup algorithm that searches for the shortest physical path to the service resource. An evaluation of the performance of the proposed platform has been compared to the traditional centralized method regarding the service turnaround time according to the number of concurrent lookup increases.This work was supported by the IT R&D program of MKE/KEIT. [10041145, Self-Organized Softwareplatform(SOS) for welfare devices

Big data analytics:Computational intelligence techniques and application areas

Big Data has significant impact in developing functional smart cities and supporting modern societies. In this paper, we investigate the importance of Big Data in modern life and economy, and discuss challenges arising from Big Data utilization. Different computational intelligence techniques have been considered as tools for Big Data analytics. We also explore the powerful combination of Big Data and Computational Intelligence (CI) and identify a number of areas, where novel applications in real world smart city problems can be developed by utilizing these powerful tools and techniques. We present a case study for intelligent transportation in the context of a smart city, and a novel data modelling methodology based on a biologically inspired universal generative modelling approach called Hierarchical Spatial-Temporal State Machine (HSTSM). We further discuss various implications of policy, protection, valuation and commercialization related to Big Data, its applications and deployment

Human behaviour modelling in complex socio-technical systems : an agent based approach

For many years we have been striving to understand human behaviour and our interactions with our socio-technological environment. By advancing our knowledge in this area, we have helped the design of new or improved work processes and technologies. Historically, much of the work in analysing social interactions has been conducted within the social sciences. However, computer simulation has brought an extra tool in trying to understand and model human behaviours. Using an agent based approach this presentation describes my work in constructing computational models of human behaviour for informing design through simulation. With examples from projects in two main application areas of crisis and emergency management, and energy management I describe how my work addresses some main issues in agent based social simulation. The first concerns the process by which we develop these models. The second lies in the nature of socio-technical systems. Human societies are a perfect example of a complex system exhibiting characteristics of self-organisation, adaptability and showing emergent phenomena such as cooperation and robustness. I describe how complex systems theory may be applied to improve our understanding of socio-technical systems, and how our micro level interactions lead to emergent mutual awareness for problem-solving. From agent based simulation systems I show how context awareness may be modelled. Looking forward to the future, I discuss how the increasing prevalence of artificial agents in our society will cause us to re-examine the new types of interactions and cooperative behaviours that will emerge.Depuis de nombreuses années, nous nous sommes efforcés de comprendre le comportement humain et nos interactions avec l'environnement sociotechnique. Grâce à l'avancée de nos connaissances dans ce domaine, nous avons contribué à la conception de technologies et de processus de travail nouveaux ou améliorés. Historiquement, une part importante du travail d'analyse des interactions sociales fut entreprise au sein des sciences sociales. Cependant, la simulation informatique a apporté un nouvel outil pour tenter de comprendre et de modéliser les comportements humains. En utilisant une approche à base d'agents, cette présentation décrit mon travail sur la construction de modèles informatiques du comportement humain pour guider la conception par la simulation. A l'aide d'exemples issus de projets des deux domaines d'application que sont la gestion des crises et de l'urgence et la gestion de l'énergie, je décris comment mon travail aborde certains problèmes centraux à la simulation sociale à base d'agents. Le premier concerne le processus par lequel nous développons ces modèles. Le second problème provient de la nature des systèmes sociotechniques. Les sociétés humaines constituent un exemple parfait de système complexe possédant des caractéristiques d'auto-organisation et d'adaptabilité, et affichant des phénomènes émergents tels que la coopération et la robustesse. Je décris comment la théorie des systèmes complexes peut être appliquée pour améliorer notre compréhension des systèmes sociotechniques, et comment nos interactions au niveau microscopique mènent à l'émergence d'une conscience mutuelle pour la résolution de problèmes. A partir de systèmes de simulation à base d'agents, je montre comment la conscience du contexte peut être modélisée. En terme de perspectives, j'expliquerai comment la hausse de la prévalence des agents artificiels dans notre société nous forcera à considérer de nouveaux types d'interactions et de comportements coopératifs