More Like this

1. Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems

   https://doi.org/10.1109/ICSE-NIER52604.2021.00028  

   Vierhauser, Michael; Marah, Hussein; Garmendia, Antonio; Cleland-Huang, Jane; Wimmer, Manuel (May 2021, International Conference on Software Engineering: New Ideas and Emerging Results)

   null (Ed.)

   Runtime monitoring is essential for ensuring the safe operation and enabling self-adaptive behavior of Cyber-Physical Systems (CPS). It requires the creation of system monitors, instrumentation for data collection, and the definition of constraints. All of these aspects need to evolve to accommodate changes in the system. However, most existing approaches lack support for the automated generation and setup of monitors and constraints for diverse technologies and do not provide adequate support for evolving the monitoring infrastructure. Without this support, constraints and monitors can become stale and become less effective in long-running, rapidly changing CPS. In this ``new and emerging results'' paper we propose a novel framework for model-integrated runtime monitoring. We combine model-driven techniques and runtime monitoring to automatically generate large parts of the monitoring framework and to reduce the maintenance effort necessary when parts of the monitored system change. We build a prototype and evaluate our approach against a system for controlling the flights of unmanned aerial vehicles. 

   more » « less
2. CHARIOT: Goal-driven Orchestration Middleware for Resilient IoT Systems

   https://doi.org/10.1145/3134844  

   Pradhan, Subhav; Dubey, Abhishek; Khare, Shweta; Nannapaneni, Saideep; Gokhale, Aniruddha; Mahadevan, Sankaran; Lehofer, martin (January 2018, ACM Transactions on Cyber-Physical Systems)

   An emerging trend in Internet of Things (IoT) applications is to move the computation (cyber) closer to the source of the data (physical). This paradigm is often referred to as edge computing. If edge resources are pooled together they can be used as decentralized shared resources for IoT applications, providing increased capacity to scale up computations and minimize end-to-end latency. Managing applications on these edge resources is hard, however, due to their remote, distributed, and (possibly) dynamic nature, which necessitates autonomous management mechanisms that facilitate application deployment, failure avoidance, failure management, and incremental updates. To address these needs, we present CHARIOT, which is orchestration middleware capable of autonomously managing IoT systems consisting of edge resources and applications. CHARIOT implements a three-layer architecture. The topmost layer comprises a system description language, the middle layer comprises a persistent data storage layer and the corresponding schema to store system information, and the bottom layer comprises a management engine that uses information stored persistently to formulate constraints that encode system properties and requirements, thereby enabling the use of Satisfiability Modulo Theories (SMT) solvers to compute optimal system (re)configurations dynamically at runtime. This paper describes the structure and functionality of CHARIOT and evaluates its efficacy as the basis for a smart parking system case study that uses sensors to manage parking spaces 

   more » « less
3. Adaptive Phenotypic Plasticity Stabilizes Evolution in Fluctuating Environments

   https://doi.org/10.3389/fevo.2021.715381  

   Lalejini, Alexander; Ferguson, Austin J.; Grant, Nkrumah A.; Ofria, Charles (August 2021, Frontiers in Ecology and Evolution)

   Fluctuating environmental conditions are ubiquitous in natural systems, and populations have evolved various strategies to cope with such fluctuations. The particular mechanisms that evolve profoundly influence subsequent evolutionary dynamics. One such mechanism is phenotypic plasticity, which is the ability of a single genotype to produce alternate phenotypes in an environmentally dependent context. Here, we use digital organisms (self-replicating computer programs) to investigate how adaptive phenotypic plasticity alters evolutionary dynamics and influences evolutionary outcomes in cyclically changing environments. Specifically, we examined the evolutionary histories of both plastic populations and non-plastic populations to ask: (1) Does adaptive plasticity promote or constrain evolutionary change? (2) Are plastic populations better able to evolve and then maintain novel traits? And (3), how does adaptive plasticity affect the potential for maladaptive alleles to accumulate in evolving genomes? We find that populations with adaptive phenotypic plasticity undergo less evolutionary change than non-plastic populations, which must rely on genetic variation from de novo mutations to continuously readapt to environmental fluctuations. Indeed, the non-plastic populations undergo more frequent selective sweeps and accumulate many more genetic changes. We find that the repeated selective sweeps in non-plastic populations drive the loss of beneficial traits and accumulation of maladaptive alleles, whereas phenotypic plasticity can stabilize populations against environmental fluctuations. This stabilization allows plastic populations to more easily retain novel adaptive traits than their non-plastic counterparts. In general, the evolution of adaptive phenotypic plasticity shifted evolutionary dynamics to be more similar to that of populations evolving in a static environment than to non-plastic populations evolving in an identical fluctuating environment. All natural environments subject populations to some form of change; our findings suggest that the stabilizing effect of phenotypic plasticity plays an important role in subsequent adaptive evolution. 

   more » « less
4. The Complexity of Urban Eco-evolutionary Dynamics

   https://doi.org/10.1093/biosci/biaa079  

   Alberti, Marina; Palkovacs, Eric P; Roches, Simone Des; Meester, Luc De; Brans, Kristien I; Govaert, Lynn; Grimm, Nancy B; Harris, Nyeema C; Hendry, Andrew P; Schell, Christopher J; et al (August 2020, BioScience)

   null (Ed.)

   Abstract Urbanization is changing Earth's ecosystems by altering the interactions and feedbacks between the fundamental ecological and evolutionary processes that maintain life. Humans in cities alter the eco-evolutionary play by simultaneously changing both the actors and the stage on which the eco-evolutionary play takes place. Urbanization modifies land surfaces, microclimates, habitat connectivity, ecological networks, food webs, species diversity, and species composition. These environmental changes can lead to changes in phenotypic, genetic, and cultural makeup of wild populations that have important consequences for ecosystem function and the essential services that nature provides to human society, such as nutrient cycling, pollination, seed dispersal, food production, and water and air purification. Understanding and monitoring urbanization-induced evolutionary changes is important to inform strategies to achieve sustainability. In the present article, we propose that understanding these dynamics requires rigorous characterization of urbanizing regions as rapidly evolving, tightly coupled human–natural systems. We explore how the emergent properties of urbanization affect eco-evolutionary dynamics across space and time. We identify five key urban drivers of change—habitat modification, connectivity, heterogeneity, novel disturbances, and biotic interactions—and highlight the direct consequences of urbanization-driven eco-evolutionary change for nature's contributions to people. Then, we explore five emerging complexities—landscape complexity, urban discontinuities, socio-ecological heterogeneity, cross-scale interactions, legacies and time lags—that need to be tackled in future research. We propose that the evolving metacommunity concept provides a powerful framework to study urban eco-evolutionary dynamics. 

   more » « less
5. Learning Without Neurons in Physical Systems

   https://doi.org/10.1146/annurev-conmatphys-040821-113439  

   Stern, Menachem; Murugan, Arvind (March 2023, Annual Review of Condensed Matter Physics)

   Learning is traditionally studied in biological or computational systems. The power of learning frameworks in solving hard inverse problems provides an appealing case for the development of physical learning in which physical systems adopt desirable properties on their own without computational design. It was recently realized that large classes of physical systems can physically learn through local learning rules, autonomously adapting their parameters in response to observed examples of use. We review recent work in the emerging field of physical learning, describing theoretical and experimental advances in areas ranging from molecular self-assembly to flow networks and mechanical materials. Physical learning machines provide multiple practical advantages over computer designed ones, in particular by not requiring an accurate model of the system, and their ability to autonomously adapt to changing needs over time. As theoretical constructs, physical learning machines afford a novel perspective on how physical constraints modify abstract learning theory. 

   more » « less