研究業績

プレプリント

1. Leander Thiele, Adrian E. Bayer, Naoya Takeishi

   Simulation-Efficient Cosmological Inference with Multi-Fidelity Simulation-Based Inference

   arXiv:2507.00514, presented at the 3rd Machine Learning for Astrophysics Workshop, Vancouver

   Abs

   The simulation cost for cosmological simulation-based inference can be decreased by combining simulation sets of varying fidelity. We propose an approach to such multi-fidelity inference based on feature matching and knowledge distillation. Our method results in improved posterior quality, particularly for small simulation budgets and difficult inference problems.

2. Maciej Falkiewicz, Naoya Takeishi, Alexandros Kalousis

   Kolmogorov-Smirnov GAN

   arXiv:2406.19948

   Abs

   We propose a novel deep generative model, the Kolmogorov-Smirnov Generative Adversarial Network (KSGAN). Unlike existing approaches, KSGAN formulates the learning process as a minimization of the Kolmogorov-Smirnov (KS) distance, generalized to handle multivariate distributions. This distance is calculated using the quantile function, which acts as the critic in the adversarial training process. We formally demonstrate that minimizing the KS distance leads to the trained approximate distribution aligning with the target distribution. We propose an efficient implementation and evaluate its effectiveness through experiments. The results show that KSGAN performs on par with existing adversarial methods, exhibiting stability during training, resistance to mode dropping and collapse, and tolerance to variations in hyperparameter settings. Additionally, we review the literature on the Generalized KS test and discuss the connections between KSGAN and existing adversarial generative models.

査読付き論文

1. Akira Osaka, Naoya Takeishi, Takehisa Yairi

   Domain Adaptation with Hybrid Modeling for Learning Dynamical Systems

   In Proceedings of the 17th Asian Conference on Machine Learning, 2025

   (to appear)

   Abs

   Domain shifts present significant challenges for data-driven modeling of dynamical systems, as they may reduce state prediction accuracy and degrade model-based control performance. Transfer learning is a promising way to mitigate the effect of changes in dynamics. In this study, we investigate a domain adaptation framework based on hybrid modeling with fine-tuning. Hybrid models integrate physics-based components derived from prior knowledge of system dynamics into neural ordinary differential equations (neural ODEs). They are expected to facilitate efficient and enhanced fine-tuning because the structures of physics parts often remain invariant under domain shifts. We evaluated the hybrid neural ODE approach through experiments on multicopters undergoing concept shifts and found that introducing physics models significantly enhanced the domain adaptation capabilities, even when the physics-based components included unidentified parameters. Moreover, the results demonstrated that the hybrid modeling strategy reduced the amount of data required in the target domain, enabling efficient domain adaptation.

2. Koki Hirano, Naoya Takeishi, Takehisa Yairi

   Probabilistic Safety for Hard-to-Formalize Constraints via Conformal Neural CBFs

   In Proceedings of the 64th IEEE Conference on Decision and Control, 2025

   (to appear)

   Abs

   We present a data-driven safety filtering framework for nonlinear discrete-time systems that combines neural network-based control barrier functions (CBFs) with conformal prediction (CP) to provide probabilistic safety guarantees. This method utilizes CBFs learned via neural networks to determine whether the system can remain in a safe state. Furthermore, by incorporating CP, the method evaluates the error between the predicted and true values of the CBF, enabling reliable, probability-based safety certification. We applied the proposed method to the mobile robot path planning task combined with the potential field method, demonstrating its applicability even in hazardous scenarios such as deadlocks, which are difficult to formalize explicitly. Moreover, CP enables quantification of the likelihood that the system remains within the safe set. By combining data-driven control design with probabilistic safety guarantees, the proposed method contributes to improving the safety of control systems.

3. Haruki Settai, Naoya Takeishi, Takehisa Yairi

   A Temporal Difference Method for Stochastic Continuous Dynamics

   In Advances in Neural Information Processing Systems 38, 2025

   (to appear)

   Abs arXiv ver.

   For continuous systems modeled by dynamical equations such as ODEs and SDEs, Bellman’s principle of optimality takes the form of the Hamilton-Jacobi-Bellman (HJB) equation, which provides the theoretical target of reinforcement learning (RL). Although recent advances in RL successfully leverage this formulation, the existing methods typically assume the underlying dynamics are known a priori because they need explicit access to the coefficient functions of dynamical equations to update the value function following the HJB equation. We address this inherent limitation of HJB-based RL; we propose a model-free approach still targeting the HJB equation and propose the corresponding temporal difference method. We demonstrate its potential advantages over transition kernel-based formulations, both qualitatively and empirically. The proposed formulation paves the way toward bridging stochastic optimal control and model-free reinforcement learning.

4. Haruki Matsuda, Naoya Takeishi, Takehisa Yairi

   High-Fidelity Aircraft Trajectory Generation Using a Flow-Based Generative Model

   Transactions of the Japan Society for Aeronautical and Space Sciences, 2025

   (in press)

   Abs

   Aircraft trajectory generation is one of the key technologies for realizing and researching a highly efficient air traffic system. Fast-time simulations are used for the initial evaluation of newly proposed operational concepts, and the employed scenarios must be faithful to actual aircraft operations and include a wide range of possible future events. In addition, since aircraft trajectories are influenced by numerous complex factors, incorporating these factors into the generation process is essential to improve the fidelity of the generated trajectories. This study employed a deep generative model to capture these factors, with surrounding traffic conditions selected as a representative example. In particular, a flow-based generative model was employed to obtain the generation probability of the trajectory to allow evaluation based on the probability of events occurring in the simulation. The generated trajectories were confirmed to be consistent with the operational flight envelope and surrounding traffic using publicly available track data.

5. Akira Osaka, Naoya Takeishi, Takehisa Yairi

   Deterministic and Stochastic Hybrid Modeling with Regularization

   In Proceedings of the 2025 IEEE International Conference on Systems, Man, and Cybernetics, 2025

   (to appear)
6. Keisuke Fujii, Koh Takeuchi, Atsushi Kuribayashi, Naoya Takeishi, Yoshinobu Kawahara, Kazuya Takeda

   Estimating Counterfactual Treatment Outcomes Over Time in Complex Multi-Agent Scenarios

   IEEE Transactions on Neural Networks and Learning Systems, 36(2):2103–2117, 2025

   Abs arXiv ver.

   Evaluation of intervention in a multi-agent system, e.g., when humans should intervene in autonomous driving systems and when a player should pass to teammates for a good shot, is challenging in various engineering and scientific fields. Estimating the individual treatment effect (ITE) using counterfactual long-term prediction is practical to evaluate such interventions. However, most of the conventional frameworks did not consider the time-varying complex structure of multi-agent relationships and covariate counterfactual prediction. This may lead to erroneous assessments of ITE and difficulty in interpretation. Here we propose an interpretable, counterfactual recurrent network in multi-agent systems to estimate the effect of the intervention. Our model leverages graph variational recurrent neural networks and theory-based computation with domain knowledge for the ITE estimation framework based on long-term prediction of multi-agent covariates and outcomes, which can confirm the circumstances under which the intervention is effective. On simulated models of an automated vehicle and biological agents with time-varying confounders, we show that our methods achieved lower estimation errors in counterfactual covariates and the most effective treatment timing than the baselines. Furthermore, using real basketball data, our methods performed realistic counterfactual predictions and evaluated the counterfactual passes in shot scenarios.

7. 吉川 譲二, 滝本 憲弘, 武石 直也, 河原 吉伸, 船津 陽平

   蓄電池におけるグラフ深層学習による異常検知及び要因推定

   電気学会論文誌Ｃ（電子・情報・システム部門誌）, 144(10):997–1004, 2024

   Abs

   Predictive maintenance is a technique to perform maintenance before failures happen by finding their Indications in advance and is a key to streamlining Maintenance operations and reducing the downtime. Methods for predictive maintenance based on anomaly detection using deep learning have been actively studied, but the identification of anomalous sensors remains a challenging task. As sensors corresponding to the cause of anomaly do not necessarily indicate large anomaly scores, it is important to watch how a model computes the scores. In this work, we use a graph neural network for anomaly detection and isolation. The vertices of the graph that appears in the network correspond to the sensors, so we can interpret the relevant weights as the relationship between the sensors. We specifically used a sparse variant of graph attention network for anomaly detection and isolation. We applied it to real-world storage battery data and confirmed the effectiveness of the method.

8. João A. Cândido Ramos, Lionel Blondé, Naoya Takeishi, Alexandros Kalousis

   Mimicking Better by Matching the Approximate Action Distribution

   In Proceedings of the 41st International Conference on Machine Learning, pp. 5513–5532, 2024

   Abs arXiv ver.

   In this paper, we introduce MAAD, a novel, sample-efficient on-policy algorithm for Imitation Learning from Observations. MAAD utilizes a surrogate reward signal, which can be derived from various sources such as adversarial games, trajectory matching objectives, or optimal transport criteria. To compensate for the non-availability of expert actions, we rely on an inverse dynamics model that infers plausible actions distribution given the expert’s state-state transitions; we regularize the imitator’s policy by aligning it to the inferred action distribution. MAAD leads to significantly improved sample efficiency and stability. We demonstrate its effectiveness in a number of MuJoCo environments, both int the OpenAI Gym and the DeepMind Control Suite. We show that it requires considerable fewer interactions to achieve expert performance, outperforming current state-of-the-art on-policy methods. Remarkably, MAAD often stands out as the sole method capable of attaining expert performance levels, underscoring its simplicity and efficacy.

9. Keisuke Fujii, Kazushi Tsutsui, Atom Scott, Hiroshi Nakahara, Naoya Takeishi, Yoshinobu Kawahara

   Adaptive Action Supervision in Reinforcement Learning from Real-World Multi-Agent Demonstrations

   In Proceedings of the 16th International Conference on Agents and Artificial Intelligence, pp. 27–39, 2024

   Abs arXiv ver.

   Modeling of real-world biological multi-agents is a fundamental problem in various scientific and engineering fields. Reinforcement learning (RL) is a powerful framework to generate flexible and diverse behaviors in cyberspace; however, when modeling real-world biological multi-agents, there is a domain gap between behaviors in the source (i.e., real-world data) and the target (i.e., cyberspace for RL), and the source environment parameters are usually unknown. In this paper, we propose a method for adaptive action supervision in RL from real-world demonstrations in multi-agent scenarios. We adopt an approach that combines RL and supervised learning by selecting actions of demonstrations in RL based on the minimum distance of dynamic time warping for utilizing the information of the unknown source dynamics. This approach can be easily applied to many existing neural network architectures and provide us with an RL model balanced between reproducibility as imitation and generalization ability to obtain rewards in cyberspace. In the experiments, using chase-and-escape and football tasks with the different dynamics between the unknown source and target environments, we show that our approach achieved a balance between the reproducibility and the generalization ability compared with the baselines. In particular, we used the tracking data of professional football players as expert demonstrations in football and show successful performances despite the larger gap between behaviors in the source and target environments than the chase-and-escape task.

10. Keisuke Fujii, Naoya Takeishi, Yoshinobu Kawahara, Kazuya Takeda

    Decentralized Policy Learning with Partial Observation and Mechanical Constraints for Multi-person Modeling

    Neural Networks, 171:40–52, 2024

    Abs arXiv ver.

    Extracting the rules of real-world multi-agent behaviors is a current challenge in various scientific and engineering fields. Biological agents independently have limited observation and mechanical constraints; however, most of the conventional data-driven models ignore such assumptions, resulting in lack of biological plausibility and model interpretability for behavioral analyses. Here we propose sequential generative models with partial observation and mechanical constraints in a decentralized manner, which can model agents’ cognition and body dynamics, and predict biologically plausible behaviors. We formulate this as a decentralized multi-agent imitation-learning problem, leveraging binary partial observation and decentralized policy models based on hierarchical variational recurrent neural networks with physical and biomechanical penalties. Using real-world basketball and soccer datasets, we show the effectiveness of our method in terms of the constraint violations, long-term trajectory prediction, and partial observation. Our approach can be used as a multi-agent simulator to generate realistic trajectories using real-world data.

11. Maciej Falkiewicz, Naoya Takeishi, Imahn Shekhzadeh, Antoine Wehenkel, Arnaud Delaunoy, Gilles Louppe, Alexandros Kalousis

    Calibrating Neural Simulation-Based Inference with Differentiable Coverage Probability

    In Advances in Neural Information Processing Systems 36, pp. 1082–1099, 2023

    Abs arXiv ver. Code

    Bayesian inference allows expressing the uncertainty of posterior belief under a probabilistic model given prior information and the likelihood of the evidence. Predominantly, the likelihood function is only implicitly established by a simulator posing the need for simulation-based inference (SBI). However, the existing algorithms can yield overconfident posteriors (Hermans et al., 2022) defeating the whole purpose of credibility if the uncertainty quantification is inaccurate. We propose to include a calibration term directly into the training objective of the neural model in selected SBI techniques. By introducing a relaxation of the classical formulation of calibration error we enable end-to-end backpropagation. The proposed method is not tied to any particular neural model and brings moderate computational overhead compared to the profits it introduces. It is directly applicable to existing computational pipelines allowing reliable black-box posterior inference. We empirically show on six benchmark problems that the proposed method achieves competitive or better results in terms of coverage and expected posterior density than the previously existing approaches.

12. Naoya Takeishi, Yoshinobu Kawahara

    A Characteristic Function for Shapley-Value-Based Attribution of Anomaly Scores

    Transactions on Machine Learning Research, 2023

    Abs Code

    In anomaly detection, the degree of irregularity is often summarized as a real-valued anomaly score. We address the problem of attributing such anomaly scores to input features for interpreting the results of anomaly detection. We particularly investigate the use of the Shapley value for attributing anomaly scores of semi-supervised detection methods. We propose a characteristic function specifically designed for attributing anomaly scores. The idea is to approximate the absence of some features by locally minimizing the anomaly score with regard to the to-be-absent features. We examine the applicability of the proposed characteristic function and other general approaches for interpreting anomaly scores on multiple datasets and multiple anomaly detection methods. The results indicate the potential utility of the attribution methods including the proposed one.

13. Naoya Takeishi, Alexandros Kalousis

    Deep Grey-Box Modeling With Adaptive Data-Driven Models Toward Trustworthy Estimation of Theory-Driven Models

    In Proceedings of the 26th International Conference on Artificial Intelligence and Statistics, pp. 4089–4100, 2023

    Abs arXiv ver. Code Poster

    The combination of deep neural nets and theory-driven models, which we call deep grey-box modeling, can be inherently interpretable to some extent thanks to the theory backbone. Deep grey-box models are usually learned with a regularized risk minimization to prevent a theory-driven part from being overwritten and ignored by a deep neural net. However, an estimation of the theory-driven part obtained by uncritically optimizing a regularizer can hardly be trustworthy when we are not sure what regularizer is suitable for the given data, which may harm the interpretability. Toward a trustworthy estimation of the theory-driven part, we should analyze regularizers’ behavior to compare different candidates and to justify a specific choice. In this paper, we present a framework that enables us to analyze a regularizer’s behavior empirically with a slight change in the neural net’s architecture and the training objective.

14. Keisuke Fujii, Koh Takeuchi, Atsushi Kuribayashi, Naoya Takeishi, Yoshinobu Kawahara, Kazuya Takeda

    Estimating Counterfactual Treatment Outcomes over Time in Complex Multi-Vehicle Simulation

    In Proceedings of the 30th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2022

    Best Poster Paper Award winner

    Abs

    Evaluation of intervention in a multi-agent system, e.g., when humans should intervene in autonomous driving systems, is challenging in various engineering and scientific fields. Estimating the individual treatment effect (ITE) using counterfactual long-term prediction is practical to evaluate such interventions. However, most of the conventional frameworks did not consider the time-varying complex structure of multi-agent relationships and covariate counterfactual prediction. Here we propose an interpretable, counterfactual recurrent network in multi-agent systems to estimate the effect of the intervention. Our model leverages graph variational recurrent neural networks and theory-based computation with domain knowledge for the ITE estimation framework based on long-term prediction of multi-agent covariates and outcomes, which can confirm the circumstances under which the intervention is effective. On simulated models of an automated vehicle with time-varying confounders, we show that our methods achieved lower estimation errors in counterfactual covariates.

15. Naoya Takeishi, Keisuke Fujii, Koh Takeuchi, Yoshinobu Kawahara

    Discriminant Dynamic Mode Decomposition for Labeled Spatiotemporal Data Collections

    SIAM Journal on Applied Dynamical Systems, 21(2):1030–1058, 2022

    Abs arXiv ver.

    Extracting coherent patterns is one of the standard approaches toward understanding spatiotemporal data. Dynamic mode decomposition (DMD) is a powerful tool for extracting coherent patterns, but the original DMD and most of its variants do not consider label information, which is often available as side information of spatiotemporal data. In this work, we propose a new method for extracting distinctive coherent patterns from labeled spatiotemporal data collections such that they contribute to major differences in a labeled set of dynamics. We achieve such pattern extraction by incorporating discriminant analysis into DMD. To this end, we define a kernel function on subspaces spanned by sets of dynamic modes and develop an objective to take both reconstruction goodness as DMD and class-separation goodness as discriminant analysis into account. We illustrate our method using a synthetic dataset and several real-world datasets. The proposed method can be a useful tool for exploratory data analysis for understanding spatiotemporal data.

16. Naoya Ozaki, Kanta Yanagida, Takuya Chikazawa, Nishanth Pushparaj, Naoya Takeishi, Ryuki Hyodo

    Asteroid Flyby Cycler Trajectory Design Using Deep Neural Networks

    Journal of Guidance, Control, and Dynamics, 45(8):1496–1511, 2022

    Abs arXiv ver.

    Asteroid exploration has been attracting more attention in recent years. Nevertheless, we have just visited tens of asteroids, whereas we have discovered more than 1 million bodies. As our current observation and knowledge should be biased, it is essential to explore multiple asteroids directly to better understand the remains of planetary building materials. One of the mission design solutions is utilizing asteroid flyby cycler trajectories with multiple Earth gravity assists. An asteroid flyby cycler trajectory design problem is a subclass of global trajectory optimization problems with multiple flybys, involving a trajectory optimization problem for a given flyby sequence and a combinatorial optimization problem to decide the sequence of the flybys. As the number of flyby bodies grows, the computation time of this optimization problem expands maliciously. This paper presents a new method to design asteroid flyby cycler trajectories utilizing a surrogate model constructed by deep neural networks approximating trajectory optimization results. Because one of the bottlenecks of machine learning approaches is the heavy computation time to generate massive trajectory databases, we propose an efficient database generation strategy by introducing pseudo-asteroids satisfying the Karush– Kuhn– Tucker conditions. The numerical result applied to Japan Aerospace Exploration Agency’s DESTINY+ mission shows that the proposed method is practically applicable to space mission design and can significantly reduce the computational time for searching asteroid flyby sequences.

17. Keisuke Fujii, Naoya Takeishi, Kazushi Tsutsui, Emyo Fujioka, Nozomi Nishiumi, Ryoya Tanaka, Mika Fukushiro, Kaoru Ide, Hiroyoshi Kohno, Ken Yoda, Susumu Takahashi, Shizuko Hiryu, Yoshinobu Kawahara

    Learning Interaction Rules from Multi-Animal Trajectories via Augmented Behavioral Models

    In Advances in Neural Information Processing Systems 34, pp. 11108–11122, 2021

    Abs arXiv ver.

    Extracting the interaction rules of biological agents from movement sequences pose challenges in various domains. Granger causality is a practical framework for analyzing the interactions from observed time-series data; however, this framework ignores the structures and assumptions of the generative process in animal behaviors, which may lead to interpretational problems and sometimes erroneous assessments of causality. In this paper, we propose a new framework for learning Granger causality from multi-animal trajectories via augmented theory-based behavioral models with interpretable data-driven models. We adopt an approach for augmenting incomplete multi-agent behavioral models described by time-varying dynamical systems with neural networks. For efficient and interpretable learning, our model leverages theory-based architectures separating navigation and motion processes, and the theory-guided regularization for reliable behavioral modeling. This can provide interpretable signs of Granger-causal effects over time, i.e., when specific others cause the approach or separation. In experiments using synthetic datasets, our method achieved better performance than various baselines. We then analyzed multi-animal datasets of mice, flies, birds, and bats, which verified our method and obtained novel biological insights.

18. Naoya Takeishi, Alexandros Kalousis

    Physics-Integrated Variational Autoencoders for Robust and Interpretable Generative Modeling

    In Advances in Neural Information Processing Systems 34, pp. 14809–14821, 2021

    Abs arXiv ver. Code Poster

    Integrating physics models within machine learning models holds considerable promise toward learning robust models with improved interpretability and abilities to extrapolate. In this work, we focus on the integration of incomplete physics models into deep generative models. In particular, we introduce an architecture of variational autoencoders (VAEs) in which a part of the latent space is grounded by physics. A key technical challenge is to strike a balance between the incomplete physics and trainable components such as neural networks for ensuring that the physics part is used in a meaningful manner. To this end, we propose a regularized learning method that controls the effect of the trainable components and preserves the semantics of the physics-based latent variables as intended. We not only demonstrate generative performance improvements over a set of synthetic and realworld datasets, but we also show that we learn robust models that can consistently extrapolate beyond the training distribution in a meaningful manner. Moreover, we show that we can control the generative process in an interpretable manner.

19. Naoya Takeishi, Yoshinobu Kawahara

    Learning Dynamics Models with Stable Invariant Sets

    In Proceedings of the 35th AAAI Conference on Artificial Intelligence, pp. 9782–9790, 2021

    Abs arXiv ver. Code Slides

    Invariance and stability are essential notions in dynamical systems study, and thus it is of great interest to learn a dynamics model with a stable invariant set. However, existing methods can only handle the stability of an equilibrium. In this paper, we propose a method to ensure that a dynamics model has a stable invariant set of general classes such as limit cycles and line attractors. We start with the approach by Manek and Kolter (2019), where they use a learnable Lyapunov function to make a model stable with regard to an equilibrium. We generalize it for general sets by introducing projection onto them. To resolve the difficulty of specifying a to-be stable invariant set analytically, we propose defining such a set as a primitive shape (e.g., sphere) in a latent space and learning the transformation between the original and latent spaces. It enables us to compute the projection easily, and at the same time, we can maintain the model’s flexibility using various invertible neural networks for the transformation. We present experimental results that show the validity of the proposed method and the usefulness for long-term prediction.

20. 吉川 譲二, 武石 直也, 西山 薫, 高橋 久尚, 河原 吉伸, 木下 直人

    SOFCシステムにおける故障予兆検知技術の検証

    電気学会論文誌Ｃ（電子・情報・システム部門誌）, 141(5):712–719, 2021

    Abs

    We study a technique of predictive maintenance for systems with solid oxide fuel cells (SOFCs). SOFC-based systems are a digital ecosystem that utilizes energy efficiently because they generate power using oxygen in the air and hydrogen taken out from gas and also make hot water using heat generated during the power generation. Such systems are complicated as they are equipped with many sensors to control fuel flows (i.e., gas and air) and power generation according to power demands. For predictive maintenance of such complicated systems, developing individual algorithms for each individual failure sign is infeasible because of the variety of possible failure signs. Thus, it is necessary to develop a novel algorithm capable of grasping various failure signs. In this work, we develop a method to detect failure signs by performing change-point detection as well as classification analysis of change points to understand the cause of detected change points. In the change-point detection technique, failure signs are detected based on the reconstruction errors calculated with principal component analysis. In the change-point analysis technique, we solve a classification problem on the detected failure signs. Moreover, we propose a method to tell a failure sign that may correspond to unknown types of faults. We show experimental results with data obtained from real SOFC-based systems and confirm the validity of the proposed method.

21. Anand Srinivasan, Naoya Takeishi

    An MCMC Method for Uncertainty Set Generation via Operator-Theoretic Metrics

    In Proceedings of the 2020 IEEE Conference on Decision and Control, pp. 2714–2719, 2020

    Abs arXiv ver.

    Model uncertainty sets are required in many robust optimization problems, such as robust control and prediction with uncertainty, but there is no definite methodology to generate uncertainty sets for nonlinear dynamical systems. In this paper, we propose a method for model uncertainty set generation via Markov chain Monte Carlo. The proposed method samples from distributions over dynamical systems via metrics over transfer operators and is applicable to general nonlinear systems. We adapt Hamiltonian Monte Carlo for sampling high-dimensional transfer operators in a computationally efficient manner. We present numerical examples to validate the proposed method for uncertainty set generation.

22. Naoya Takeishi, Yoshinobu Kawahara

    Learning Multiple Nonlinear Dynamical Systems with Side Information

    In Proceedings of the 2020 IEEE Conference on Decision and Control, pp. 3206–3211, 2020

    Abs PDF Slides

    We address the problem of learning multiple dynamical systems, which is a kind of multi-task learning (MTL). The existing methods of MTL do not apply to learning dynamical systems in general. In this work, we develop a regularization method to perform MTL for dynamical systems appropriately. The proposed method is based on an operator-theoretic metric on dynamics that is agnostic of model parametrization and applicable even for nonlinear dynamics models. We calculate the proposed MTL-like regularization by estimating the metric from trajectories generated during training. Learning timevarying systems can be regarded as a special case of the usage of the proposed method. The proposed regularizer is versatile as we can straightforwardly incorporate it into offthe-shelf gradient-based optimization methods. We show the results of experiments on synthetic and real-world datasets, which exhibits the validity of the proposed regularizer.

23. Naoya Takeishi, Yoshinobu Kawahara

    Knowledge-Based Regularization in Generative Modeling

    In Proceedings of the 29th International Joint Conference on Artificial Intelligence, pp. 2390–2396, 2020

    Abs arXiv ver. Slides

    Prior domain knowledge can greatly help to learn generative models. However, it is often too costly to hard-code prior knowledge as a specific model architecture, so we often have to use general-purpose models. In this paper, we propose a method to incorporate prior knowledge of feature relations into the learning of general-purpose generative models. To this end, we formulate a regularizer that makes the marginals of a generative model to follow prescribed relative dependence of features. It can be incorporated into off-the-shelf learning methods of many generative models, including variational autoencoders and generative adversarial networks, as its gradients can be computed using standard backpropagation techniques. We show the effectiveness of the proposed method with experiments on multiple types of datasets and generative models.

24. Yoshiyuki Anzai, Takehisa Yairi, Naoya Takeishi, Yuichi Tsuda, Naoko Ogawa

    Visual Localization for Asteroid Touchdown Operation Based on Local Image Features

    Astrodynamics, 4(2):149–161, 2020

    Abs

    In an asteroid sample-return mission, accurate position estimation of the spacecraft relative to the asteroid is essential for landing at the target point. During the missions of Hayabusa and Hayabusa2, the main part of the visual position estimation procedure was performed by human operators on the Earth based on a sequence of asteroid images acquired and sent by the spacecraft. Although this approach is still adopted in critical space missions, there is an increasing demand for automated visual position estimation, so that the time and cost of human intervention may be reduced. In this paper, we propose a method for estimating the relative position of the spacecraft and asteroid during the descent phase for touchdown from an image sequence using state-of-the-art techniques of image processing, feature extraction, and structure from motion. We apply this method to real Ryugu images that were taken by Hayabusa2 from altitudes of 20 km-500 m. It is demonstrated that the method has practical relevance for altitudes within the range of 5-1 km. This result indicates that our method could improve the efficiency of the ground operation in the global mapping and navigation during the touchdown sequence, whereas full automation and autonomous on-board estimation are beyond the scope of this study. Furthermore, we discuss the challenges of developing a completely automatic position estimation framework.

25. Keisuke Fujii, Naoya Takeishi, Motokazu Hojo, Yuki Inaba, Yoshinobu Kawahara

    Physically-Interpretable Classification of Biological Network Dynamics for Complex Collective Motions

    Scientific Reports, 10(1):3005, 2020

    Abs

    Understanding biological network dynamics is a fundamental issue in various scientific and engineering fields. Network theory is capable of revealing the relationship between elements and their propagation; however, for complex collective motions, the network properties often transiently and complexly change. A fundamental question addressed here pertains to the classification of collective motion network based on physically-interpretable dynamical properties. Here we apply a data-driven spectral analysis called graph dynamic mode decomposition, which obtains the dynamical properties for collective motion classification. Using a ballgame as an example, we classified the strategic collective motions in different global behaviours and discovered that, in addition to the physical properties, the contextual node information was critical for classification. Furthermore, we discovered the label-specific stronger spectra in the relationship among the nearest agents, providing physical and semantic interpretations. Our approach contributes to the understanding of principles of biological complex network dynamics from the perspective of nonlinear dynamical systems.

26. Naoya Takeishi

    Kernel Learning for Data-Driven Spectral Analysis of Koopman Operators

    In Proceedings of the 11th Asian Conference on Machine Learning, pp. 956–971, 2019

    Abs Poster

    Spectral analysis of the Koopman operators is a useful tool for studying nonlinear dynamical systems and has been utilized in various branches of science and engineering for purposes such as understanding complex phenomena and designing a controller. Several methods to compute the Koopman spectral analysis have been studied, among which data-driven methods are attracting attention. We focus on one of the popular data-driven methods, which is based on the Galerkin approximation of the operator using a basis estimated in a data-driven manner via the diffusion maps algorithm. The performance of this method with a finite amount of data depends on the choice of the kernel function used in diffusion maps, which creates a need for kernel selection. In this paper, we propose a method to learn the kernel function adaptively to obtain better performance in approximating spectra of the Koopman operator using the Galerkin approximation with diffusion maps. The proposed method depends on the multiple kernel learning scheme, and our objective function is based on the idea that a diffusion operator should commute with the Koopman operator. We also show the effectiveness of the proposed method empirically with numerical examples.

27. Keisuke Fujii, Naoya Takeishi, Benio Kibushi, Motoki Kouzaki, Yoshinobu Kawahara

    Data-Driven Spectral Analysis for Coordinative Structures in Periodic Human Locomotion

    Scientific Reports, 9(1):16755, 2019

    Abs

    Living organisms dynamically and flexibly operate a great number of components. As one of such redundant control mechanisms, low-dimensional coordinative structures among multiple components have been investigated. However, structures extracted from the conventional statistical dimensionality reduction methods do not reflect dynamical properties in principle. Here we regard coordinative structures in biological periodic systems with unknown and redundant dynamics as a nonlinear limit-cycle oscillation, and apply a data-driven operator-theoretic spectral analysis, which obtains dynamical properties of coordinative structures such as frequency and phase from the estimated eigenvalues and eigenfunctions of a composition operator. Using segmental angle series during human walking as an example, we first extracted the coordinative structures based on dynamics; e.g. the speed-independent coordinative structures in the harmonics of gait frequency. Second, we discovered the speed-dependent time-evolving behaviours of the phase by estimating the eigenfunctions via our approach on the conventional low-dimensional structures. We also verified our approach using the double pendulum and walking model simulation data. Our results of locomotion analysis suggest that our approach can be useful to analyse biological periodic phenomena from the perspective of nonlinear dynamical systems.

28. Naoya Takeishi

    Shapley Values of Reconstruction Errors of PCA for Explaining Anomaly Detection

    In Proceedings of the 2019 International Conference on Data Mining Workshops, pp. 793–798, 2019

    The published version has typos in Eqs. (14) and (18), which are fixed in the arXiv version.

    Abs arXiv ver. Code Slides

    We present a method to compute the Shapley values of reconstruction errors of principal component analysis (PCA), which is particularly useful in explaining the results of anomaly detection based on PCA. Because features are usually correlated when PCA-based anomaly detection is applied, care must be taken in computing a value function for the Shapley values. We utilize the probabilistic view of PCA, particularly its conditional distribution, to exactly compute a value function for the Shapely values. We also present numerical examples, which imply that the Shapley values are advantageous for explaining detected anomalies than raw reconstruction errors of each feature.

29. Riku Sasaki, Naoya Takeishi, Takehisa Yairi, Koichi Hori

    Neural Gray-Box Identification of Nonlinear Partial Differential Equations

    In Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence, pp. 309–321, 2019

    Lecture Notes in Computer Science, vol. 11671

    Abs

    Many branches of the modern computational science and engineering are based on numerical simulations, for which we must prepare appropriate equations that well reflect the behavior of real-world phenomena and numerically solve them. For these purposes, we may utilize the data-driven identification and simulation technique of nonlinear partial differential equations (NPDEs) using deep neural networks (DNNs). A potential issue of the DNN-based identification and simulation in practice is the high variance due to the complexity of DNNs. To alleviate it, we propose a simple yet efficient way to incorporate prior knowledge of phenomena. Specifically, we can often anticipate what kinds of terms are present in a part of an appropriate NPDE, which should be utilized as prior knowledge for identifying the remaining part of the NPDE. To this end, we design DNN’s inputs and the loss function for identification according to the prior knowledge. We present the results of the experiments conducted using three different types of NPDEs: the Korteweg– de Vries equation, the Navier– Stokes equation, and the Kuramoto– Sivashinsky equation. The experimental results show the effectiveness of the proposed method, i.e., utilizing known terms of an NPDE.

30. Ryo Sakagami, Naoya Takeishi, Takehisa Yairi, Koichi Hori

    Visualization Methods for Spacecraft Telemetry Data Using Change-Point Detection and Clustering

    Transactions of the Japan Society for Aeronautical and Space Sciences, Aerospace Technology Japan, 17(2):244–252, 2019

    Abs

    For secure operation of spacecraft, automatic or assistive health monitoring systems utilizing telemetry data are important. However, it is difficult to utilize them comprehensively because they consist of myriad heterogeneous variables. Although various monitoring systems focusing on only a few variables or homogeneous variables have been suggested, a definitive method to deal with the relationship among multiple heterogeneous variables has not yet. This paper proposes a new visualization framework that aims to show the correlation rules underlying multiple variables of spacecraft telemetry data. The proposed framework consists of a change-point detection algorithm based on subspace identification, clustering methods using dimensionality reduction, and a visualization method using heatmaps. In experiments conducted with real telemetry data obtained from JAXA spacecraft SDS-4, the proposed framework demonstrated effective visualizations that reflected the correlations among variables expected from mechanical characteristics of the satellite. Despite differences in scales and/or units, this framework succeeded in visualizing dynamic correlations not only among continuous variables but also among continuous and discrete variables. This framework can be utilized as an initial stage of anomaly detection focusing on the relationship among multiple variables, as well as a method to perceive the overall state of the spacecraft at a glance.

31. Naoya Takeishi, Takehisa Yairi, Yoshinobu Kawahara

    Factorially Switching Dynamic Mode Decomposition for Koopman Analysis of Time-Variant Systems

    In Proceedings of the 2018 IEEE Conference on Decision and Control, pp. 6402–6408, 2018

    Abs PDF Slides

    The modal decomposition based on the spectra of the Koopman operator has gained much attention in various areas such as data science and optimal control, and dynamic mode decomposition (DMD) has been known as a data-driven method for this purpose. However, there is a fundamental limitation in DMD and most of its variants; these methods are based on the premise that the target system is time-invariant at least within the data at hand. In this work, we aim to compute DMD on time-varying dynamical systems. To this end, we propose a probabilistic model that has factorially switching dynamic modes. In the proposed model, which is based on probabilistic DMD, observation at each time is expressed using a subset of dynamic modes, and the activation of the dynamic modes varies over time. We present an approximate inference method using expectation propagation and demonstrate the modeling capability of the proposed method with numerical examples of temporally-local events and transient phenomena.

32. Rem Hida, Naoya Takeishi, Takehisa Yairi, Koichi Hori

    Dynamic and Static Topic Model for Analyzing Time-Series Document Collections

    In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, pp. 516–520, 2018

    Abs

    For extracting meaningful topics from texts, their structures should be considered properly. In this paper, we aim to analyze structured time-series documents such as a collection of news articles and a series of scientific papers, wherein topics evolve along time depending on multiple topics in the past and are also related to each other at each time. To this end, we propose a dynamic and static topic model, which simultaneously considers the dynamic structures of the temporal topic evolution and the static structures of the topic hierarchy at each time. We show the results of experiments on collections of scientific papers, in which the proposed method outperformed conventional models. Moreover, we show an example of extracted topic structures, which we found helpful for analyzing research activities.

33. Naoya Takeishi, Yoshinobu Kawahara, Takehisa Yairi

    Learning Koopman Invariant Subspaces for Dynamic Mode Decomposition

    In Advances in Neural Information Processing Systems 30, pp. 1130–1140, 2017

    Abs Code Poster

    Spectral decomposition of the Koopman operator is attracting attention as a tool for the analysis of nonlinear dynamical systems. Dynamic mode decomposition is a popular numerical algorithm for Koopman spectral analysis; however, we often need to prepare nonlinear observables manually according to the underlying dynamics, which is not always possible since we may not have any a priori knowledge about them. In this paper, we propose a fully data-driven method for Koopman spectral analysis based on the principle of learning Koopman invariant subspaces from observed data. To this end, we propose minimization of the residual sum of squares of linear least-squares regression to estimate a set of functions that transforms data into a form in which the linear regression fits well. We introduce an implementation with neural networks and evaluate performance empirically using nonlinear dynamical systems and applications.

34. Naoya Takeishi, Takehisa Yairi

    Visual Monocular Localization, Mapping, and Motion Estimation of a Rotating Small Celestial Body

    Journal of Robotics and Mechatronics, 29(5):856–863, 2017

    Abs Code

    In the exploration of a small celestial body, it is important to estimate the position and attitude of the spacecraft, as well as the geometric properties of the target celestial body. In this paper, we propose a method to concurrently estimate these quantities in a highly automatic manner when measurements from an attitude sensor, inertial sensors, and a monocular camera are given. The proposed method is based on the incremental optimization technique, which works with models for sensor fusion, and a tailored initialization scheme developed to compensate for the absence of range sensors. Moreover, we discuss the challenges in developing a fully automatic navigation framework.

35. Naoya Takeishi, Yoshinobu Kawahara, Takehisa Yairi

    Subspace Dynamic Mode Decomposition for Stochastic Koopman Analysis

    Physical Review E, 96(3):033310, 2017

    The published version has a typo in the main algorithm, which is fixed in the arXiv version.

    Abs arXiv ver. Code

    The analysis of nonlinear dynamical systems based on the Koopman operator is attracting attention in various applications. Dynamic mode decomposition (DMD) is a data-driven algorithm for Koopman spectral analysis, and several variants with a wide range of applications have been proposed. However, popular implementations of DMD suffer from observation noise on random dynamical systems and generate inaccurate estimation of the spectra of the stochastic Koopman operator. In this paper, we propose subspace DMD as an algorithm for the Koopman analysis of random dynamical systems with observation noise. Subspace DMD first computes the orthogonal projection of future snapshots to the space of past snapshots and then estimates the spectra of a linear model, and its output converges to the spectra of the stochastic Koopman operator under standard assumptions. We investigate the empirical performance of subspace DMD with several dynamical systems and show its utility for the Koopman analysis of random dynamical systems.

36. Naoya Takeishi, Yoshinobu Kawahara, Takehisa Yairi

    Sparse Nonnegative Dynamic Mode Decomposition

    In Proceedings of the 2017 IEEE International Conference on Image Processing, pp. 2682–2686, 2017

    Abs

    Dynamic mode decomposition (DMD) is a method to extract coherent modes from nonlinear dynamical systems. In this paper, we propose an extension of DMD, sparse nonnegative DMD, which generates a nonlinear and sparse modal representation of dynamics. In particular, this makes DMD more suitable for video processing. We reformulate DMD as a block-multiconvex optimization problem to impose constraints and regularizations directly on the structures of the estimated dynamic modes. We introduce the results of experiments with synthetic data and a surveillance video dataset and show that sparse nonnegative DMD can extract part-based dynamic modes from video streams.

37. Naoya Takeishi, Yoshinobu Kawahara, Yasuo Tabei, Takehisa Yairi

    Bayesian Dynamic Mode Decomposition

    In Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp. 2814–2821, 2017

    Abs Code Slides

    Dynamic mode decomposition (DMD) is a data-driven method for calculating a modal representation of a nonlinear dynamical system, and it has been utilized in various fields of science and engineering. In this paper, we propose Bayesian DMD, which provides a principled way to transfer the advantages of the Bayesian formulation into DMD. To this end, we first develop a probabilistic model corresponding to DMD, and then, provide the Gibbs sampler for the posterior inference in Bayesian DMD. Moreover, as a specific example, we discuss the case of using a sparsity-promoting prior for an automatic determination of the number of dynamic modes. We investigate the empirical performance of Bayesian DMD using synthetic and real-world datasets.

38. Takehisa Yairi, Naoya Takeishi, Tetsuo Oda, Yuta Nakajima, Naoki Nishimura, Noboru Takata

    A Data-Driven Health Monitoring Method for Satellite Housekeeping Data Based on Probabilistic Clustering and Dimensionality Reduction

    IEEE Transactions on Aerospace and Electronic Systems, 53(3):1384–1401, 2017

    Abs

    In the operation of artificial satellites, it is very important to monitor the health status of the systems and detect any symptoms of anomalies in the housekeeping data as soon as possible. Recently, the data-driven approach to the system monitoring problem, in which statistical machine learning techniques are applied to the large amount of measurement data collected in the past, has attracted considerable attention. In this paper, we propose a new data-driven health monitoring and anomaly detection method for artificial satellites based on probabilistic dimensionality reduction and clustering, taking into consideration the miscellaneous characteristics of the spacecraft housekeeping data. We applied our method to the telemetry data of the small demonstration satellite 4 (SDS-4) of the Japan Aerospace Exploration Agency (JAXA) and evaluated its effectiveness. The results show that the proposed system provides satellite operators with valuable information for understanding the health status of the system and inferring the causes of anomalies.

39. Naoya Takeishi, Takehisa Yairi, Naoki Nishimura, Yuta Nakajima, Noboru Takata

    Dynamic Grouped Mixture Models for Intermittent Multivariate Sensor Data

    In Proceedings of the 20th Pacific Asia Conference on Knowledge Discovery and Data Mining, pp. 221–232, 2016

    Lecture Notes in Computer Science, vol. 9652

    Abs PDF Slides

    For secure and efficient operation of engineering systems, it is of great importance to watch daily logs generated by them, which mainly consist of multivariate time-series obtained with many sensors. This work focuses on challenges in practical analyses of those sensor data: temporal unevenness and sparseness. To handle the unevenly and sparsely spaced multivariate time-series, this work presents a novel method, which roughly models temporal information that still remains in the data. The proposed model is a mixture model with dynamic hierarchical structure that considers dependency between temporally close batches of observations, instead of every single observation.

40. Naoya Takeishi, Takehisa Yairi, Yuichi Tsuda, Fuyuto Terui, Naoko Ogawa, Yuya Mimasu

    Simultaneous Estimation of Shape and Motion of an Asteroid for Automatic Navigation

    In Proceedings of the 2015 IEEE International Conference on Robotics and Automation, pp. 2861–2866, 2015

    Abs PDF Poster

    In an asteroid exploration and sample return mission, accurate estimation of the shape and motion of the target asteroid is essential for selecting a touchdown site and navigating a spacecraft during touchdown operation. In this work, we present an automatic estimation method for the shape and motion of an asteroid, which is planned to be tested in future exploration missions including Japanese Hayabusa-2 [1]. Our task is to estimate the shape and rotation axis of the asteroid, as well as positions of the spacecraft from optical images. The proposed method is based on the expectation conditional-maximization (ECM) framework that consists of an auxiliary particle filter and nonlinear optimization techniques. One of our technical contributions is the estimation of the direction of rotation axis of the asteroid from monocular camera images, which are taken by the moving spacecraft. We conducted two experiments with synthetic data and an asteroid mock-up to show the validity of the proposed method and to present the numerical accuracy.

41. Naoya Takeishi, Akira Tanimoto, Takehisa Yairi, Yuichi Tsuda, Fuyuto Terui, Naoko Ogawa, Yuya Mimasu

    Evaluation of Interest-Region Detectors and Descriptors for Automatic Landmark Tracking on Asteroids

    Transactions of the Japan Society for Aeronautical and Space Sciences, 58(1):45–53, 2015

    Abs

    The asteroid explorer Hayabusa-2, which is scheduled to be launched in 2014, is going to perform a global mapping mission after it arrives at the target asteroid. Although most of the global mapping sequence will be the same as that of its predecessor Hayabusa, several automation technologies are planned to be tested to reduce the workload of the operators. In particular, the structure from motion (SFM) and simultaneous localization and mapping (SLAM) techniques are expected to significantly contribute to the automation of asteroid shape estimation and visual spacecraft navigation. These frameworks require automatic landmark tracking on the asteroid surface, but no previous work has discussed the method that should be used to track images of the asteroid taken in space, where the absence of scattering light causes dramatic changes in appearance. In this study, we evaluated the performances of SIFT, SURF, BRISK, ORB, Harris-Affine, Hessian-Affine and MSER for images of the asteroid. We found that SIFT is acceptable for use, while SURF, BRISK and ORB can be used with careful parameter tuning. The affine-invariant detectors might contribute to more accurate tracking, but using them is more challenging owing to an extra normalizing process.

42. Naoya Takeishi, Takehisa Yairi

    Anomaly Detection from Multivariate Time-Series with Sparse Representation

    In Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, pp. 2651–2656, 2014

    Abs PDF

    Anomaly detection from sensor data is an important data mining application for efficient and secure operation of complicated systems. In this study, we propose a novel anomaly detection method for multivariate time-series to capture relationships of variables and time-domain correlations simultaneously, without assuming any generative models of signals. The supposed framework in this study is a semi-supervised anomaly detection where we seek unusual parts of test data compared with reference data. The proposed method is based on feature extraction with sparse representation and relationship learning with dimensionality reduction. Our idea comes from the similarity between a sparse feature matrix extracted from multivariate time-series and a term-document matrix. We conducted experiments with synthetic and simulated data, and confirmed that the proposed method successfully detected anomalies in multivariate time-series signals. Especially, it demonstrated superior performance with anomalies in which only relationships of time-series patterns are changed from reference data (multivariate anomalies).

43. Akira Tanimoto, Naoya Takeishi, Takehisa Yairi, Yuichi Tsuda, Fuyuto Terui, Naoko Ogawa, Yuya Mimasu

    Fast Estimation of Asteroid Shape and Motion for Spacecraft Navigation

    In Proceedings of the 2013 IEEE International Conference on Robotics and Biomimetics, pp. 1550–1555, 2013

    Abs

    In this paper, we consider fast simultaneous estimation problem of the geometric shape of the asteroid and the relative motion of the spacecraft. In asteroid exploration missions, the information of asteroid shape and motion is needed to find suitable landing sites and navigate the spacecraft safely. In the previous HAYABUSA mission, large part of the estimation was performed manually by ground operators. We propose an efficient automatic estimation method using the image feature matching and matrix decomposition based fast 3D reconstruction techniques. Preliminary experiment results are also shown.

会議・ワークショップ等での発表、テクニカルレポート、総論等

1. 武石 直也

   物理モデルと機械学習：深層学習時代の展開

   化学工学, 89(9):445–458, 2025
2. 松田 陸杜, 武石 直也, Samir Khan, 矢入 健久

   予測モデルおよび重み適応型モデル予測制御によるUAVの耐故障着陸制御

   第68回自動制御連合講演会, 名古屋, 2025

   Abs

   With the expanding utilization of unmanned aerial vehicles, the importance of ensuring their safety is increasing. In this paper, we propose an adaptive model predictive control scheme to address a wide range of faults by updating both the prediction model and cost function weights according to the degree of fault. Furthermore, we discuss the potential for a learning-based approach to automate weight adaptation, aiming to reduce design cost and complexity. Simulation results validate the effectiveness of the proposed scheme, while also highlighting the necessity and potential of a weight-learning approach.

3. 川口 隆人, 武石 直也, 矢入 健久, キッティサレス サリン, 吉田 裕志

   マルチエージェント深層強化学習を用いた倉庫内自動搬送ロボットの交通制御

   第43会日本ロボット学会学術講演会, 2025

   Abs

   本研究では、倉庫内の自動搬送ロボットに対し、ロボット同士の衝突やデッドロックを回避しつつ各ロボットの待機時間を最小化する信号制御を目的とする。仮想信号機を設置した倉庫環境を構築し、PPO(Proximal Policy Optimization)を用いたマルチエージェント深層強化学習により信号制御方策を学習させる。従来の経路計画手法と比較し、滑らかな交通流の実現可能性を検討する。

4. Phoebe Calista Lydwina, Takehisa Yairi, Naoya Takeishi

   Domain Randomization for Sim2Sim in 6 DoF Rendezvous-Docking

   In The 35th International Symposium on Space Technology and Science, Tokushima, 2025

   Abs

   Domain randomization is a technique to bridge domain gaps by varying scenarios in a simulated environment to achieve generalization. It is an approach that can be implemented for reinforcement learning-based control applications in the aerospace domain, which is safety-critical and must be robust against external perturbations. The issue arises as machine learning deployment does not guarantee convergence, hence it is prone to error and instability. Furthermore, when the algorithm is trained in a simulated domain, it can be especially tricky to reach generalization when transferred to another domain with an underlying domain gap. This paper proposes a strategy to test the adaptability and reliability of reinforcement learning-based control systems on a realistic scale by conducting Sim2Sim transfer between Simulink \textregistered, PyBullet, and MuJoCo, bridged with domain randomization. The experiment shows that domain randomization successfully reduces the simulation gap that exists between simulators for some states, backed with mean aggregation weights and bias ensemble generated from two different simulations from source domain to reach the best results.

5. 渡邉 由羽, 武石 直也, 堤 誠司, 矢入 健久

   深層学習による人工衛星熱数学モデルのパラメータ推論

   第39回人工知能学会全国大会 (JSAI), 大阪, 2025

   Abs

   人工衛星の熱設計において、搭載機器の温度を正確に予測するためには精度の良い熱数学モデルの構築が重要である。しかし、現在は熱数学モデルのパラメータを熱真空試験の結果に基づいて手動で調整しており、時間やコストがかかっている。本研究では深層学習によるシミュレーションに基づく推論(simulation-based inference; SBI)を活用してパラメータを自動調整し、精度向上や効率化を目指す。深層学習によるSBIとは、事前分布からサンプリングしたパラメータと、シミュレーションによって生成されたデータから深層生成モデルを学習し、尤度計算を行うことなく、観測データを再現するようなパラメータを推定する手法である。複雑で非線形なモデルにも対応することができる。また、パラメータの事後分布を推定するため、不確実性の定量的評価が可能になる。小型衛星モデルを使用した数値実験を行うことにより、この手法の有効性を検証することができた。

6. 平野 皓己, 武石 直也, 矢入 健久

   Neural CBFとConformal Predictionによる制御の確率的な安全性保証

   第39回人工知能学会全国大会 (JSAI), 大阪, 2025

   Abs

   非線形離散時間システムの制御で安全性を保証する新しい手法を提案する。この手法では、ニューラルネットワーク(NN)で学習したControl Barrier Functions（CBF）を使い、システムが安全状態を維持できるかを判断する。さらに、Conformal Prediction(CP)を活用し、CBFの予測値と真値の誤差を評価して、安全性を確率的に保証する。ポテンシャル法で経路計画を行ったロボットに対して本手法を適用し、デッドロックのような発生条件が定式化しにくい危険状態に対しても適用可能であり、CPによってシステムが安全状態を維持する確率を定量化できることを実証した。データ駆動型の制御設計と確率的安全性保証を組み合わせたこの手法は、制御システムの安全性向上に役立つ。

7. 大坂 光, 武石 直也, 矢入 健久

   モデル化誤差が顕著な状況における制御のためのダイナミクス学習

   第39回人工知能学会全国大会 (JSAI), 大阪, 2025

   Abs

   モデルベース制御において制御対象の正確なモデリングは非常に重要である．一方で運動方程式のような物理モデルには，モデル化誤差の影響で実挙動との間に乖離が生じることがあり，問題である．そこで制御対象の挙動に関する時系列データを活用し，機械学習モデルと物理モデルを組み合わせることでその乖離を補おうする手法がグレーボックスモデリングである．グレーボックスモデルの学習においては，特に物理モデルの中にも推定したいパラメータが含まれる問題設定において，ニューラルネットワークの働きに制約を課す正則化の必要性が主張されている．しかしながら，正則化の種類や強さがモデルの学習に与える効果に関しては知見が得られていない部分がある．そこで本研究では，運動方程式中のパラメータを同時に推定するグレーボックスモデリングにおける，適切な正則化の種類や大きさについて明らかにすることを目的として実験を行った．その結果，正則化の導入がパラメータの予測精度を向上させることに寄与すること，強い正則化を導入する場合は正則化手法として相関を用いるとロバスト性を確保できることなどが明らかになった．

8. Naoya Takeishi

   Learning Hybrid Models Combining Scientific Models and Machine Learning

   In Workshop on Functional Inference and Machine Intelligence, Naha, 2025

   (invited talk)

   Slides
9. 平野 皓己, 武石 直也, 矢入 健久

   未知の制約に対するニューラル制御バリア関数による安全性保証

   第27回情報論的学習理論ワークショップ (IBIS), さいたま, 2024

   Abs

   制御バリア関数を用いた制御は、システムが安全な状態を逸脱しないように制御入力を計算する手法である。従来の方法では、バリア関数の明示的な定式化が必要であったが、複雑なシステムでは困難である。そこで本研究では、シミュレーションを用いたデータ駆動型のアプローチで制御バリア関数を学習し、未知の制約条件下でも安全性を保証する手法を提案する。さらに、制御バリア関数の予測不確定性の定量化についても検討する。

10. 大坂 光, 武石 直也, 矢入 健久

    確率微分方程式の学習において物理モデルおよび正則化を導入する効果の検証

    第27回情報論的学習理論ワークショップ (IBIS), さいたま, 2024

    Abs

    確率微分方程式を学習することは確率システムの制御を構築する上で重要である．その際，物理モデルを組込むことでモデルの汎化性能やロバスト性向上が期待される．一方で訓練時に物理モデルの情報を効果的に活用するためには，ニューラルネットの出力に制約を加える正則化が必要であると考えられる．本研究では，物理モデルや正則化の導入が外挿性能や訓練データが少ない場合のモデル化性能向上に貢献するか，実験を行い検証する．

11. 武石 直也

    深層ハイブリッドモデルとその研究開発への適用にむけて

    第27回情報論的学習理論ワークショップ (IBIS), さいたま, 2024

    Abs

    機械学習モデルと数理モデルを組み合わせたハイブリッドモデルは、学習効率、外挿的予測性能、解釈性の向上などのために注目されてきた。深層学習が科学研究や技術開発でも活用されるなかで、深層ニューラルネットに基づくハイブリッドモデルが有用だと期待される。しかし、研究開発に用いるうえではパラメタの識別不可能性などの課題がある。本発表では、深層ハイブリッドモデルを適切に学習する方法について議論する。

12. 武石 直也

    機械学習と数理モデル：順問題と逆問題のデータ駆動型解法

    日本地震学会2024年度秋季大会, 新潟, 2024

    （招待講演）
13. Naoya Takeishi

    Learning Neural Observables for Koopman Operators

    In Workshop on Koopman Operators in Robotics, RSS 2024, Delft, 2024

    (invited talk)

    Slides
14. 武石 直也

    機械学習と科学モデル

    第38回人工知能学会全国大会 (JSAI), 浜松, 2024

    （招待講演）

    Code Slides
15. 大坂 光, リュー ジュンフイ, 武石 直也, 矢入 健久

    データと物理モデルを融合した確率的モデリングとその時空間データへの適用

    第38回人工知能学会全国大会 (JSAI), 浜松, 2024

    Abs

    シミュレーションや制御の構築において，対象の正確なモデルを得ることは不可欠である．中でもグレーボックスモデリングと呼ばれる手法は，物理モデルとデータを融合させることによって実世界の挙動に近いモデルを効率的に獲得することを目指したものである．また，モデリングにおいては得られたモデルの不確かさを評価することも重要である．本研究では，グレーボックスモデリングによって微分方程式を学習する手法を発展させ，出力の確率分布を予測する確率的グレーボックスモデルを提案した．これをプロセスノイズが含まれた時空間のシミュレーションデータに適用し，出力がガウス分布に従うと仮定した際の平均と分散を推定できることを示した．また物理情報を持たないデータ駆動型モデルと比較することによって，データが少ない場合に物理モデルを導入することが有効であることも示唆された．

16. 藤井 慶輔, 筒井 和詩, アトム スコット, 中原 啓, 武石 直也, 河原 吉伸

    実世界マルチエージェントの手本を用いた強化学習における適応的な行動の活用

    第38回人工知能学会全国大会 (JSAI), 浜松, 2024

    Abs

    実世界の生物学的マルチエージェントを強化学習でモデル化する場合、ソースとなる実世界のデータとターゲットとなる強化学習環境の間にドメインギャップがあるため、ターゲットダイナミクスを未知のソースダイナミクスに適応させることが必要である。そこで本研究では、実世界のdemonstrationから、マルチエージェント強化学習におけるドメイン適応のための方法として、ソースの行動をターゲットの行動に適応させた情報を教師として用いる強化学習手法を提案する。2対1の追跡-逃避や、サッカーの2対2および4対8などの限定的な状況において、ベースラインと比べてデータを模倣し、かつ報酬を獲得できるエージェントを学習したことを示した。

17. Naoya Takeishi

    Toward Bayesian Deep Grey-box Modeling

    In International Conference on Scientific Computing and Machine Learning, Kyoto & Online, 2024

    Abs

    Combining scientific models and deep neural networks (deep grey-box or hybrid modeling) is expected to be a promising strategy for building robust, partly interpretable, and data-adaptive models. This paper presents a preliminary study to develop a framework for learning deep grey-box models with uncertainty quantification via Bayesian inference of both scientific models and neural nets.

18. 武石 直也

    機械学習と科学モデルの融合

    第46回日本神経科学大会, 仙台, 2023

    （招待講演）
19. 武石 直也

    力学系の機械学習における事前知識活用の方法

    第25回情報論的学習理論ワークショップ (IBIS) 企画セッション, つくば, 2022

    （招待講演）

    Abs

    力学系の機械学習は、データをもとにした現象の予測・制御・解析等に有用である。その際（力学系に限らずとも同様だが）、対象の力学系に関する事前知識を帰納バイアスとして活用すれば予測性能や解釈性などを改善できると期待される。力学系に関する事前知識は、定性的な記述から微分方程式とその数値解法にいたるまで幅広い抽象度・形式で与えられ、それらをどのように機械学習で活用できるかは必ずしも明らかではない。本発表では、力学系の機械学習において様々な事前知識を活用する方法について、主に機械学習の方法論の観点から最近の動向を紹介する。また、関連する話題として、力学系に限らず数理モデル等のドメイン事前知識を機械学習で活用する方法についても触れる。

20. 岸本 政徳, 武石 直也, 黒田 佳樹, 西山 薫, 河原 吉伸, 廣島 雅人

    混合密度ネットワークを用いた消費電力量予測手法の開発

    令和4年 電気学会 電力・エネルギー部門大会, オンライン開催, 2022
21. Naoya Takeishi, Alexandros Kalousis

    Variational Autoencoder with Differentiable Physics Engine for Human Gait Analysis and Synthesis

    In Deep Generative Models and Downstream Applications Workshop, Online, 2021

    Abs Poster

    We address the task of learning generative models of human gait. As gait motion always follows the physical laws, a generative model should also produce outputs that comply with the physical laws, particularly rigid body dynamics with contact and friction. We propose a deep generative model combined with a differentiable physics engine, which outputs physically plausible signals by construction. The proposed model is also equipped with a policy network conditioned on each sample. We show an example of the application of such a model to style transfer of gait.

22. 武石 直也

    グレーボックス深層生成モデルの学習

    第24回情報論的学習理論ワークショップ (IBIS), オンライン開催, 2021

    Abs Slides

    深層生成モデル（本発表では特に変分オートエンコーダ）において、生成過程（デコーダ）がニューラルネットと事前知識によるモデル（例：物理的な支配法則）からなる場合を考える。そのようなグレーボックスモデルは学習効率や潜在変数の解釈性などの点で有利であるが、学習の際には、ニューラルネットが事前知識モデルを無視しないように注意する必要がある。本研究では両者のバランスをとって学習するための正則化法を提案する。

23. 藤井 慶輔, 武石 直也, 筒井 和詩, 藤岡 慧明, 西海 望, 田中 良弥, 福代 三華, 井出 薫, 河野 裕美, 依田 憲, 高橋 晋, 飛龍 志津子, 河原 吉伸

    生物集団の軌跡から相互作用の規則を学習するための拡張行動モデル

    第24回情報論的学習理論ワークショップ (IBIS), オンライン開催, 2021

    Abs

    生物集団の移動系列に内在する個体間の相互作用の規則を抽出することは様々な分野での課題である。本研究では、行動生態学のルールベース理論モデルを深層学習を用いた行動モデルへと拡張し、移動系列からグレンジャー因果（GC)を学習する枠組みを提案する。本手法は、時間変化するGCの解釈可能な符号を提供できる。特定の個体が近づいたり離れたりする現象を例とし、合成データでの検証と、様々な生物集団への応用を示す。

24. 鈴木 崇平, 武石 直也, 岸本 政徳, 吉谷 尚久, 沖野 健太, 河原 吉伸, 廣島 雅人

    機械学習による⼀般家庭の翌⽇消費電⼒予測⼿法の開発

    令和2年 電気学会 電力・エネルギー部門大会, オンライン開催, 2020
25. 鈴木 崇平, 武石 直也, 岸本 政徳, 吉谷 尚久, 沖野 健太, 河原 吉伸, 廣島 雅人

    一般家庭における消費電力予測手法の開発

    第34回人工知能学会全国大会 (JSAI), オンライン開催, 2020

    Abs

    わが国では2011年の東日本大震災を契機に脆弱性が表面化した中央集権型エネルギーシステムの見直しが進んでいる。特に、環境への配慮から再生可能エネルギーを活用した分散型エネルギーシステムへの転換が求められるようになり、一つの解法としてVPP(Virtual Power Plant)と呼ばれる構想が注目されている。2021年に国内に創設される需給調整市場に向けて、本研究は世帯別の消費電力の高精度な予測手法の開発を目的としている。一般家庭における消費電力予測は住人の生活リズムに起因する変動を捉えることが重要となるため、本論文ではデータサンプルの重み付けを考慮した自己回帰モデルを提案する。複数世帯から取得した30分粒度の電力時系列データを利用し、提案手法の有効性を確認した。

26. Naoya Takeishi

    Towards Intelligent Asteroid Exploration: Visual SLAM in Space

    In The 23rd SANKEN International Symposium, Awaji, Japan, 2020

    (invited talk)
27. 武石 直也, 河原 吉伸

    安定不変集合をもつ力学系の学習

    第23回情報論的学習理論ワークショップ (IBIS), オンライン開催, 2020

    Abs Slides

    データから力学系を学習するとき、事前知識に応じて安定不変集合の存在を保証したいことがある。例えば、対象が自励振動を示す場合には安定なリミットサイクルをもったモデルを学習したい。しかし、既存の方法では不変集合の一種である（有限個の）平衡点しか扱えない。そこで本稿では、リミットサイクルなどを含む一般の安定不変集合の存在を保証する力学系モデルを提案する。このモデルはニューラルネットなどで実装できる。

28. 藤井 慶輔, 武石 直也, 河原 吉伸, 武田 一哉

    複数人のモデリングのための部分観測と力学的制約を伴う分散型方策学習

    第23回情報論的学習理論ワークショップ (IBIS), オンライン開催, 2020

    Abs

    実世界の生物集団行動のルールを抽出する際には、モデルの生物学的妥当性と解釈可能性を考慮する必要がある。本研究では従来のデータ駆動モデルの多くが無視しがちな、部分観測と力学的制約を組込んだ分散型の系列生成モデルを提案する。本問題を分散型模倣学習問題として定式化し、力学的罰則を加えた階層型変分RNNに基づく分散型部分観測方策モデルとして実装して、バスケットボールとサッカーのデータを用いて有効性を示す。

29. 武石 直也

    再構成誤差のシャープレイ値による異常検知の説明

    第22回情報論的学習理論ワークショップ (IBIS), 名古屋, 2019

    Abs Poster

    異常検知のプラクティスとして，正常データに対して生成モデルを学習し，その再構成誤差を監視することがある．このとき，どの変数が異常なのかを知るために各変数の再構成誤差を比較することがよくある．しかし，異常な変数の再構成誤差だけが常に大きくなるとは限らない．そこで本稿では，シャープレイ値を用いて異常変数の説明を行うことを提案する．特に，各変数が独立とみなせない場合にシャープレイ値を計算する方法を示す．

30. 藤井 慶輔, 武石 直也, 河原 吉伸

    観測量間の動的構造を抽出するグラフ動的モード分解と集団スポーツデータへの応用

    第22回情報論的学習理論ワークショップ (IBIS), 名古屋, 2019

    Abs

    構成要素が相互作用し複雑な動きを見せる集団運動を理解することは、物理学や生物学などにおいて重要な問題である。本発表では、集団運動などにおける観測量間の動的構造を抽出する、グラフ動的モード分解を紹介する。隣接行列系列を時間ダイナミクスとその係数である空間モードに分解することにより、データ駆動的にグラフ力学系の理解を可能にする。その応用例として、集団スポーツの選手集団の動きを分類する方法を紹介する。

31. Keisuke Fujii, Naoya Takeishi, Yoshinobu Kawahara

    Interpretable Classification of Complex Collective Motions Using Graph Dynamic Mode Decomposition

    In Workshop on Machine Learning for Trajectory, Activity, and Behavior, Nagoya, Japan, 2019
32. 武石 直也

    時変動的モード分解

    第33回人工知能学会全国大会 (JSAI), 新潟, 2019

    Abs Slides

    本稿では，データに基づく力学系のモード分解手法を提案する．提案する手法は動的モード分解（dynamic mode decomposition, DMD）の発展として位置付けることができ，DMDの応用場面（高次元時系列データの理解，制御器の設計，信号処理など）においてより適切な分析を可能にすると期待される．通常のDMDでは各モードに時間変化しない減衰率や振動数が与えられる一方，提案する手法では時間変化する減衰率や振動数をもつモードへの分解を行うことを目的としている．本稿では，提案する手法が時間変化する力学系のモード分解を行えることを予備的な実験結果とともに示す．

33. 鈴木 透馬, 矢入 健久, 武石 直也, 津田 雄一, 尾川 順子

    画像列を用いた小惑星形状・探査機相対運動の逐次推定

    第33回人工知能学会全国大会 (JSAI), 新潟, 2019

    Abs

    小惑星探査ミッションでは探査機を精密に誘導したり，安全に小惑星に着陸させるために小惑星の詳細な形状と運動を把握するグローバルマッピングと呼ばれる作業が不可欠であるが，それらの情報はミッション開始段階では未知なことがほとんどであり，宇宙航空研究開発機構による「はやぶさ」，「はやぶさ２」プロジェクトでは人間が手動で画像を解析し小惑星の形状や探査機の姿勢の推定を行った．これらの作業は多大な人的資源及び時間を消費するものであるため，これらの作業の自動化は強く望まれている． 本研究ではグローバルマッピングの自動化に関する新たなアプローチを提案することを目的としている．提案手法では一度に最適化するパラメタの数を大幅に削減し，小惑星の剛体制約を用いることで，従来手法に比べ精度を多少落としながらも少ない計算資源で高速に大規模な点群を推定するものとなっている．提案手法の有効性を示すために小惑星探査機「はやぶさ２」が撮影した小惑星「リュウグウ」の複数の画像列を用いて実験を行った．実験の結果，本手法のアプローチが有効であることを確認した

34. 武石 直也

    知識グラフによる生成モデル学習の正則化

    第21回情報論的学習理論ワークショップ (IBIS), 札幌, 2018

    Abs Poster

    データを生成したシステムに関する知識を知識グラフの形で記述できることがある。例えば、工場のセンサデータに関して、センサが取り付けられた機器同士の関係性をグラフとして記述できる。そのようなデータに対する確率的生成モデルの学習において、知識グラフを事前情報として利用したい。ここでは、間接的な知識を含む情報を活用するために、知識グラフの連続値埋め込みを学習の正則化に利用する方法を議論する。

35. Naoya Takeishi, Kosuke Akimoto

    Knowledge-Based Distant Regularization in Learning Probabilistic Models

    In The 8th International Workshop on Statistical Relational AI, Stockholm, Sweden, 2018

    Abs arXiv ver.

    Exploiting the appropriate inductive bias based on the knowledge of data is essential for achieving good performance in statistical machine learning. In practice, however, the domain knowledge of interest often provides information on the relationship of data attributes only distantly, which hinders direct utilization of such domain knowledge in popular regularization methods. In this paper, we propose the knowledge-based distant regularization framework, in which we utilize the distant information encoded in a knowledge graph for regularization of probabilistic model estimation. In particular, we propose to impose prior distributions on model parameters specified by knowledge graph embeddings. As an instance of the proposed framework, we present the factor analysis model with the knowledge-based distant regularization. We show the results of preliminary experiments on the improvement of the generalization capability of such model.

36. 武石 直也, 秋元 康佑

    潜在変数モデルとナレッジグラフ埋め込みの融合

    第32回人工知能学会全国大会 (JSAI), 鹿児島, 2018

    Abs Poster

    本稿では、ナレッジグラフの形の事前知識を潜在変数モデルに活用するための方法論を提案する。提案手法はtwo-viewモデリングによる潜在変数モデルの拡張であり、潜在変数モデルのパラメタや潜在変数がナレッジグラフ埋め込みのための確率モデルと共有される。一例として、確率的主成分分析にナレッジグラフを組み合わせる手法を示す。また、予備的な実験の結果も示す。

37. 土肥 宏太, 武石 直也, 矢入 健久, 堀 浩一

    動的モード分解を用いた音響データの異常検知

    第32回人工知能学会全国大会 (JSAI), 鹿児島, 2018

    Abs

    計測機器やコンピュータの発達によって大量の観測点を設けてデータを得ることが可能になり、高次元データを分析する手法が重要性を増している。動的モード分解(Dynamic Mode Decomposition, DMD)は近年注目されているデータ駆動型の手法で、データから動的構造を抽出する手法である。本研究では、DMDを用いて異常音と正常音を含む回転機の音響データの分析を行った。音響データのスペクトル分布に対してDMDを適用し、スペクトル分布の動的構造を分析した。異常音のスペクトル分布において、正常音のスペクトル分布におけるよりも減衰構造が支配的になる傾向があることがわかった。

38. Chun Fui Liew, Danielle DeLatte, Naoya Takeishi, Takehisa Yairi

    Recent Developments in Aerial Robotics: A Survey and Prototypes Overview

    arXiv:1711.10085

    Abs

    In recent years, research and development in aerial robotics (i.e., unmanned aerial vehicles, UAVs) has been growing at an unprecedented speed, and there is a need to summarize the background, latest developments, and trends of UAV research. Along with a general overview on the definition, types, categories, and topics of UAV, this work describes a systematic way to identify 1,318 high-quality UAV papers from more than thirty thousand that have been appeared in the top journals and conferences. On top of that, we provide a bird’s-eye view of UAV research since 2001 by summarizing various statistical information, such as the year, type, and topic distribution of the UAV papers. We make our survey list public and believe that the list can not only help researchers identify, study, and compare their work, but is also useful for understanding research trends in the field. From our survey results, we find there are many types of UAV, and to the best of our knowledge, no literature has attempted to summarize all types in one place. With our survey list, we explain the types within our survey and outline the recent progress of each. We believe this summary can enhance readers’ understanding on the UAVs and inspire researchers to propose new methods and new applications.

39. 武石 直也, 河原 吉伸, 矢入 健久

    動的モード分解のためのKoopman不変空間学習

    第20回情報論的学習理論ワークショップ (IBIS), 東京, 2017

    Abs

    Koopman作用素に基づく力学系のモード分解は時系列データの分析、次元削減、特徴抽出等に幅広く利用されている。その計算手法として動的モード分解（dynamic mode decomposition, DMD）がよく用いられるが、非線形性の強い力学系ではデータの非線形変換が必要となる。本研究では、Koopman作用素に対して不変な関数空間を学習することでデータだけに基づく非線形DMDを実現する。

40. Taichi Kitamura, Naoya Takeishi, Takehisa Yairi, Koichi Hori

    Abnormal Sound Detection for Rotary Parts in Noisy Environment by One-Class SVM and Non-Negative Matrix Factorization

    In Asia Pacific Conference of the Prognostics and Health Management Society, Jeju, Korea, 2017

    Abs

    In this paper, we introduce a data-driven method for detecting abnormal sound from rotary machines, which is due to small scratches on the surface of bearings, in a manufacturing plant. Since it is difficult to obtain a sufficient amount of anomalous data beforehand, we assume only normal data are available for training a model. The challenge in our situation is the presence of high-level ambient noise, which makes detecting small anomalous sound very hard. In the proposed method, feature vectors are extracted by applying short-time Fourier transform, and one-class SVM is trained on normal data and used to discriminate normal and anomalous data. In addition, ambient noise is removed using nonnegative matrix factorization before extracting features to overcome the problem of noise superimposition and to improve the discrimination precision. We show the results of an experiment using actual sound data obtained from rotary machines with ambient noise.

41. Riku Sasaki, Naoya Takeishi, Takehisa Yairi, Koichi Hori, Kazunari Ide, Hiroyoshi Kubo

    A Health Monitoring Method for Wind Power Generators With Hidden Markov and Probabilistic Principal Components Analysis Models

    In Asia Pacific Conference of the Prognostics and Health Management Society, Jeju, Korea, 2017

    Abs

    In this work, we propose a data-driven health monitoring method for wind power generators, which learns an empirical model from the time-series sensor data and detects irregularities or faults in the turbines and blades. Our main objective is to predict any symptoms of faults as early as possible before the generators fall into malfunction. The data obtained from the wind power generators are strongly correlated multidimensional time-series with multiple states. In this study, we take such features into account and develop the probabilistic model for them, namely, hidden Markov and probabilistic principal component analysis. Once the model is learned with the data that contain no faulty events, it can be used to detect faults in new data by comparing the original sensor values and reconstructed ones. In this research, we apply this method to synthetic data and real-world wind turbine data and show the results of experiments to confirm the availability of the proposed method.

42. 武石 直也, 河原 吉伸, 矢入 健久

    ベイズ的動的モード分解

    第31回人工知能学会全国大会 (JSAI), 名古屋, 2017

    Abs Slides

    動的モード分解（dynamic mode decomposition、DMD）は非線形力学系から得られた時系列データを解析する方法として注目されている。本研究では、DMDを確率的・ベイズ的に拡張し、観測ノイズの考慮、事後分布推論、自動モード数選択、混合モデル拡張などの適用例を示す。

43. 秋元 康佑, 武石 直也, 堀 浩一, 矢入 健久

    Markov logic networkを事前分布に持つ潜在変数モデルの検討

    第31回人工知能学会全国大会 (JSAI), 名古屋, 2017

    Abs

    Markov logic networkは一階述語論理の論理式により構成される知識ベースをマルコフ確率場に変換し、知識ベースに基づく確率的な推論を行う手法である。本研究ではより漠然とした概念を含む知識に対応するため、このモデルを潜在変数モデルと組み合わせることにより各述語の取る真理値をあらかじめ既知と仮定せず、連続的な変数から確率的に推論できるように拡張できないかを検討した。

44. Naoya Takeishi, Takehisa Yairi

    Dynamic Visual Simultaneous Localization and Mapping for Asteroid Exploration

    In The 13th International Symposium on Artificial Intelligence, Robotics and Automation in Space, Beijing, P.R.China, 2016

    Abs PDF

    In asteroid explorations, it is indispensable to estimate the shape of the target asteroid, which can be solved in a manner similar to one of simultaneous localization and mapping (SLAM). This work proposes a SLAM framework dedicated to the asteroid exploration, which considers both rigid body dynamics of the asteroid and motion of the spacecraft, estimating asteroid’s shape, centroid, rotational axis, angular velocity and phase, as well as spacecraft’s attitude and position relative to the asteroid. Experimental results with artificially generated data show that the proposed method can accurately estimate these quantities using images of a monocular camera and measurements of attitude and inertia sensors.

45. Kosuke Akimoto, Naoya Takeishi, Takehisa Yairi, Koichi Hori, Naoki Nishimura, Noboru Takata

    Tree-Based Nonparametric Prediction of Normal Sensor Measurement Range Using Temporal Information

    In The 13th International Symposium on Artificial Intelligence, Robotics and Automation in Space, Beijing, P.R.China, 2016

    Abs PDF

    Currently, limit-checking on telemetry sensor data of a spacecraft is widely used to detect its faults and anomalous behavior. Since classical limit-checking usually considers only a priori fixed pair of upper and lower bounds for each sensor variable, it sometimes fails to detect phenomena that are anomalous only in certain operating modes. To handle this problem, we present a method to predict normal ranges of sensor measurements adaptively based on status variables of telemetry data and temporal information. In the proposed method, a regression tree is learned using status variables, and each data point is labeled according to the terminal node of the tree it reached. Three new temporal features are generated from the sequence of the label, and a quantile regression forest is learned using both status variables and the generated features. Normal ranges are calculated from approximate distribution predicted using the quantile regression forest. We apply this method to actual telemetry data with simulated anomalies, and confirmed that the proposed method can detect temporal anomalies with a lower false alarm rate than the previous method.

46. 武石 直也

    混合確率的動的モード分解

    第19回情報論的学習理論ワークショップ (IBIS), 京都, 2016
47. 武石 直也, 矢入 健久

    工学システムの間欠的センサデータのための動的混合モデル

    第30回人工知能学会全国大会 (JSAI), 北九州, 2016
48. 秋元 康佑, 武石 直也, 矢入 健久, 堀 浩一, 西村 尚樹, 高田 昇

    アンサンブル木学習によるノンパラメトリックなセンサー値正常範囲推定

    第30回人工知能学会全国大会 (JSAI), 北九州, 2016
49. 武石 直也, 矢入 健久

    小惑星探査における画像からの天体形状・運動および探査機位置姿勢の推定

    計測自動制御学会 システム・情報部門 学術講演会 (SSI), 函館, 2015
50. 武石 直也, 根本 啓史, 矢入 健久, 津田 雄一, 照井 冬人, 尾川 順子, 三桝 裕也

    小惑星画像のための三次元形状復元手法の検討

    第59回宇宙科学技術連合講演会, 鹿児島, 2015
51. 武石 直也, 矢入 健久

    センサデータとテキスト運用記録を活用した宇宙機運用支援

    第29回人工知能学会全国大会 (JSAI), 函館, 2015
52. 武石 直也, 矢入 健久

    連続離散混在データに対する潜在変数モデルを用いた異常検知

    第17回情報論的学習理論ワークショップ (IBIS), 名古屋, 2014
53. 武石 直也, 矢入 健久, 津田 雄一, 照井 冬人, 尾川 順子, 三桝 裕也

    局所画像特徴を利用した小惑星形状復元および画像航法の一手法の検討

    第58回宇宙科学技術連合講演会, 長崎, 2014
54. 矢入 健久, 武石 直也, 櫻田 麻由, 西村 尚樹, 中島 佑太, 関川 知里, 井上 浩一, 高田 昇

    SDS-4運用における学習型テレメトリ監視システムの構築(1) ― アルゴリズムと実装 ―

    第58回宇宙科学技術連合講演会, 長崎, 2014
55. 西村 尚樹, 中島 佑太, 関川 知里, 井上 浩一, 高田 昇, 矢入 健久, 武石 直也, 櫻田 麻由

    SDS-4運用における学習型テレメトリ監視システムの構築(2) ― 運用システムによる検証と評価 ―

    第58回宇宙科学技術連合講演会, 長崎, 2014
56. 武石 直也, 矢入 健久, 佐藤 守一, 田川 貴章

    時系列パターン監視による自動車応答特性の変化検知

    第28回人工知能学会全国大会 (JSAI), 松山, 2014
57. Naoya Takeishi

    Automatic Landmark Recognition for Asteroid by Image Features

    In The 29th International Symposium on Space Technology and Science, Nagoya, Japan, 2013

    Abs

    In exploration missions of asteroids, we have to recognize visual signatures (landmarks) on an asteroid’s surface to estimate the geometric shape of the asteroid and the relative position of the spacecraft. This recognition process was conducted manually in the mission of MUSES-C (Hayabusa), and it required a tremendous amount of time and efforts. The purpose of our work is to develop an automatic landmark recognition system. We used scale invariant feature transform, random sampling consensus, graph model of keypoint-match and relative position of keypoint-pair on rigid body. The system succeeded in recognizing landmarks on the asteroid’s surface automatically within experimental images, while there was a little erroneous recognition. The error rate of recognition was about 2 percent. The landmarks detected with this system can be used to reconstruct the solid shape of the asteroid through techniques called structure from motion or simultaneous localization and mapping. Moreover, since some of the landmarks were easy for human operators to recognize, this system might be linked to the previous manual system.

58. 小田 哲生, 塩井 宏亮, 谷本 啓, 武石 直也, 桑原 絢一, 矢入 健久, 酒匂 信匡

    小型衛星向け知的テレメトリデータ監視システムの開発

    第27回人工知能学会全国大会 (JSAI), 富山, 2013
59. 谷本 啓, 武石 直也, 矢入 健久, 津田 雄一, 照井 冬人, 尾川 順子, 三桝 裕也

    観測画像列からの小惑星形状と相対運動の同時推定

    第27回人工知能学会全国大会 (JSAI), 富山, 2013