My work focuses on the development and analysis of Cyber-Physical Systems (CPSs). These are systems of highly interacting cyber/software and physical/hardware/mechanical components while in an uncertain environment, often with human-in-the-loop. My work in the immediate domain consists of foundational work on the concepts of modelling and multi-paradigm modelling of CPSs. Multi-paradigm-modelling glues together various model paradigms and their models into a single unifying theory through the concept of ‘views’. There can be many views of a single system, each one with a certain most-apt model.
One view can be the hardware view, focusing on modelling and designing the embedded system driving the overall CPS. In this domain, I have worked on the development and subsequent hardware implementation of the Modified-Maximum-Mean-Minimum (MoMaMeMi) filter. The MoMaMeMi filter aims to be an optimized replacement for traditional band-limited filters. We used this filter with optimized time-sliced architecture to signficantly reduce resource overheads, for multi-channel EEG signal processing. We are working on more efficient and complete implementations of pipelines incorporating the MoMaMeMi filter.
Another view is the logic view, which deals with the control and data flow of the software system which governs the behavior of the CPS. To accomplish this, a formal model has to be first developed, suitable to that view. The Architecture Analysis and Design Language (AADL) is suitable for the analysis of an embedded CPS with physical components like actuators and sensors tightly-coupled to embedded platform components (like threads, bus, memory, and processors) and software components. We are developing the Open-Source AADL Tool Environment-based Declarative Instance Mapping (OSATE-DIM) tool that greatly simplifies the development of other AADL-based tools. We borrow the concepts of graph theory, database theory, bidirectional transformations, object-oriented programming, and modelling, to develop OSATE-DIM.
Once a formal model has been established, the next step is formal verification of system properties like equality, safety, correctness, reachability, etc. using this formal model. We are currently working on proving semantic equivalence of two programs, through the formal model of Petri net. The Petri net is a graph, that has the inherent ability to model parallelism, something which cannot be represented easily by finite-state-machine-with-data paths (FSMDs). We have developed a scalable extension of the classical Petri net model, using graph theory and compiler concepts.
The third view of my work with cyber-physical systems is from the education-application point-of-view. In this work, we are trying to understand the role of cyber-physical systems in complementing and enhancing the modern education system. This is done through platform-based technological developments, and developments on the affective-computing front. We are currently reviewing the two domains of this important but oft overlooked interaction between humans and CPS.
Projects of my supervisors that have funded my publications:
- National Institute of Education NTU Singapore 
Emotion Recognition from EEG Signals using Machine Learning Approach
Principal Investigator: Yuvaraj Rajamanickam
- US ARMY CCDC DEVCOM 
Architecture-Centric Model Management for ACVIP (Architecture-Centric Virtual Integration Process)
Prinicipal Investigator: Dominique Blouin
- DST SERB 
Efficient Hardware Architecture for Biomedical Signal Detrending
Prinicipal Investigator: A Amalin Prince
- Forest Dept. State Govt. of Jharkand, India 
Importance of Monitoring Natural Wetland Ecosystems in Jharkhand
Prinicipal Investigator: Srikanth Mutnuri
- EU ICT COST 
Multi-Paradigm Modelling For Cyber-Physical Systems
Project Leads: Hans Vangheluwe and Holger Giese