Projects

My research is in applied mathematics and control theory. I aim to gain insights into the dynamical systems and design the systems’ behavior through rigorous mathematical analysis. Recent research focuses on cyber-physical systems, or more specifically, networked control systems, where the communication is a key to save energy and to protect privacy and security.

Below are some large projects.

JST FOREST【Goto Panel】Next-Generation Graph Signal Processing for Structural Uncertainty and Temporal Variation [2026-]

This proposal aims to develop graph signal processing techniques that handle structural uncertainty and temporal variation by leveraging control theory to model prior knowledge of graph structure, thereby improving accuracy, efficiency, and robustness in data analysis.

JST CRONOS【Area 2: Kawahara】Collaborative Co-design of Sensing, Communication, and Control Leveraging Spatio-temporal Sparsity of Visual Information [2025-]

Establish a next-generation real-time, energy-efficient information infrastructure by collaboratively designing sensing, communication, and control with event camera–Fourier optics fusion sensors that exploit visual spatiotemporal sparsity.

JST PRESTO【Trustworthy AI】Construction and Development of Risk-Aware Control Theory [2022-2026]

As automation of safety-critical dynamical systems accelerates, control designs that maintain high reliability under diverse uncertainties are essential. However, while existing control theory can handle uncertainty to some extent, it fails to adequately account for losses from rare catastrophic events. This study constructs a risk-aware control theory that quantifies tail risk and incorporates it into control design to minimize losses while ensuring reliability and safety.

Project summary

JST CREST【Mathematical Information Platform】Formal Analysis and Design of AI-intensive Cyber-Physical [2021-2026]

This project aims at formal design methods for safe AI-intensive Cyber-Physical Systems (AI-CPS). In this 5-and-a-half-year project, we study how to model, test, verify, monitor, and control a cyber-physical systems in which AI plays a crucial role based on a mathematically solid foundation.

Project summary

JST ERATO Metamathematics for Systems Design Project [2016-2022]

This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS) and manufacturing—automotive industry in particular.

Project website