ALIFE 2019 paper accepted

The paper written in collaboration with David King and Gilbert Peterson (both AFIT Ohio) got accepted for this years Conference on Artificial Life (ALIFE conference). The paper is entitled “Entropy-Based Team Self-Organization with Signal Suppression”


Self-organized and distributed control methods are increasingly important as they allow multi-agent systems to scale more readily than centralized control techniques. Furthermore, these methods increase system robustness and flexibility. In the online multi-object k-coverage domain studied here, a collective of autonomous agents must dynamically form sub-teams to accomplish two concurrent tasks: target discovery and coverage. Once a target is discovered, the collective of agents must create a sub-team of k-agents to cover the target. The work presented here introduces a novel, entropy-based task selection technique that incorporates signal suppression behaviors found in bee colonies. We test the technique in the online multi-object k-coverage domain while exploring three team properties: heterogeneity, team size, and sensor ranges, and their impact on multi-task accomplishment. Results show that signal suppression helps avoid over-provisioning of team resources to individual targets, dynamically creating sub-teams that simultaneously accomplish target discovery and coverage tasks.

SASO 2018 Paper accepted

Our paper to this years International Conference on Self-Adaptive and Self-Organising Systems has been accepted for presentation.

The paper is entitled Goal-aware Team Affiliation in Collectives of Autonomous Robots and investigates the potential of robots to dynamically affiliate themselves with a team. This is done without explicit communication or interaction but based on aggregated information from the network allowing each individual to derive the current state of achieving their teams goal. Importantly the goals of the different teams are complimentary.

Paper accepted for special session @ ICDSC

Our paper, entitled “The Future of Camera Networks: Staying Smart in a Chaotic World”, has been accepted for oral presentation at the special session on Target Tracking and Person Re-Identification at this years International Conference on Distributed Smart Cameras. The paper was written in collaboration Peter Lewis, Richie McBride, and Xin Yao.

We are excited to discuss our vision of future camera networks with colleagues at ICDSC!

Paper accepted @ ATVA 2017

Our paper on the resilient coordination of (artificial) birds to fly in a V-formation has been accepted for presentation at the Fifteenth International Symposium on Automated Technology for Verification and Analysis. The paper is entitled Attacking the V: On the Resiliency of Adaptive-Horizon MPC and has been written jointly by Ashish Tiwari (SRI), Scott A. Smolka (SUNY Stony Brook), Lukas Esterle, Anna Lukina (TU Wien), Junxing Yang (SUNY Stony Brook) and Radu Grosu (TU WIEN).

ICDSC 2017 Paper accepted

Our paper entitled “Online Multi-object k-coverage with Mobile Smart Cameras” has been accepted for presentation at the International Conference on Distributed Smart Cameras. The paper discusses mobile smart cameras and how to coordinated them in a distributed fashion in order to ensure objects to be covered by at least cameras at the same time. This extends the well known Cooperative Multi-Robot Observation of Multiple Moving Targets problem (CMOMMT). The paper has been written in cooperation with Peter Lewis.


SelPhys 2017 @ CPSWeek, Pittsburgh, USA

I gave two talks at the SelPhys (Self-aware Cyber-Physical Systems) Workshop at the Cyber-Physical Systems Week in Pittsburgh, USA.

The talks were based on extended Abstracts. The first talk was on the challenges in CPS we might be able to overcome when introducing self-awareness into our CPS.

The second talk was on Mobile Smart Cameras and the challenges we need to address as well as their interplay with self-awareness challenges.

Self-Aware Computing Systems

 After joining a Dagstuhl Seminar in January 2015 on ‘Model-driven Algorithms and Architectures for Self-Aware Computing Systems’, we started working on a book on self-aware computing systems. Almost 2 years later, this book has finally been released!

The book is entitled Self-Aware Computing Systems has just been released with Springer and gives a definition of self-aware computing systems, discusses individual as well as collective self-aware computing systems, what is needed to achieve them and how we can transform current computing systems towards self-aware ones.

This book provides formal and informal definitions and taxonomies for self-aware computing systems, and explains how self-aware computing relates to many existing subfields of computer science, especially software engineering. It describes architectures and algorithms for self-aware systems as well as the benefits and pitfalls of self-awareness, and reviews much of the latest relevant research across a wide array of disciplines, including open research challenges.
The chapters of this book are organized into five parts: Introduction, System Architectures, Methods and Algorithms, Applications and Case Studies, and Outlook. Part I offers an introduction that defines self-aware computing systems from multiple perspectives, and establishes a formal definition, a taxonomy and a set of reference scenarios that help to unify the remaining chapters. Next, Part II explores architectures for self-aware computing systems, such as generic concepts and notations that allow a wide range of self-aware system architectures to be described and compared with both isolated and interacting systems. It also reviews the current state of reference architectures, architectural frameworks, and languages for self-aware systems. Part III focuses on methods and algorithms for self-aware computing systems by addressing issues pertaining to system design, like modeling, synthesis and verification. It also examines topics such as adaptation, benchmarks and metrics. Part IV then presents applications and case studies in various domains including cloud computing, data centers, cyber-physical systems, and the degree to which self-aware computing approaches have been adopted within those domains. Lastly, Part V surveys open challenges and future research directions for self-aware computing systems.
It can be used as a handbook for professionals and researchers working in areas related to self-aware computing, and can also serve as an advanced textbook for lecturers and postgraduate students studying subjects like advanced software engineering, autonomic computing, self-adaptive systems, and data-center resource management. Each chapter is largely self-contained, and offers plenty of references for anyone wishing to pursue the topic more deeply.