MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation

An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic reconfiguration and discrete event control theory are at the heart of architectural adaptation. Although controlling configuration and behaviour at runtime has been discussed and applied to architectural adaptation, architectures for self-adaptive systems often compound these two aspects reducing the potential for adaptability. In this paper we propose a reference architecture that allows for coordinated yet transparent and independent adaptation of system configuration and behaviour

Towards Cancer Hybrid Automata

This paper introduces Cancer Hybrid Automata (CHAs), a formalism to model the progression of cancers through discrete phenotypes. The classification of cancer progression using discrete states like stages and hallmarks has become common in the biology literature, but primarily as an organizing principle, and not as an executable formalism. The precise computational model developed here aims to exploit this untapped potential, namely, through automatic verification of progression models (e.g., consistency, causal connections, etc.), classification of unreachable or unstable states and computer-generated (individualized or universal) therapy plans. The paper builds on a phenomenological approach, and as such does not need to assume a model for the biochemistry of the underlying natural progression. Rather, it abstractly models transition timings between states as well as the effects of drugs and clinical tests, and thus allows formalization of temporal statements about the progression as well as notions of timed therapies. The model proposed here is ultimately based on hybrid automata, and we show how existing controller synthesis algorithms can be generalized to CHA models, so that therapies can be generated automatically. Throughout this paper we use cancer hallmarks to represent the discrete states through which cancer progresses, but other notions of discretely or continuously varying state formalisms could also be used to derive similar therapies.Comment: In Proceedings HSB 2012, arXiv:1208.315

Consciosusness in Cognitive Architectures. A Principled Analysis of RCS, Soar and ACT-R

This report analyses the aplicability of the principles of consciousness developed in the ASys project to three of the most relevant cognitive architectures. This is done in relation to their aplicability to build integrated control systems and studying their support for general mechanisms of real-time consciousness.\ud To analyse these architectures the ASys Framework is employed. This is a conceptual framework based on an extension for cognitive autonomous systems of the General Systems Theory (GST).\ud A general qualitative evaluation criteria for cognitive architectures is established based upon: a) requirements for a cognitive architecture, b) the theoretical framework based on the GST and c) core design principles for integrated cognitive conscious control systems

A generic architecture style for self-adaptive cyber-physical systems

Die aktuellen Konzepte zur Gestaltung von Regelungssystemen basieren auf dynamischen Verhaltensmodellen, die mathematische Ansätze wie Differentialgleichungen zur Ableitung der entsprechenden Funktionen verwenden. Diese Konzepte stoßen jedoch aufgrund der zunehmenden Systemkomplexität allmählich an ihre Grenzen. Zusammen mit der Entwicklung dieser Konzepte entsteht eine Architekturevolution der Regelungssysteme. In dieser Dissertation wird eine Taxonomie definiert, um die genannte Architekturevolution anhand eines typischen Beispiels, der adaptiven Geschwindigkeitsregelung (ACC), zu veranschaulichen. Aktuelle ACC-Varianten, die auf der Regelungstheorie basieren, werden in Bezug auf ihre Architekturen analysiert. Die Analyseergebnisse zeigen, dass das zukünftige Regelungssystem im ACC eine umfangreichere Selbstadaptationsfähigkeit und Skalierbarkeit erfordert. Dafür sind kompliziertere Algorithmen mit unterschiedlichen Berechnungsmechanismen erforderlich. Somit wird die Systemkomplexität erhöht und führt dazu, dass das zukünftige Regelungssystem zu einem selbstadaptiven cyber-physischen System wird und signifikante Herausforderungen für die Architekturgestaltung des Systems darstellt. Inspiriert durch Ansätze des Software-Engineering zur Gestaltung von Architekturen von softwareintensiven Systemen wird in dieser Dissertation ein generischer Architekturstil entwickelt. Der entwickelte Architekturstil dient als Vorlage, um vernetzte Architekturen mit Verfolgung der entwickelten Designprinzipien nicht nur für die aktuellen Regelungssysteme, sondern auch für selbstadaptiven cyber-physischen Systeme in der Zukunft zu konstruieren. Unterschiedliche Auslösemechanismen und Kommunikationsparadigmen zur Gestaltung der dynamischen Verhalten von Komponenten sind in der vernetzten Architektur anwendbar. Zur Bewertung der Realisierbarkeit des Architekturstils werden aktuelle ACCs erneut aufgenommen, um entsprechende logische Architekturen abzuleiten und die Architekturkonsistenz im Vergleich zu den originalen Architekturen basierend auf der Regelungstheorie (z. B. in Form von Blockdiagrammen) zu untersuchen. Durch die Anwendung des entwickelten generischen Architekturstils wird in dieser Dissertation eine künstliche kognitive Geschwindigkeitsregelung (ACCC) als zukünftige ACC-Variante entworfen, implementiert und evaluiert. Die Evaluationsergebnisse zeigen signifikante Leistungsverbesserungen des ACCC im Vergleich zum menschlichen Fahrer und aktuellen ACC-Varianten.Current concepts of designing automatic control systems rely on dynamic behavioral modeling by using mathematical approaches like differential equations to derive corresponding functions, and slowly reach limitations due to increasing system complexity. Along with the development of these concepts, an architectural evolution of automatic control systems is raised. This dissertation defines a taxonomy to illustrate the aforementioned architectural evolution relying on a typical example of control application: adaptive cruise control (ACC). Current ACC variants, with their architectures considering control theory, are analyzed. The analysis results indicate that the future automatic control system in ACC requires more substantial self-adaptation capability and scalability. For this purpose, more complicated algorithms requiring different computation mechanisms must be integrated into the system and further increase system complexity. This makes the future automatic control system evolve into a self-adaptive cyber-physical system and consistitutes significant challenges for the system’s architecture design. Inspired by software engineering approaches for designing architectures of software-intensive systems, a generic architecture style is proposed. The proposed architecture style serves as a template by following the developed design principle to construct networked architectures not only for the current automatic control systems but also for self-adaptive cyber-physical systems in the future. Different triggering mechanisms and communication paradigms for designing dynamic behaviors are applicable in the networked architecture. To evaluate feasibility of the architecture style, current ACCs are retaken to derive corresponding logical architectures and examine architectural consistency compared to the previous architectures considering the control theory (e.g., in the form of block diagrams). By applying the proposed generic architecture style, an artificial cognitive cruise control (ACCC) is designed, implemented, and evaluated as a future ACC in this dissertation. The evaluation results show significant performance improvements in the ACCC compared to the human driver and current ACC variants

On the Minimal Revision Problem of Specification Automata

As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using automata theoretic task and mission planning where the requirements are expressed as temporal logic specifications. However, in real-life scenarios, it is to be expected that not all user task requirements can be realized by the robot. In such cases, the robot must provide feedback to the user on why it cannot accomplish a given task. Moreover, the robot should indicate what tasks it can accomplish which are as "close" as possible to the initial user intent. This paper establishes that the latter problem, which is referred to as the minimal specification revision problem, is NP complete. A heuristic algorithm is presented that can compute good approximations to the Minimal Revision Problem (MRP) in polynomial time. The experimental study of the algorithm demonstrates that in most problem instances the heuristic algorithm actually returns the optimal solution. Finally, some cases where the algorithm does not return the optimal solution are presented.Comment: 23 pages, 16 figures, 2 tables, International Joural of Robotics Research 2014 Major Revision (submitted

Balancing operating revenues and occupied refurbishment costs 1: problems of defining project success factors and selecting site planning methods

In planning the refurbishment of railway stations the spatial needs of the contractor and of the ongoing business stakeholders have to be balanced. A particular concern is the disruptive effect of construction works upon pedestrian movement. RaCMIT (Refurbishment and Customer Movement Integration Tool) was a research project aimed at addressing this problem. The objective of the research was to develop a decision protocol facilitating optimisation of overall project value to the client's business. This paper (the first of two) presents a framework for considering public disruption in occupied refurbishment using two case studies in large railway stations as examples. It briefly describes new tools which (combined with existing techniques) assist decision making in the management of disruption. It links strategic with sitebased decision making and suggests how public disruption may be treated as a variable to be jointly optimised along with traditional criteria such as time, cost and quality. Research observations as well as current literature suggest that for overall decision-making, opportunities may be lost (under current practice) for minimising joint project cost/revenue disruption, and, for spatio-temporal site decision-making, effective and efficient tools now exist to model both sides of the construction site boundary

State-of-the-art on research and applications of machine learning in the building life cycle

Fueled by big data, powerful and affordable computing resources, and advanced algorithms, machine learning has been explored and applied to buildings research for the past decades and has demonstrated its potential to enhance building performance. This study systematically surveyed how machine learning has been applied at different stages of building life cycle. By conducting a literature search on the Web of Knowledge platform, we found 9579 papers in this field and selected 153 papers for an in-depth review. The number of published papers is increasing year by year, with a focus on building design, operation, and control. However, no study was found using machine learning in building commissioning. There are successful pilot studies on fault detection and diagnosis of HVAC equipment and systems, load prediction, energy baseline estimate, load shape clustering, occupancy prediction, and learning occupant behaviors and energy use patterns. None of the existing studies were adopted broadly by the building industry, due to common challenges including (1) lack of large scale labeled data to train and validate the model, (2) lack of model transferability, which limits a model trained with one data-rich building to be used in another building with limited data, (3) lack of strong justification of costs and benefits of deploying machine learning, and (4) the performance might not be reliable and robust for the stated goals, as the method might work for some buildings but could not be generalized to others. Findings from the study can inform future machine learning research to improve occupant comfort, energy efficiency, demand flexibility, and resilience of buildings, as well as to inspire young researchers in the field to explore multidisciplinary approaches that integrate building science, computing science, data science, and social science

Application of Hybrid Agents to Smart Energy Management of a Prosumer Node

We outline a solution to the problem of intelligent control of energy consumption of a smart building system by a prosumer planning agent that acts on the base of the knowledge of the system state and of a prediction of future states. Predictions are obtained by using a synthetic model of the system as obtained with a machine learning approach. We present case studies simulations implementing different instantiations of agents that control an air conditioner according to temperature set points dynamically chosen by the user. The agents are able of energy saving while trying to keep indoor temperature within a given comfort interval

Intelligent systems in manufacturing: current developments and future prospects

Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Traditional approaches to manufacturing systems do not fully satisfy this new situation. Many authors have proposed that artificial intelligence will bring the flexibility and efficiency needed by manufacturing systems. This paper is a review of artificial intelligence techniques used in manufacturing systems. The paper first defines the components of a simplified intelligent manufacturing systems (IMS), the different Artificial Intelligence (AI) techniques to be considered and then shows how these AI techniques are used for the components of IMS