Hampei Sasahara

Masaaki Nagahara, Hampei Sasahara, Kazunori Hayashi et al.

In this article, we propose sampled-data H-infinity design of digital filters that cancel the continuous-time effect of coupling waves in a single-frequency full-duplex relay station. In this study, we model a relay station as a continuous-time system while conventional researches treat it as a discrete-time system. For a continuous-time model, we propose digital feedforward and feedback cancelers based on the sampled-data control theory to cancel coupling waves taking intersample behavior into account. Simulation results are shown to illustrate the effectiveness of the proposed method.

Taira Kaminaga, Hampei Sasahara

Matrix ellipsoids provide a standard framework for representing bounded uncertainties in data-driven control. Since noise models for sequential observations are naturally represented as the Minkowski sum of multiple matrix ellipsoids, applying existing robust control methods, which typically assume a single ellipsoidal set, requires a tight outer approximation. While techniques based on linear matrix inequalities (LMI) are applicable, their computational cost grows quadratically with the data length, limiting their scalability. This paper investigates the optimal outer approximation problem under two criteria: the sum of squared semi-axes and the volume. We propose an LMI-free approach by introducing a parameterized family of bounding matrix ellipsoids. Specifically, we derive an exact analytical solution for the first criterion and develop an efficient majorization-minimization (MM) algorithm for the second. The proposed MM algorithm employs a first-order approximation of the log-determinant function to provide closed-form update rules, ensuring monotonic convergence to the set of stationary points. Numerical experiments demonstrate that our method offers significantly higher computational efficiency and scalability than standard interior-point solvers.

Hampei Sasahara

This study explores the vulnerability of direct data driven control, particularly in the linear quadratic regulator (LQR) problem, to adversarial perturbations in offline collected data. We focus on stealthy attacks that subtly alter training data to destabilize the closed-loop system while evading detection. To craft such attacks, we propose Directed Gradient Sign Method (DGSM) and its iterative variant (I-DGSM), which adapt techniques from adversarial machine learning to align perturbations with the gradient of the closed-loop spectral radius. A key technical contribution is an efficient and exact gradient computation method using implicit differentiation through the Karush-Kuhn-Tucker conditions of the underlying semidefinite program. For defense, we introduce two strategies: (i) regularization to reduce controller sensitivity, and (ii) robust data-driven control that ensures stability under bounded perturbations. Experiments across benchmark systems reveal that even imperceptibly small perturbations, up to ten times smaller than random noise, can lead to instability, while the proposed defenses significantly reduce attack success rates with minimal performance loss. We also assess transferability under partial knowledge, demonstrating the importance of protecting training data. This work highlights critical security risks in data driven control and proposes practical methods for both attack and defense.

Taira Kaminaga, Hampei Sasahara

Data informativity provides a theoretical foundation for determining whether collected data are sufficiently informative to achieve specific control objectives in data-driven control frameworks. In this study, we investigate the data informativity subject to noise characterized by quadratic matrix inequalities (QMIs), which describe constraints through matrix-valued quadratic functions. We introduce a generalized noise model, referred to as data perturbation, under which we derive necessary and sufficient conditions formulated as tractable linear matrix inequalities for data informativity with respect to stabilization and performance guarantees via state feedback, as well as stabilization via output feedback. Our proposed framework encompasses and extends existing analyses that consider exogenous disturbances and measurement noise, while also relaxing several restrictive assumptions commonly made in prior work. A central challenge in the data perturbation setting arises from the non-convexity of the set of systems consistent with the data, which renders standard matrix S-procedure techniques inapplicable. To resolve this issue, we develop a novel matrix S-procedure that does not rely on convexity of the system set by exploiting geometric properties of QMI solution sets. Furthermore, we derive sufficient conditions for data informativity in the presence of multiple noise sources by approximating the combined noise effect through the QMI framework. The proposed results are broadly applicable to a wide class of noise models and subsume several existing methodologies as special cases.

Hampei Sasahara

This study treats transmission scheduling for remote state estimation over unreliable channels with a hidden mode. A local Kalman estimator selects scheduling actions, such as power allocation and resource usage, and communicates with a remote estimator based on acknowledgement feedback, balancing estimation performance and communication cost. The resulting problem is naturally formulated as a partially observable Markov decision process (POMDP). In settings with observable channel modes, it is well known that monotonicity of the value function can be established via investigating order-preserving property of transition kernels. In contrast, under partial observability, the transition kernels generally lack this property, which prevents the direct application of standard monotonicity arguments. To overcome this difficulty, we introduce a novel technique, referred to as state-space folding, which induces transformed transition kernels recovering order preservation on the folded space. This transformation enables a rigorous monotonicity analysis in the partially observable setting. As a representative implication, we focus on an associated optimal stopping formulation and show that the resulting optimal scheduling policy admits a threshold structure.

Taira Kaminaga, Hampei Sasahara

Assessing data informativity, determining whether the measured data contains sufficient information for a specific control objective, is a fundamental challenge in data-driven control. In noisy scenarios, existing studies deal with system noise and measurement noise separately, using quadratic matrix inequalities. Moreover, the analysis of measurement noise requires restrictive assumptions on noise properties. To provide a unified framework without any restrictions, this study introduces data perturbation, a novel notion that encompasses both existing noise models. It is observed that the admissible system set with data perturbation does not meet preconditions necessary for applying the key lemma in the matrix S-procedure. Our analysis overcomes this limitation by developing an extended version of this lemma, making it applicable to data perturbation. Our results unify the existing analyses while eliminating the need for restrictive assumptions made in the measurement noise scenario.

Hampei Sasahara, Henrik Sandberg

This paper addresses the question whether model knowledge can guide a defender to appropriate decisions, or not, when an attacker intrudes into control systems. The model-based defense scheme considered in this study, namely Bayesian defense mechanism, chooses reasonable reactions through observation of the system's behavior using models of the system's stochastic dynamics, the vulnerability to be exploited, and the attacker's objective. On the other hand, rational attackers take deceptive strategies for misleading the defender into making inappropriate decisions. In this paper, their dynamic decision making is formulated as a stochastic signaling game. It is shown that the belief of the true scenario has a limit in a stochastic sense at an equilibrium based on martingale analysis. This fact implies that there are only two possible cases: the defender asymptotically detects the attack with a firm belief, or the attacker takes actions such that the system's behavior becomes nominal after a finite time step. Consequently, if different scenarios result in different stochastic behaviors, the Bayesian defense mechanism guarantees the system to be secure in an asymptotic manner provided that effective countermeasures are implemented. As an application of the finding, a defensive deception utilizing asymmetric recognition of vulnerabilities exploited by the attacker is analyzed. It is shown that the attacker possibly stops the attack even if the defender is unaware of the exploited vulnerabilities as long as the defender's unawareness is concealed by the defensive deception.

Hampei Sasahara, Henrik Sandberg

This study investigates general model-based incident handler's asymptotic behaviors in time against cyber attacks to control systems. The attacker's and the defender's dynamic decision making is modeled as an equilibrium of a dynamic signaling game. It is shown that the defender's belief on existence of an attacker converges over time for any attacker's strategy provided that the stochastic dynamics of the control system is known to the defender. This fact implies that the rational behavior of the attacker converges to a harmless action as long as the defender possesses an effective counteraction. The obtained result supports the powerful protection capability achieved by model-based defense mechanisms.

Hampei Sasahara, Henrik Sandberg

This study provides a model of cyber deception with asymmetric recognition represented by private beliefs. Signaling games, which are often used in existing works, are built on the implicit premise that the receiver's belief is public information. However, this assumption, which leads to symmetric recognition, is unrealistic in adversarial decision making. For a precise evaluation of risks arising from cognitive gaps, this paper proposes epistemic signaling games based on the Mertens-Zamir model, which explicitly quantifies players' asymmetric recognition. Equilibria of the games are analytically characterized with an interpretation.

Takayuki Ishizaki, Takahiro Kawaguchi, Hampei Sasahara et al.

In this paper, we develop a retrofit control method with approximate environment modeling. Retrofit control is a modular control approach for a general stable network system whose subsystems are supposed to be managed by their corresponding subsystem operators. From the standpoint of a single subsystem operator who performs the design of a retrofit controller, the subsystems managed by all other operators can be regarded as an environment, the complete system model of which is assumed not to be available. The proposed retrofit control with approximate environment modeling has an advantage that the stability of the resultant control system is robustly assured regardless of not only the stability of approximate environment models, but also the magnitude of modeling errors, provided that the network system before implementing retrofit control is originally stable. This robustness property is practically significant to incorporate existing identification methods of unknown environments, because the accuracy of identified models may neither be reliable nor assurable in reality. Furthermore, we conduct a control performance analysis to show that the resultant performance can be regulated by adjusting the accuracy of approximate environment modeling. The efficiency of the proposed retrofit control is shown by numerical experiments on a network of second-order oscillators.

Hampei Sasahara, Masaaki Nagahara, Kazunori Hayashi et al.

In this article, we consider the problem of loop-back interference suppression for orthogonal frequency division multiplexing (OFDM) signals in amplify-and-forward single-frequency full-duplex relay stations. The loop-back interference makes the system a closed-loop system, and hence it is important not only to suppress the interference but also to stabilize the system. For this purpose, we propose sampled-data $H^{\infty}$ design of digital filters that ensure the stability of the system and suppress the continuous-time effect of interference at the same time. Simulation results are shown to illustrate the effectiveness of the proposed method.

Hampei Sasahara, Masaaki Nagahara, Kazunori Hayashi et al.

In this article, we propose sampled-data design of digital filters that cancel the continuous-time effect of coupling waves in a single-frequency full-duplex relay station. In this study, we model a relay station as a continuoustime system while conventional researches treat it as a discrete-time system. For a continuous-time model, we propose digital feedback canceler based on the sampled-data H-infinity control theory to cancel coupling waves taking intersample behavior into account. We also propose robust control against unknown multipath interference. Simulation results are shown to illustrate the effectiveness of the proposed method.

Hampei Sasahara, Masaaki Nagahara, Kazunori Hayashi et al.

In this article, we propose a design method of selfinterference cancelers for wireless relay stations taking account of the baseband signal subspace. The problem is first formulated as a sampled-data $H^{\infty}$ control problem with a generalized sampler and a generalized hold, which can be reduced to a discretetime $\ell^2$-induced norm minimization problem. Taking account of the implementation of the generalized sampler and hold, we adopt the filter-sampler structure for the generalized sampler, and the uspampler-filter-hold structure for the generalized hold. Under these implementation constraints, we reformulate the problem as a standard discrete-time $H^{\infty}$ control problem by using the discrete-time lifting technique. A simulation result is shown to illustrate the effectiveness of the proposed method.

Hampei Sasahara, Masaaki Nagahara, Kazunori Hayashi et al.

In this manuscript, we propose a design method of digital filters which cancel coupling waves generated in single-frequency full-duplex wireless relay stations by using the sampled-data H-infinity control theory. Simulation results show effectiveness of the proposed method to communication performance from a base station to a terminal.