34 citations · 62 across the 13 of their papers we have counts for
13 papers
Equivalence Between Continuous-Time Risk-Sensitive Control and Rényi Divergence Minimization
Shinji Kataoka, Kaoru Teranishi, Yasumasa Fujisaki
In this study, we show that a continuous-time risk-sensitive control problem is equivalent to a Rényi divergence minimization problem over trajectory path measures. Reformulating s…
Encrypted Visual Feedback Control Using RLWE-Based Cryptosystem
Taichi Ikezaki, Kaoru Teranishi
This study proposes an encrypted visual feedback control algorithm for regulating a one-dimensional stage using Ring Learning With Errors (RLWE) encryption. The proposed algorithm…
A Distributionally Robust Optimal Control Approach for Differentially Private Dynamical Systems
Yeongjun Jang, Kaoru Teranishi, Junsoo Kim
In this paper, we develop a distributionally robust optimal control approach for differentially private dynamical systems, enabling a plant to securely outsource control computatio…
Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control
Kaoru Teranishi
In this study, we propose a two-party computation protocol for approximate matrix multiplication of fixed-point numbers. The proposed protocol is provably secure under standard lat…
Secure Motion-Copying via Homomorphic Encryption
Haruki Takanashi, Kaoru Teranishi, Kiminao Kogiso
This study aims to develop an encrypted motion-copying system using homomorphic encryption for secure motion preservation and reproduction. A novel concept of encrypted motion-copy…
Encrypted Simultaneous Control of Joint Angle and Stiffness of Antagonistic Pneumatic Artificial Muscle Actuator by Polynomial Approximation
Yuta Takeda, Takaya Shin, Kaoru Teranishi +1
This study proposes an encrypted simultaneous control system for an antagonistic pneumatic artificial muscle (PAM) actuator toward developing a cybersecure and flexible actuator. F…
Optimal Security Parameter for Encrypted Control Systems Against Eavesdropper and Malicious Server
Kaoru Teranishi, Kiminao Kogiso
A sample identifying complexity and a sample deciphering time have been introduced in a previous study to capture an estimation error and a computation time of system identificatio…
Cyber-Secure Teleoperation With Encrypted Four-Channel Bilateral Control
Haruki Takanashi, Akane Kosugi, Kaoru Teranishi +3
This study developed an encrypted four-channel bilateral control system that enables posture synchronization and force feedback for leader and follower robot arms. The encrypted bi…
Optimal Controller and Security Parameter for Encrypted Control Systems Under Least Squares Identification
Kaoru Teranishi, Kiminao Kogiso
Encrypted control is a framework for the secure outsourcing of controller computation using homomorphic encryption that allows to perform arithmetic operations on encrypted data wi…
Towards Provably Secure Encrypted Control Using Homomorphic Encryption
Kaoru Teranishi, Kiminao Kogiso
Encrypted control is a promising method for the secure outsourcing of controller computation to a public cloud. However, a feasible method for security proofs of control has not ye…
Sample Identifying Complexity of Encrypted Control Systems Under Least Squares Identification
Kaoru Teranishi, Kiminao Kogiso
A sample identifying complexity has been introduced in the previous study to capture an adversary's estimation error of system identification. The complexity plays a crucial role i…
Input-Output History Feedback Controller for Encrypted Control with Leveled Fully Homomorphic Encryption
Kaoru Teranishi, Tomonori Sadamoto, Kiminao Kogiso
Protecting the parameters, states, and input/output signals of a dynamic controller is essential for securely outsourcing its computation to an untrusted third party. Although a fu…
Designing Optimal Key Lengths and Control Laws for Encrypted Control Systems based on Sample Identifying Complexity and Deciphering Time
Kaoru Teranishi, Tomonori Sadamoto, Aranya Chakrabortty +1
In the state-of-the-art literature on cryptography and control theory, there has been no systematic methodology of constructing cyber-physical systems that can achieve desired cont…