SEARCH

検索詳細

佐野 英樹
大学院システム情報学研究科 システム情報学専攻
教授

研究者基本情報

■ 学位
  • 博士（工学）, 慶応義塾大学
■ 研究キーワード
  • 半群
  • バックステッピング
  • 無駄時間系
  • 分布定数系
■ 研究分野
  • 自然科学一般 / 応用数学、統計数学

研究活動情報

■ 論文
  • Hideki Sano, Jeanne Redaud
    Elsevier BV, 2024年08月, Systems & Control Letters, 190, 105855 - 105855, 英語, 国際誌, 国際共著している
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Synchronization of chaotic hyperbolic PDE systems for image encryption using backstepping observer design
    Jeanne Redaud, Hideki Sano
    2024年06月, Proceedings of the 2024 European Control Conference, 376 - 381, 英語, 国際誌, 国際共著している
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Numerical analysis of a chaotic coupled hyperbolic PDE system for secure image encryption
    Jeanne Redaud, Hideki Sano
    2024年06月, IFAC-PapersOnLine 58-5 (Proceedings of the 7th IFAC Conference on Analysis and Control of Nonlinear Dynamics and Chaos), 138 - 143, 英語, 国際誌, 国際共著している
    [査読有り]
    研究論文（国際会議プロシーディングス）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano, Toshikazu Kuniya
    2023年09月, Automatica, 155, 111091 - 111091, 英語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano
    2023年07月, IFAC-PapersOnLine 56-2 (Proceedings of the 22nd IFAC World Congress), 9942 - 9947, 英語, 国際誌, 国際共著していない
    [査読有り]
    研究論文（国際会議プロシーディングス）
    神戸大学リポジトリ（Kernel）へのリンク

  • 集中系・分布系のカオス同期化を用いたRGB画像の秘匿通信
    佐野英樹, 原下友輔
    2023年06月, 計測自動制御学会論文集, 59(6) (6), 297 - 304, 日本語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Masashi Wakaiki, Takaharu Yaguchi
    Research Institute of Signal Processing, Japan, 2022年11月, Journal of Signal Processing, 26(6) (6), 147 - 158, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Masashi Wakaiki
    Informa UK Limited, 2022年09月, SICE Journal of Control, Measurement, and System Integration, 15(2) (2), 182 - 190, 英語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Observers for 2 x 2 hyperbolic systems with coupled nonlocal boundary condition
    Hideki Sano
    2022年05月, Proceedings of the 13th Asian Control Conference, 1250 - 1255, 英語, 国際共著していない
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Masashi Wakaiki, Hideki Sano

    <p style='text-indent:20px;'>This paper addresses the following question: "Suppose that a state-feedback controller stabilizes an infinite-dimensional linear continuous-time system. If we choose the parameters of an event/self-triggering mechanism appropriately, is the event/self-triggered control system stable under all sufficiently small nonlinear Lipschitz perturbations?" We assume that the stabilizing feedback operator is compact. This assumption is used to guarantee the strict positiveness of inter-event times and the existence of the mild solution of evolution equations with unbounded control operators. First, for the case where the control operator is bounded, we show that the answer to the above question is positive, giving a sufficient condition for exponential stability, which can be employed for the design of event/self-triggering mechanisms. Next, we investigate the case where the control operator is unbounded and prove that the answer is still positive for periodic event-triggering mechanisms.</p>

    American Institute of Mathematical Sciences (AIMS), 2022年03月, Mathematical Control and Related Fields, 12(1) (1), 245 - 273, 英語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Masashi Wakaiki
    Institute of Electrical and Electronics Engineers (IEEE), 2021年10月, IEEE Transactions on Automatic Control, 66(10) (10), 4982 - 4989, 英語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Yuhan Chen, Hideki Sano, Masashi Wakaiki, Takaharu Yaguchi
    In a secret communication system using chaotic synchronization, the communication information is embedded in a signal that behaves as chaos and is sent to the receiver to retrieve the information. In a previous study, a chaotic synchronous system was developed by integrating the wave equation with the van der Pol boundary condition, of which the number of the parameters are only three, which is not enough for security. In this study, we replace the nonlinear boundary condition with an artificial neural network, thereby making the transmitted information difficult to leak. The neural network is divided into two parts; the first half is used as the left boundary condition of the wave equation and the second half is used as that on the right boundary, thus replacing the original nonlinear boundary condition. We also show the results for both monochrome and color images and evaluate the security performance. In particular, it is shown that the encrypted images are almost identical regardless of the input images. The learning performance of the neural network is also investigated. The calculated Lyapunov exponent shows that the learned neural network causes some chaotic vibration effect. The information in the original image is completely invisible when viewed through the image obtained after being concealed by the proposed system. Some security tests are also performed. The proposed method is designed in such a way that the transmitted images are encrypted into almost identical images of waves, thereby preventing the retrieval of information from the original image. The numerical results show that the encrypted images are certainly almost identical, which supports the security of the proposed method. Some security tests are also performed. The proposed method is designed in such a way that the transmitted images are encrypted into almost identical images of waves, thereby preventing the retrieval of information from the original image. The numerical results show that the encrypted images are certainly almost identical, which supports the security of the proposed method.
    MDPI AG, 2021年07月, Entropy, 23(7) (7), 904 - 904, 英語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano
    Elsevier BV, 2021年05月, Automatica, 127, 109540 - 109540, 英語, 国際共著していない
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • 分布系のカオス同期化を用いた秘匿通信システム
    佐野英樹, 若生将史, 谷口隆晴
    2021年02月, 計測自動制御学会論文集, 57(2) (2), 78 - 85, 日本語
    [査読有り]

  • Event-triggered control of infinite-dimensional systems
    Masashi Wakaiki, Hideki Sano
    2020年02月, SIAM Journal on Control and Optimization, 58(2) (2), 605 - 635, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Sampled-data output regulation of well-posed infinite-dimensional systems with constant reference and disturbance signals
    Masashi Wakaiki, Hideki Sano
    2020年01月, Mathematics of Control, Signals, and Systems, 32(1) (1), 1 - 58, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 非局所境界条件に無駄時間を含む1階双曲型システムに対するオブザーバ：誤差システムのL2-安定性
    佐野 英樹, 若生 将史, 丸山 颯天
    2019年09月, 計測自動制御学会論文集, 55(9) (9), 582 - 584, 日本語
    [査読有り]
    研究論文（学術雑誌）

  • 佐野 英樹, 若生 将史
    2019年07月, Japan Journal of Industrial and Applied Mathematics, 36(2) (2), 325 - 355, 英語
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • 佐野 英樹, 若生 将史, 丸山 颯天
    2018年10月, IFAC-PapersOnLine 51-32 (Proceedings of the 17th IFAC Workshop on Control Applications of Optimization CAO'2018), 456 - 461, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • 佐野 英樹
    2018年09月, IEEE Transactions on Automatic Control, 63(9) (9), 3105 - 3111, 英語
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano, Shigeki Morimoto
    In this paper, we study the problem of stabilizing one-dimensional parabolic systems with input delay. Especially, we consider the case of “distributed control”. The purpose is to derive the stabilizing controller of predictor type in an abstract space, by using a backstepping method combined with the semigroup theory. The use of the semigroup theory makes the proof of continuity of the inverse transformation easy. Also, it is shown that the abstract controller can be actually implemented by using a finite number of eigenvalues and eigenfunctions of the system operator. Finally, a numerical simulation result is presented to demonstrate our design method.
    Springer Tokyo, 2018年07月, Japan Journal of Industrial and Applied Mathematics, 35(2) (2), 477 - 496, 英語
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano
    This paper is concerned with reduction of the order of finite-dimensional stabilizing controllers for a class of distributed parameter systems. Since the middle of the 1980s, the design method of finite-dimensional stabilizing controllers of Sakawa type has been generalized for a wider class of parabolic distributed parameter systems with boundary control and/or boundary observation. The controller of Sakawa type consists of two kinds of observers: one is an observer of Luenberger type and the other is an estimator for residual modes. Especially, the latter is called residual mode filter (RMF), and it plays an essential role in the design of finite-dimensional stabilizing controllers when the order of RMF is “sufficiently large”. The purpose of this paper is to propose the design method containing low order RMF. An approach based on stability radius is employed.
    Elsevier Ltd, 2018年06月, Automatica, 92, 49 - 55, 英語
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano
    This paper is concerned with the stability analysis of a distributed parameter circuit with dynamic boundary condition. The distributed parameter circuit is written by the telegrapher's equations whose boundary condition is described by an ordinary differential equation. First of all, it is shown that, for any physical parameters of the circuit, the system operator generates an exponentially stableC0-semigroup on a Hilbert space. However, it is not clear whether the decay rate of the semigroup is the most precise one. In this paper, the spectral analysis is conducted for the system satisfying the distortionless condition, and it is shown that the semigroup satisfies the spectrum determined growthcondition.
    Elsevier B.V., 2018年01月, Systems and Control Letters, 111, 34 - 39, 英語
    [査読有り]
    研究論文（学術雑誌）

  • H. Sano
    This paper concerns the H-infinity control problem of a coupled transport-diffusion system with Neumann boundary condition, related to parallel-flow heat exchange process. It is shown that, by using the previous approach for a single diffusion system, the H-infinity control problem can be solved by constructing a residual mode filter (RMF)-based controller which is of finite-dimension. A numerical simulation result is given to demonstrate the validity of the proposed method.
    POLSKA AKAD NAUK, POLISH ACAD SCI, DIV IV TECHNICAL SCIENCES PAS, 2017年02月, BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES, 65(1) (1), 11 - 19, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Toshikazu Kuniya, Hideki Sano
    Background: In mathematical epidemiology, age-structured epidemic models have usually been formulated as the boundary-value problems of the partial differential equations. On the other hand, in engineering, the backstepping method has recently been developed and widely studied by many authors. Methods: Using the backstepping method, we obtained a boundary feedback control which plays the role of the threshold criteria for the prediction of increase or decrease of newly infected population. Under an assumption that the period of infectiousness is same for all infected individuals (that is, the recovery rate is given by the Dirac delta function multiplied by a sufficiently large positive constant), the prediction method is simplified to the comparison of the numbers of reported cases at the current and previous time steps. Results: Our prediction method was applied to the reported cases per sentinel of influenza in Japan from 2006 to 2015 and its accuracy was 0.81 (404 correct predictions to the total 500 predictions). It was higher than that of the ARIMA models with different orders of the autoregressive part, differencing and moving-average process. In addition, a proposed method for the estimation of the number of reported cases, which is consistent with our prediction method, was better than that of the best-fitted ARIMA model ARIMA(1, 1, 0) in the sense of mean square error. Conclusions: Our prediction method based on the backstepping method can be simplified to the comparison of the numbers of reported cases of the current and previous time steps. In spite of its simplicity, it can provide a good prediction for the spread of influenza in Japan.
    BIOMED CENTRAL LTD, 2016年05月, THEORETICAL BIOLOGY AND MEDICAL MODELLING, 13(1) (1), 英語
    [査読有り]
    研究論文（学術雑誌）
    神戸大学リポジトリ（Kernel）へのリンク

  • Hideki Sano
    This paper is concerned with the exponential stability of heat exchangers with delayed boundary feedback. Especially, heat exchangers of counter-flow type/parallel-flow type are treated, where they are respectively described by a coupled hyperbolic equations with time lag in the boundary feedback loop. When time lag does not exist, the exponential stability has been shown for counter-flow type by using the port Hamiltonian approach as well as the spectral analysis, and the conditions for the exponential stability to be assured are given. In this paper, time lag is expressed by using a transport equation, and the port Hamiltonian approach is applied to the whole system. A condition for the system with time lag to be exponentially stable is derived for counter-flow type and parallel-flow type. (C) 2016, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
    ELSEVIER SCIENCE BV, 2016年, IFAC PAPERSONLINE, 49(8) (8), 43 - 47, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Hideki Sano
    In this paper, we discuss the problem of approximating stability radius appearing in the design procedure of finite-dimensional stabilizing controllers for an infinite-dimensional dynamical system. The calculation of stability radius needs the value of H-infinity-norm of a transfer function whose realization is described by infinite-dimensional operators in a Hilbert space. From the computational point of view, we need to prepare a family of approximate finite-dimensional operators and then to calculate the H-infinity-norm of their transfer functions. However, it is not assured that they converge to the value of H-infinity-norm of the original transfer function. The purpose of this study is to justify the convergence. In a numerical example, we treat parabolic distributed parameter systems with distributed control and distributed/boundary observation.
    KYBERNETIKA, 2016年, KYBERNETIKA, 52(5) (5), 824 - 835, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    In this paper, we consider the H∞ control problem of a coupled transport-diffusion system related to parallel-flow heat exchange process. It is shown that, by using our previous result for a single diffusion system, the H∞ control problem can be solved by constructing a residual mode filter (RMF)-based controller which is of finite-dimension.
    2015年10月, IFAC-PapersOnLine, 28(25) (25), 50 - 55, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • H. Sano
    This paper is concerned with the problem of stabilizing one-dimensional parabolic systems related to formations by using finite-dimensional controllers of a modal type. The parabolic system is described by a Sturm-Liouville operator, and the boundary condition is different from any of Dirichlet type, Neumann type, and Robin type, since it contains the time derivative of boundary values. In this paper, it is shown that the system is formulated as an evolution equation with unbounded output operator in a Hilbert space, and further that it is stabilized by using an RMF (residual mode filter)-based controller which is of finite-dimension. A numerical simulation result is also given to demonstrate the validity of the finite-dimensional controller.
    POLSKA AKAD NAUK, POLISH ACAD SCI, DIV IV TECHNICAL SCIENCES PAS, 2015年03月, BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES, 63(1) (1), 295 - 303, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    In this paper, we consider the problem of enhancing the stability of a coupled transport-diffusion system related Ito parallel-flow heat exchange process. It is shown that the degree of stability can be enhanced by using a residual mode filter (RMF)-based controller which is of finite-dimension.
    2015年02月, IFAC-PapersOnLine, 28(1) (1), 755 - 760, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Modal control of linear parabolic systems with internal feedback loop
    佐野 英樹
    2014年11月, Advances in Differential Equations and Control Processes, 14(1) (1), 55 - 70, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    In this paper, we study the finite-dimensional stabilization problem of the cascade consisting of the one-dimensional transport-diffusion process and an unstable Ordinary Differential Equation ( ODE) plant, where the ODE plant is connected with the transport-diffusion process through a filter. The input to the whole system is only Dirichlet boundary input to the transportdiffusion process, and the outputs are the Dirichlet data at the boundary of process domain and the output from the ODE plant. In this paper, we use the latest method and show that the one-dimensional transport-diffusion process with such input and output can be formulated as a system with A.-bounded output operator and direct feedthrough term. It is shown that, under the assumption that the ODE plant is controllable and observable, the finite-dimensional model of the whole system becomes controllable and observable, when the filter mentioned above is a Residual Mode Filter ( RMF). This fact enables us to construct a finite-dimensional stabilizing controller by using an RMF approach.
    IEEE, 2014年, 2014 INTERNATIONAL CONFERENCE ON MATHEMATICS AND COMPUTERS IN SCIENCES AND IN INDUSTRY (MCSI 2014), 261 - 266, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Hideki Sano
    This paper is concerned with observability and the related problem for a parallel flow two-fluid heat exchanger equation with diffusive terms. The observability results are stated under two kinds of boundary observations and the eigenvalues of the observability gramians are discussed. When one considers the inverse problem of estimating the initial states under the observations, it is expected that the reconstruction of the initial states under the observation at one outlet becomes more difficult than that under the observation at two outlets, from the physical point of view. The purpose of this paper is to explain the intuitive fact by using the eigenvalues of the observability gramians. © 2012 The authors 2012. Published by Oxford University Press on behalf of the Institute of Mathematics and its Applications. All rights reserved.
    2013年12月, IMA Journal of Mathematical Control and Information, 30(4) (4), 463 - 472, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Modal control of a diffusion system related to linear formations
    佐野 英樹
    2013年02月, Advances in Differential Equations and Control Processes, 11(1) (1), 53 - 70, 英語
    [査読有り]
    研究論文（学術雑誌）

  • On output tracking control of a parallel-flow heat exchanger equation with diffusive terms
    松元 宏太, 佐野 英樹
    2012年10月, JP Journal of Heat and Mass Transfer, 6(3) (3), 213 - 222, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Dirichlet boundary control of an unstable ODE plant with a diffusion process in the actuation path
    佐野 英樹
    2012年07月, Proceedings of MTNS'12, Melbourne, Australia, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • 佐野 英樹
    2012年04月, 計測自動制御学会論文集, 48(4) (4), 185 - 192, 日本語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    We investigate the problem of enhancing the stability of a coupled transport-diffusion system with Dirichlet actuation and Dirichlet measurement. In the recent paper [H. Sano, Neumann boundary control of a coupled transport-diffusion system with boundary observation, J. Math. Anal. Appl. 377 (2011) 807-816], we treated the stabilization problem for the case with Neumann actuation and Dirichlet measurement, where the variable transformation of the state is performed by using the fractional power of an unbounded operator. However, we cannot use the similar transformation for the case with Dirichlet actuation and Dirichlet measurement, since it brings an ill-posed expression of the system. So, we use an algebraic approach for the formulation of the system. In this paper, it is shown that a reduced-order model with a finite-dimensional state variable is controllable and observable. The fact enables us to construct a finite-dimensional stability-enhancing controller for the original infinite-dimensional system by using a residual mode filter (RMF) approach. The novelty of this paper is the structure that the controller contains the dynamics with respect to the control variable. As a result, the state vector of the resulting closed-loop system includes the control variable as its entry. (C) 2011 Elsevier Inc. All rights reserved.
    ACADEMIC PRESS INC ELSEVIER SCIENCE, 2012年04月, JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 388(2) (2), 1194 - 1204, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Feedback stabilization of an unstable ODE plant with a diffusion process in the actuation path: an RMF approach
    佐野 英樹
    2011年12月, Proceedings of EUROSIAM'11, 53-60, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 佐野 英樹, 楳園 大知, 南條 雅文, 江頭 佑典
    This paper is concerned with the problem of enhancing the stability of a parallel-flow heat exchanger equation with diffusive terms, under boundary control and boundary observation. By introducing two new variables, the system is expressed as two decoupled subsystems, where each subsystem is exponentially stable. In order to enhance the stability of the whole system, we use a backstepping method to construct infinite-dimensional observer-based controllers for each subsystem. The Lyapunov method is successfully applied to prove the closed-loop stability with the controller. This paper gives the controller design for the case of collocated sensor and actuator as well as for the anticollocated case.
    一般社団法人 システム制御情報学会, 2011年11月, システム制御情報学会論文誌, 24(11) (11), 269 - 279, 日本語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    In this paper, we consider an output tracking problem of a parallel-flow heat exchange process with distributed and boundary inputs. As the distributed inputs to the system, the output feedback control is first applied. Under zero boundary inputs, it is shown that the C(0) -semigroup describing the closed-loop system satisfies the spectrum determined growth condition. Next, we apply a backstepping method to the design of the boundary inputs for output tracking. Our main result shows that the output of the system reaches a reference signal in finite time under both the output feedback control and the boundary control law derived by the backstepping method. (C) 2011 Elsevier B.V. All rights reserved.
    ELSEVIER SCIENCE BV, 2011年11月, SYSTEMS & CONTROL LETTERS, 60(11) (11), 917 - 921, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Output tracking control of a diffusion process with boundary inputs
    佐野 英樹
    2011年06月, JP Journal of Applied Mathematics, 1, no.1, 19-34, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    We study the Neumann boundary stabilization problem of a coupled transport-diffusion system in the case where the observation is done at the boundary. In the recent paper of Sano and Nakagiri [H. Sano, S. Nakagiri, Stabilization of a coupled transport-diffusion system with boundary input, J. Math. Anal. Appl. 363 (2010) 57-72], we treated the stabilization problem for the case with Neumann boundary control and distributed observation. The novelty of this paper is the formulation of the boundary observation equation in a Hilbert space. We have an interesting result of its being expressed by using an A(1)(gamma)-bounded operator with gamma epsilon (1/2, 1). Moreover, it is shown that a reduced-order model with a finite-dimensional state variable is controllable and observable. This means that one can always construct a finite-dimensional stabilizing controller for the original infinite-dimensional system by using a residual mode filter (RMF) approach. (c) 2010 Elsevier Inc. All rights reserved.
    ACADEMIC PRESS INC ELSEVIER SCIENCE, 2011年05月, JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 377(2) (2), 807 - 816, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Neumann boundary stabilization of a coupled transport-diffusion system with boundary outputs: a backstepping approach
    佐野 英樹
    2011年02月, Advances in Differential Equations and Control Processes, 7, no. 1, 1-14, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Switching control of parallel-flow heat exchange processes
    Hideki Sano
    WSEAS Press, 2010年10月, Selected Topics in System Science & Simulation in Engineering, 253 - 258, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Boundary reachability of a parallel-flow three-fluid diffusive heat exchange process
    中桐 信一, 佐野 英樹
    2010年05月, Advances in Dynamical Systems and Control: Proceedings of the 6th WSAES Internat. Conference on Dynamical Systems and Control, 1, 60-67
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Shin-ichi Nakagiri
    We consider the problem of stabilizing a coupled transport-diffusion system with boundary input. The system is described by two linear transport-diffusion equations and is not asymptotically stable. In order to stabilize the system with boundary input, sensor influence functions are assumed to be located at interior of the domain. First, we formulate the system as an evolution equation with unbounded output operators in a Hilbert space, using variable transformation. Next, we derive a reduced-order model with a finite-dimensional state variable for the infinite-dimensional system. Then, a stabilizing controller is constructed for the reduced-order model under an additional assumption. It is shown that the finite-dimensional controller together with a residual mode filter plays a role of a finite-dimensional stabilizing controller for the original infinite-dimensional system, if the order of the residual mode filter is chosen sufficiently large. Finally, the validity of the design method is demonstrated through a numerical simulation. (C) 2009 Elsevier Inc. All rights reserved.
    ACADEMIC PRESS INC ELSEVIER SCIENCE, 2010年03月, JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 363(1) (1), 57 - 72, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Supplement to: `Boundary stabilization of hyperbolic systems related to overhead cranes' [H.Sano, IMA J. Math. Control Inf. (2008) vol.25, 353-366, doi:10.1093/imamci/dnm031]
    佐野 英樹
    2009年06月, IMA Journal of Mathematical Control and Information, 26, 231-237, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 佐野 英樹, 中桐 信一
    This paper is concerned with the problems of reachability and observability of a plug-flow reactor equation with diffusion term. It is shown that the system with boundary inputs is formulated as an well-defined boundary control system, and that it is approximately reachable at any time through a Fourier series expansion of the solution. It is also shown that the boundary control system associated with only one boundary input is approximately reachable except for special values of diffusion and reaction constants, and the unreachable subspace is determined for the exceptional boundary control systems. Furthermore, the results concerning observability are derived through a concrete expression of the solution to the system of plug-flow reactor diffusion equation with the output equation.
    一般社団法人 システム制御情報学会, 2009年05月, システム制御情報学会論文誌, 22(5) (5), 177 - 190, 日本語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Shin-ichi Nakagiri
    This paper is concerned with the observability problem of a parallel-flow two-fluid heat exchanger equation with diffusion term. First, the case where two fluid temperatures are measured it the outlet is considered. It is shown that, the observed system with the measurements becomes observable oil any interval of time through a concrete series expression of the solution. Next, the two cases where each one of two fluid temperatures is measured at, the outlet, are considered. It is also shown that the observed system with the only one measurement, becomes observable on any interval of time except for the special cases of physical constant's appearing in the equation. For the exceptional cases the unobservable subspace is finite dimensional and is characterized by using the eigenfunctions of heat equation with fluid transfer term.
    JAPAN ACAD, 2009年05月, PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 85(5) (5), 61 - 66, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 境界入力をもつ移流拡散方程式系の安定化
    佐野 英樹, 中桐 信一
    京都大学, 2009年04月, 数理解析研究所講究録「関数方程式のダイナミクスと数理モデル」, vol. 1637, 120-132, 120 - 132, 日本語
    研究論文（国際会議プロシーディングス）

  • プラグフロー反応拡散方程式の可到達性と可観測性
    中桐 信一, 佐野 英樹
    京都大学, 2009年04月, 数理解析研究所講究録「関数方程式のダイナミクスと数理モデル」, vol. 1637, 107-119, 107 - 119, 日本語
    研究論文（国際会議プロシーディングス）

  • Feedback Control of Parallel-Flow Heat Exchanger Equations Using a Forwardstepping Method
    Hideki Sano, Shin-Ichi Nakagiri
    In this paper, we treat feedback control of parallel-flow heat exchanger equations with distributed and boundary inputs. As the distributed inputs to the system, the output feedback control is first applied under zero boundary inputs. Then, it is shown that the C-0-semigroup describing the closed-loop system satisfies the spectrum determined growth condition. Next, we apply a forwardstepping method to the design of the boundary inputs. Our main result shows that, for any initial data belonging to a linear space, the solution of the system becomes zero in finite time under both the output feedback control and the control law derived by the forwardstepping method.
    WORLD SCIENTIFIC AND ENGINEERING ACAD AND SOC, 2009年, RECENT ADVANCES IN APPLIED MATHEMATICS, 1, 106 - 111, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Backstepping Boundary Control of First-order Coupled Hyperbolic Partial Integro-differential Equations
    Hideki Sano, Shin-Ichi Nakagiri
    We consider a feedback control problem of first-order coupled hyperbolic partial integro-differential equations with distributed and boundary inputs. As the distributed inputs to the system, the output feedback control is first applied under zero boundary inputs. Then, we apply a backstepping method to the design of the boundary inputs. Our main result shows that, for any initial data belonging to a linear space, the solution of the system becomes zero in finite time under both the output feedback control and the control law derived by the backstepping method. Further, the exact formula of feedback solutions is presented. Two applications to the parallel-flow heat exchange equations and the reactor equations of plug-flow type are given.
    WORLD SCIENTIFIC AND ENGINEERING ACAD AND SOC, 2009年, RECENT ADVANCES IN APPLIED MATHEMATICS, 1, 112 - 119, 英語
    [査読有り]
    研究論文（国際会議プロシーディングス）

  • Boundary stabilization of a string with two rigid loads: calculation of optimal feedback gain based on a finite difference approximation
    Hideki Sano
    2008年12月, International Journal of Mathematical Models and Methods in Applied Sciences, 2(4) (4), 513 - 522, 英語
    [査読有り]
    研究論文（学術雑誌）

  • On reachability of a parallel-flow three-fluid heat exchange process with boundary inputs
    Hideki Sano
    2008年10月, JP Journal of Heat and Mass Transfer, 2(3) (3), 327 - 338, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    In this paper, we treat the problem of stabilizing a flexible cable with two rigid loads which is described by two kinds of hyperbolic equations. From the engineering point of view, the model can be regarded as a distributed parameter overhead crane which conveys two loads simultaneously. In this, the mass of the cart is assumed to be not zero. After deriving a control law which does not increase an energy defined for the model, we prove the asymptotic stability of the closed-loop system by using the LaSalle's invariance principle. The stabilization problem is also discussed for the case of the system with one rigid load.
    OXFORD UNIV PRESS, 2008年09月, IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 25(3) (3), 353 - 366, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Variable structure control for a class of nonlinear systems: an approach based on piecewise linear models
    J Koushima, Hideki Sano, H Takata
    2008年, International Journal of Factory Automation, Robotics and Soft Computing, ISSN 1828-6984, Issue 2, 132 - 137, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    This paper is concerned with the dynamical analysis of parallel-flow heat exchanger equations with observation at the outlet of tube/control at the inlet of tube. The parallel-flow heat exchanger equation is super-stable under zero boundary condition. The system can be described by an unbounded operator of lower triangular form through a variable transformation. By calculating a Co-semigroup generated by the operator, it is shown that the system is observable if both fluid temperatures are measured at the outlet, and that the system is observable with respect to the non-negative cone of the state space if either of them is measured at the outlet. Moreover, it is shown that the system is reachable if both fluid temperatures are controlled at the inlet, and that the system is reachable with respect to the non-negative cone of the state space if either of them is controlled at the inlet.
    OXFORD UNIV PRESS, 2007年03月, IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 24(1) (1), 137 - 147, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 佐野英樹
    This paper is concerned with the problems of reachability and observability of a plug-flow reactor equation. It is shown that the system with boundary inputs is formulated as an well-defined boundary control system, and that it is reachable through a concrete expression of the solution. In addition, the reachable subspace is characterized for the case where only one boundary input is added to the system. Furthermore, the results concerning observability are derived through a concrete expression of the solution to the dual system of the plug-flow reactor equation with the output equation.
    一般社団法人 システム制御情報学会, 2007年, システム制御情報学会論文誌, 20(12) (12), 457 - 464, 日本語
    [査読有り]

  • Hideki Sano
    This paper is concerned with the problem of reachability of parallel-flow heat exchanger equations with boundary inputs. It is shown that the system with boundary inputs is formulated as a boundary control system which is well-defined in the sense of Curtain and Zwart (1995), and further that it is reachable through a concrete expression of the solution. In addition, the reachable subspace is given for the case where only one boundary input is added to the system.
    JAPAN ACAD, 2007年01月, PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 83(1) (1), 1 - 4, 英語
    [査読有り]
    研究論文（学術雑誌）

  • A numerical study on stabilization of distributed parameter overhead crane models
    M Otanaka, Hideki Sano
    2007年, International Journal of Factory Automation, Robotics and Soft Computing, ISSN 1828-6984, Issue 3, 158 - 163, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Masashi Otanaka
    In this paper, we study the stabilization problem of a flexible cable with two rigid loads which is described by two kinds of hyperbolic equations. From the engineering point of view, the model can be regarded as a distributed parameter overhead crane which conveys two loads simultaneously. After deriving a control law which does not increase an energy defined for the model, we prove the asymptotic stability of the closed-loop system, using the LaSalle's invariance principle. Finally, we show that the control law works effectively through a numerical simulation.
    KINOKUNIYA CO LTD, 2006年10月, JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, 23(3) (3), 225 - 237, 英語
    [査読有り]
    研究論文（学術雑誌）

  • H Sano, N Kunimatsu
    In this note, we treat a linear bioprocess model with recycle loop and analyze the spectrum of the closed-loop operator in order to discuss the exponential stability. It is shown that a C-0-semigroup generated by the closed-loop operator satisfies the spectrum determined growth assumption and that the recycle loop works effectively for the process through a numerical simulation.
    IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2005年08月, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 50(8) (8), 1200 - 1205, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 佐野英樹, 国松 昇
    This paper is concerned with stability analysis of parallel-flow heat exchanger equations with boundary feedback. The parallel-flow heat exchanger equation is super-stable when the boundary inputs are identically zero. However, when a pole assignment problem is considered, a suitable output feedback law needs to be added to the equation in order to produce finite poles. In this paper, it is shown that a C0-semigroup generated by the closed-loop operator, which consists of the parallel-flow heat exchanger equation and an output feedback law, satisfies the spectrum determined growth assumption.
    一般社団法人 システム制御情報学会, 2005年, システム制御情報学会論文誌, 18(6) (6), 222 - 228, 日本語
    [査読有り]

  • 三原義樹, 佐野英樹
    一般社団法人 システム制御情報学会, 2005年, システム制御情報学会論文誌, 18(9) (9), 340 - 342, 日本語
    [査読有り]

  • 佐野 英樹
    This paper is concerned with sampled-data H∞ control of linear parabolic systems with unbounded output operators. It is assumed that the input and output spaces are finite-dimensional. For the infinite-dimensional continuous-time system with an ideal sampler and a zero-order hold, the aim is to construct a finite-dimensional discrete-time stabilizing controller that makes the L2-induced norm of the feedback sampled-data system less than a given positive number δ. For that purpose, the infinite-dimensional continuous-time system is formulated as an infinite-dimensional discrete-time system by using a lifting technique. Based on a reduced-order model with a finite-dimensional state space for the infinite-dimensional discrete-time system, a finite-dimensional controller containing a residual mode filter is designed to provide the desirable performance.
    The Society of Instrument and Control Engineers, 2004年, 計測自動制御学会論文集, 40(9) (9), 915 - 924, 日本語
    [査読有り]
    研究論文（学術雑誌）

  • H Sano
    This paper is concerned with stability analysis of a mono-tubular heat exchanger equation with static output feedback. The mono-tubular heat exchanger equation is exponentially stable when the input variable is identically zero. In this paper, it is shown that the C-0-semigroup generated by the closed-loop operator consisting of the mono-tubular heat exchanger equation and the output feedback law satisfies the spectrum determined growth assumption. (C) 2003 Elsevier B.V. All rights reserved.
    ELSEVIER SCIENCE BV, 2003年12月, SYSTEMS & CONTROL LETTERS, 50(5) (5), 363 - 369, 英語
    [査読有り]
    研究論文（学術雑誌）

  • H Sano
    This paper is concerned with boundary control of a linear distributed parameter bioprocess. Huang's result (Ann. Differential Equations 1(1) (1985) 43) on the spectrum determined growth assumption is applied to prove that the closed-loop system becomes exponentially stable under a certain condition with respect to the feedback gain. Moreover, it is shown that the decay rate of the open-loop system is given by letting the feedback gain tend to zero. (C) 2003 The Franklin Institute. Published by Elsevier Science Ltd. All rights reserved.
    PERGAMON-ELSEVIER SCIENCE LTD, 2003年08月, JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 340(5) (5), 293 - 306, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    An H-infinity control problem with measurement feedback for infinite-dimensional discrete-time (IDDT) systems whose homogeneous parts are described by Riesz-spectra operators is considered. The aim is to construct a finite-dimensional stabilizing controller for the IDDT system that makes the H-infinity norm of the closed-loop transfer function less than a given positive number delta. For that purpose, we first formulate the IDDT system as an IDDT system in l(2) and derive a finite-dimensional reduced-order system for the IDDT system in l(2). A stabilizing controller that makes the H-infinity norm of the closed-loop transfer function less than another positive number is then constructed for the reduced-order model. The finite-dimensional controller together with a residual mode filter plays a role of a finite-dimensional stabilizing controller that makes the H-infinity norm of the closed-loop transfer function less than delta for the original IDDT system, if the order of the residual mode filter is chosen sufficiently large.
    TAYLOR & FRANCIS LTD, 2003年02月, International Journal of Systems Science, 34(3) (3), 205 - 214, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    In this paper, we consider H∞ control problem with measurement feedback for flexible beam equation systems. The aim is to construct a finite-dimensional H∞ controller with a given level δ for the flexible beam equation system. For that purpose, we first formulate the system as an infinite-dimensional system in l2 and derive a finite-dimensional reduced-order system for the infinite-dimensional system. Then, an H∞ controller with level d less than δ is constructed for the reduced-order model. The finite-dimensional controller together with a residual mode filter plays a role of a finite-dimensional H∞ controller with level δ for the original flexible beam equation system, if the order of the residual mode filter is chosen sufficiently large.
    2002年12月, IMA Journal of Mathematical Control and Information, 19(4) (4), 477 - 491, 英語
    [査読有り]
    研究論文（学術雑誌）

  • H. Sano
    In this paper, we study H-infinity control of linear parabolic systems with unbounded output operators. Our aim is to construct a finite-dimensional stabilizing controller for the linear parabolic system that makes the H-infinity norm of the closed-loop transfer function less than a given positive number delta. To this end, we first derive a finite-dimensional reduced-order system for the linear parabolic system. Then, for the reduced-order model, we construct a stabilizing controller that makes the H-infinity norm of the closed-loop transfer function less than another positive number. It is proved that the finite-dimensional controller together with a residual mode filter plays a role of a finite-dimensional stabilizing controller that makes the H-infinity norm of the closed-loop transfer function less than delta for the original linear parabolic system, if the order of residual mode filter is chosen sufficiently large.
    TAYLOR & FRANCIS LTD, 1999年11月, International Journal of Control, 72(16) (16), 1466 - 1479, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Y Sakawa
    In this paper, we consider H-infinity control of linear and semilinear diffusion systems by using a finite-dimensional controller. The main aim is to construct a finite-dimensional stabilizing controller for the linear diffusion system that makes the H-infinity norm of the closed-loop transfer function less than a given positive number delta. For that purpose, we first derive a finite-dimensional reduced-order system for the linear diffusion system. Then, a stabilizing controller that makes the H-infinity norm of the closed-loop transfer function less than another positive number is constructed for the reduced-order model. It is proved that the finite-dimensional controller, together with a residual mode filter, plays a role of a finite-dimensional stabilizing controller that makes the H-infinity norm of the closed-loop transfer function less than delta for the original linear diffusion system if the order of residual mode filter is chosen sufficiently large. Moreover, it is shown that the finite-dimensional H-infinity controller constructed for the linear diffusion system also works as a finite-dimensional H-infinity controller for a semilinear diffusion system with sufficiently small nonlinear term.
    SIAM PUBLICATIONS, 1999年, SIAM Journal on Control and Optimization, 37(2) (2), 409 - 428, 英語
    [査読有り]
    研究論文（学術雑誌）

  • H Sano, N Kunimatsu
    The stabilization problem of infinite-dimensional systems with periodically time-varying bounded input and unbounded output operators is considered. The unboundedness of the periodically time-varying ouput operators is assumed to be A(gamma)-bounded. For example, the systems contain linear diffusion systems with boundary control and observation, where the actuator and sensor influence functions periodically vary with respect to the time variable. The aim of this paper is to show that a controller, which consists of a finite dimensional stabilizing controller constructed for the finite-dimensional reduced-order modal model and a residual mode filter, works as a finite-dimensional stabilizing controller for the original infinite-dimensional system if the order of residual mode filter is chosen to be sufficiently large.
    TAYLOR & FRANCIS LTD, 1998年06月, INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 29(6) (6), 643 - 651, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Noboru Kunimatsu, Hideki Sano
    This paper investigates the exponential stability of a model of a heat exchanger of counterflow type, whose boundary conditions are governed by boundary feedbacks. A theorem by F. L. Huang is applied to prove that the system satisfies the spectrum-determined growth assumption.
    Oxford University Press, 1998年, IMA Journal of Mathematical Control and Information, 15(4) (4), 317 - 330, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Nonlinear model and linear robust control of overhead traveling cranes
    Y Sakawa, H Sano
    PERGAMON-ELSEVIER SCIENCE LTD, 1997年12月, NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 30(4) (4), 2197 - 2207, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano
    rn this paper, we consider H-infinity control of infinite-dimensional linear time-varying (IDLTV) systems whose homogeneous parts are of modal type, by using a finite-dimensional controller. The aim is to construct a finite-dimensional stabilizing controller for the IDLTV system that makes the norm of the closed-loop operator less than a given positive number delta. To this end, a finite-dimensional model is firstly derived for the IDLTV system, and a stabilizing controller that makes the norm of the closed-loop operator less than another positive number gamma(<delta) is constructed for the finite-dimensional model. Then it is shown that a controller, which consists of a residual mode filter and the controller mentioned above, becomes a finite-dimensional stabilizing controller for the given IDLTV system such that the closed-loop operator has norm less than delta, if the order of the residual mode filter is chosen sufficiently large. (C) 1997 Academic Press.
    ACADEMIC PRESS INC, 1997年12月, Journal of Mathematical Analysis and Applications, 216(2) (2), 667 - 684, 英語
    [査読有り]
    研究論文（学術雑誌）

  • AN APPLICATION OF INERTIAL MANIFOLD THEORY TO BOUNDARY STABILIZATION OF SEMILINEAR DIFFUSION-SYSTEMS
    H SANO, N KUNIMATSU
    This paper deals with an application of inertial manifold theory to boundary stabilization of semilinear diffusion systems on a one-dimensional domain. It is shown that a Sakawa type of controller plays an important role in the construction of an inertial manifold for the closed-loop system with a given semilinear diffusion system. This means that the use of a Sakawa type of controller reduces the stabilization problem for the closed-loop system to the one on the inertial manifold. (C) 1995 Academic Press, Inc.
    ACADEMIC PRESS INC JNL-COMP SUBSCRIPTIONS, 1995年11月, JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 196(1) (1), 18 - 42, 英語
    [査読有り]
    研究論文（学術雑誌）

  • 佐野 英樹, 国松 昇
    This paper is concerned with the stabilization problem of semilinear distributed parameter systems with unbounded output operators. Especially, the output operators are assumed to be Aγ-bounded. For example, the semilinear diffusion system with boundary control and boundary observation is formulated as a semilinear evolution equation with Aγ-bounded output operator in a Hilbert space. Balas has shown that a nonlinear finite-dimensional controller with a nonlinear residual mode filter can produce closedloop stability with a given semilinear distributed parameter system with bounded input and output operators. However, he does not discuss on the systems with unbounded input operators or unbounded output operators.
    In this paper, we show that Balas-type of nonlinear controller is also effective for the semilinear distributed parameter system with Aγ-bounded output operator. Then, we can give the decay rate of the closed-loop system by using the modified Gronwall's inequality. Moreover, it is shown that the use of nonlinear controller in the above brings more preferable result than the use of linear controller with a usual residual mode filter.
    The Society of Instrument and Control Engineers, 1995年, 計測自動制御学会論文集, 31(1) (1), 38 - 47, 日本語
    [査読有り]
    研究論文（学術雑誌）

  • H. Sano, N. Kunimatsu
    This paper is concerned with the stabilization problem of infinite-dimensional systems with A(gamma)-bounded output operators. An operator is said to be A(gamma)-bounded if it can be written as C(A + c)(gamma) for some bounded operator C and some scalar c (see [1]). For example, the linear diffusion system with distributed (or boundary) control and boundary observation is formulated as an evolution equation with bounded input operator and A(gamma)-bounded output operator in a Hilbert space. The purpose of this paper is to show that the closed-loop system with a finite-dimensional controller containing residual mode filter, which Balas introduced for infinite-dimensional systems with bounded input and output operators, is exponentially stable if the order of residual mode filter is chosen sufficiently large.
    PERGAMON-ELSEVIER SCIENCE LTD, 1994年09月, Applied Mathematics Letters, 7(5) (5), 17 - 22, 英語
    [査読有り]
    研究論文（学術雑誌）

  • N KUNIMATSU, H SANO
    The stabilization of semi-linear parabolic distributed systems by means of boundary controls is treated, formulating the partial differential equation describing the system as an evolution equation in a Hilbert space. Here, by using the properties of an analytic semigroup, the global existence of the solution under static output feedback is shown. Moreover, in the similar way, the global existence of the solution and the stabilizability for the system which installs a finite dimensional dynamic compensator is shown.
    TAYLOR & FRANCIS LTD, 1994年08月, INTERNATIONAL JOURNAL OF CONTROL, 60(2) (2), 243 - 263, 英語
    [査読有り]
    研究論文（学術雑誌）

  • H SANO, N KUNIMATSU
    This paper deals with the stabilization of semilinear parabolic distributed systems by means of boundary controls. The partial differential equation describing the system is formulated as a semilinear evolution equation in a Hilbert space by using a variable transformation. Here it is shown that the solution globally exists for the closed-loop system which installs a finite-dimensional dynamic compensator by using the properties of an analytic semigroup. Moreover, a sufficient condition for stabilization of the system is derived by making use of the modified Gronwall's inequality developed in this paper.
    ELSEVIER SCIENCE BV, 1994年02月, SYSTEMS & CONTROL LETTERS, 22(2) (2), 145 - 156, 英語
    [査読有り]
    研究論文（学術雑誌）

  • Hideki Sano, Noboru Kunimatsu
    An approach via inertial-manifold theory is presented as a way to study the problem of stabilizing semilinear diffusion systems using finite-dimensional controllers. It is shown that a Sakawa type of controller plays an important role in the construction of an inertial manifold for the closed-loop (controlled) semilinear diffusion system. This means that the use of a Sakawa type of controller reduces the stabilization problem for the closed-loop system to the one on the inertial manifold. © 1994 Oxford University Press.
    1994年, IMA Journal of Mathematical Control and Information, 11(1) (1), 75 - 92, 英語
    [査読有り]
    研究論文（学術雑誌）

■ MISC
  • 双曲型システムの展望 ― 境界制御／境界観測系の新しい定式化
    佐野 英樹
    2021年08月, システム/制御/情報, 65(8) (8), 336 - 339, 日本語, 国際共著していない
    記事・総説・解説・論説等（学術雑誌）

  • 分布定数系のカオスとその応用について
    佐野 英樹, 若生 将史, 谷口 隆晴
    2021年08月, システム/制御/情報, 65(8) (8), 305 - 310, 日本語, 国際共著していない
    記事・総説・解説・論説等（学術雑誌）

  • 強連続半群と制御理論
    若生 将史, 佐野 英樹
    2021年05月, 計測と制御, 60(5) (5), 369 - 374, 日本語, 国際共著していない
    記事・総説・解説・論説等（学術雑誌）

  • 非局所境界条件に無駄時間を含む1階双曲型システムに対するオブザーバ：誤差システムのL2-安定性
    佐野 英樹, 若生 将史, 丸山 颯天
    2019年09月, 計測自動制御学会論文集, 55(9) (9), 582 - 584
    [査読有り]
    速報，短報，研究ノート等（学術雑誌）

  • 佐野 英樹
    In this note, we study the problem of designing observers for distributed parameter systems of parabolic type with sensor delay. In the work by Krstic & Smyshlyaev (2008), the case of ODE systems with sensor delay was treated and observers were derived using a backstepping method. In this note, we use a backstepping approach combined with the semigroup theory for the PDE systems mentioned above. It is shown that the sensor influence function should be chosen within some smooth functional space for observer design.
    公益社団法人 計測自動制御学会, 2017年11月, 計測自動制御学会論文集, 53(11) (11), 621 - 623, 日本語
    [査読有り]
    速報，短報，研究ノート等（学術雑誌）

  • 分布パラメータ・むだ時間と制御
    児島 晃, 佐野 英樹
    計測自動制御学会, 2013年04月, 計測と制御, 52(4) (4), 354 - 360, 日本語
    [招待有り]
    記事・総説・解説・論説等（学術雑誌）

  • 佐野 英樹, 松元 宏太
    2012年10月, 計測自動制御学会論文集, 48(10) (10), 683 - 685, 日本語
    [査読有り]
    速報，短報，研究ノート等（学術雑誌）

  • 佐野 英樹
    一般社団法人 システム制御情報学会, 2012年04月, システム制御情報学会論文誌, 25(4) (4), 101 - 103, 日本語
    [査読有り]
    速報，短報，研究ノート等（学術雑誌）

  • 佐野 英樹
    2009年03月, システム制御情報学会論文誌, 22(3) (3), 123 - 125, 日本語
    [査読有り]
    速報，短報，研究ノート等（学術雑誌）

  • 境界入力をもつ移流拡散方程式系の安定化
    佐野英樹, 中桐信一
    2009年, 京都大学数理解析研究所講究録1637「関数方程式のダイナミクスと数理モデル」, 120 - 132

  • プラグフロー反応拡散方程式の可到達性と可観測性
    中桐信一, 佐野英樹
    京都大学, 2009年, 京都大学数理解析研究所講究録1637「関数方程式のダイナミクスと数理モデル」, 1637, 107 - 119, 日本語

  • 境界フィードバックを伴う並流型熱交換方程式の指数安定性について
    佐野 英樹, 国松 昇
    システム制御情報学会, 2005年06月15日, システム/制御/情報 : システム制御情報学会誌 = Systems, control and information, 49(6) (6), 222 - 228, 日本語
    [査読有り]

  • 佐野 英樹, 三原 義樹
    In this note, we discuss on the stability of neural networks for image restoration. The neural network treated here is described by a system of linear ordinary differential equations. Our aim is to give the convergence rate of the neural network. In particular, it is shown that, in the case where an image consists of a great many pixels, the convergence rate is derived based on the one of the corresponding partial differential equation.
    The Society of Instrument and Control Engineers, 2002年, 計測自動制御学会論文集, 38(11) (11), 1003 - 1005, 日本語
    [査読有り]
    速報，短報，研究ノート等（学術雑誌）

  • 安定半径を考慮したワーキングヘッドの切り替え制御
    下山泰治, 佐野英樹, 中島正治
    鹿児島大学, 1999年, 鹿児島大学理学部紀要, 32(32) (32), 21 - 25, 日本語

■ 講演・口頭発表等
  • 変分埋め込み法を用いたSIRカトリエルモデルの係数決定
    小池 竜太朗, 佐野 英樹
    第67回自動制御連合講演会, 2024年11月, 日本語, 国内会議, 国際共著していない
    口頭発表（一般）

  • カオス同期化と最小二乗法を用いた画像・音声データの秘匿通信
    小池 竜太朗, 佐野 英樹
    第11回計測自動制御学会制御部門マルチシンポジウム, 2024年03月, 日本語, 国内会議, 国際共著していない
    ポスター発表

  • Observers for hyperbolic systems with two delays in the nonlocal boundary condition and its application
    佐野 英樹, Jeanne Redaud
    2023年度 RIMS研究集会「時間遅れ系と数理科学：理論と応用の新たな展開に向けて」, 2023年10月, 日本語, 国内会議, 国際共著している
    [招待有り]
    口頭発表（招待・特別）

  • 無限次元系のカオス同期化を用いた対称鍵生成と秘匿通信について
    佐野 英樹
    2022年度 応用数学合同研究集会, 2022年12月, 日本語
    口頭発表（一般）

  • 潜伏期間と観測遅れを伴うKermack-McKendrickモデルに対する状態推定
    佐野英樹, 若生将史
    第64回システム制御情報学会研究発表講演会, 2020年05月, 日本語

  • 無限次元系に対する自己駆動制御
    若生将史, 佐野英樹
    第64回システム制御情報学会研究発表講演会, 2020年05月, 日本語

  • 無限次元系のイベント駆動制御について
    若生 将史, 佐野 英樹
    2019年度 応用数学合同研究集会, 2019年12月, 大津
    口頭発表（一般）

  • 観測遅れを伴うKermack-McKendrickモデルに対する状態推定
    佐野 英樹, 若生 将史, 丸山 颯天
    2019年度 応用数学合同研究集会, 2019年12月, 大津
    口頭発表（一般）

  • 境界フィードバックループに無駄時間要素を含む1階双曲型システムの安定性解析
    佐野 英樹
    日本応用数理学会2019年 年会, 2019年09月, 東京
    口頭発表（一般）

  • 非局所境界条件にむだ時間を含む1階双曲型システムに対するオブザーバ設計と誤差システムのL2-安定性
    丸山 颯天, 佐野 英樹, 若生 将史
    第6回計測自動制御学会制御部門マルチシンポジウム, 2019年03月, 日本語, 国内会議
    ポスター発表

  • 無限次元システムのサンプル値サーボ問題について
    若生 将史, 佐野 英樹
    2018年度 応用数学合同研究集会, 2018年12月, 日本語, 国内会議
    口頭発表（一般）

  • 境界入力に無駄時間要素を含む1階双曲型システムの安定化について
    佐野 英樹, 若生 将史
    2018年度 応用数学合同研究集会, 2018年12月, 日本語, 大津, 国内会議
    口頭発表（一般）

  • 非局所境界条件にむだ時間を含む双曲型システムに対する状態推定
    丸山 颯天, 佐野 英樹, 若生 将史
    日本応用数理学会2018年 年会, 2018年09月, 日本語, 名古屋, 国内会議
    口頭発表（一般）

  • 入力に無駄時間要素を含む放物型システムの安定化について
    佐野 英樹
    2017 秋の偏微分方程式セミナー, 2017年09月, 日本語, 大阪大学待兼山会館（豊中キャンパス）, 国内会議
    口頭発表（一般）

  • 入力無駄時間要素をもつ熱拡散系のディリクレ境界安定化
    佐野 英樹
    第4回計測自動制御学会制御部門マルチシンポジウム, 2017年03月, 日本語, 岡山, 国内会議
    口頭発表（一般）

  • 境界入力に無駄時間要素を含む熱拡散系の安定化について
    佐野 英樹
    2016年度 応用数学合同研究集会, 2016年12月, 日本語, 大津, 国内会議
    口頭発表（一般）

  • 無限次元フィードバック系における安定半径の近似について
    佐野 英樹
    第59回自動制御連合講演会, 2016年11月, 日本語, 北九州市, 国内会議
    口頭発表（一般）

  • 入力むだ時間を有する熱拡散系の安定化
    森本 茂樹, 佐野 英樹
    第59回自動制御連合講演会, 2016年11月, 日本語, 北九州市, 国内会議
    口頭発表（一般）

  • 境界入力に無駄時間要素を含む熱拡散系の安定化について
    佐野 英樹
    非線形現象の特徴化に基づく制御理論調査研究会 第2回研究会, 2016年11月, 日本語, 大阪, 国内会議
    [招待有り]
    口頭発表（招待・特別）

  • 動的境界条件をもつ分布定数回路の安定性について
    佐野 英樹
    第3回計測自動制御学会制御部門マルチシンポジウム, 2016年03月, 日本語, 名古屋, 国内会議
    口頭発表（一般）

  • 無限次元制御系に対する安定半径の近似について
    佐野 英樹
    数理人口学・数理生物学セミナー, 2016年01月, 日本語, 東京, 国内会議
    口頭発表（一般）

  • バックステッピング法に基づく感染症の初期流行予防のための人口制御
    國谷 紀良, 佐野 英樹
    第58回自動制御連合講演会, 2015年11月, 日本語, 国内会議
    口頭発表（一般）

  • バックステッピング法に基づく感染症の初期流行予防のための人口制御
    國谷 紀良, 佐野 英樹
    日本応用数理学会2015年度年会, 2015年09月, 日本語, 国内会議
    口頭発表（一般）

  • 並流型熱交換プロセスに関連した移流拡散系の境界制御
    佐野 英樹
    第1回制御部門マルチシンポジウム, 2014年03月, 日本語, 計測自動制御学会制御部門, 東京, 国内会議
    口頭発表（一般）

  • 内部にフィードバックループを有する線形放物型システムのモード制御
    佐野 英樹
    環瀬戸内応用数理研究部会 第17回シンポジウム, 2014年01月, 日本語, 日本応用数理学会, 松山市, 国内会議
    口頭発表（一般）

  • Stabilization of linear parabolic systems with internal feedback loop
    佐野 英樹
    岡山理科大学における微分方程式セミナー（微分方程式セミナー通算第36回）, 2013年09月, 日本語, 岡山市, 国内会議
    口頭発表（一般）

  • フォーメーションに関連した放物型システムの制御について
    佐野 英樹
    第38回発展方程式研究会, 2012年12月, 日本語, 東京, 国内会議
    口頭発表（一般）

  • 拡散項を有する並流型熱交換方程式の出力トラッキング制御
    松元 宏太, 佐野 英樹
    第61回理論応用力学講演会, 2012年03月, 日本語, 東京都, 国内会議
    口頭発表（一般）

  • 拡散プロセスを通して駆動される集中定数プラントの安定化
    佐野 英樹
    第37回発展方程式研究会, 2011年12月, 日本語, 岐阜市, 国内会議
    口頭発表（一般）

  • 並流型熱交換プロセスの初期値推定について
    佐野 英樹, 松元 宏太
    第54回自動制御連合講演会, 2011年11月, 日本語, 豊橋市, 国内会議
    口頭発表（一般）

  • ある不安定な混合定数系の安定化について
    佐野 英樹
    計測自動制御学会制御部門 第40回制御理論シンポジウム, 2011年09月, 日本語, 計測自動制御学会制御部門, 大阪市, 国内会議
    口頭発表（一般）

  • Switching control of parallel-flow heat exchange processes
    佐野 英樹
    The 9th WSEAS International Conference on System Science and Simulation in Engineering, 2010年10月, 英語, WSEAS, Iwate, Japan, 国際会議
    口頭発表（一般）

  • 境界制御・境界観測を伴う1次元拡散方程式の安定化
    佐野 英樹
    計測自動制御学会制御部門 第39回制御理論シンポジウム, 2010年09月, 日本語, 計測自動制御学会制御部門, 大阪市, 国内会議
    口頭発表（一般）

  • Boundary reachability of a parallel-flow three-fluid diffusive heat exchange process
    中桐 信一, 佐野 英樹
    The 6th WSAES International Conference on Dynamical Systems and Control, 2010年05月, 英語, WSAES, チュニジア国 スース市 カンタウリ, 国際会議
    口頭発表（一般）

  • Feedback control of parallel-flow heat exchanger equations using a forwardstepping method
    佐野 英樹, 中桐 信一
    2010年度日本数学会函数解析分科会, 2010年03月, 日本語, 日本数学会, 慶応大学, 国内会議
    口頭発表（一般）

  • Backstepping boundary control of first-order coupled hyperbolic partial integro-differential equations
    中桐 信一, 佐野 英樹
    2010年度日本数学会函数解析分科会, 2010年03月, 日本語, 日本数学会, 慶応大学, 国内会議
    口頭発表（一般）

  • 移流拡散方程式系の安定化 －境界制御・境界観測を伴う場合－
    佐野 英樹
    神戸数学的制御理論研究集会, 2010年01月, 日本語, 神戸大学 瀧川記念会館, 国内会議
    口頭発表（一般）

  • Feedback control of parallel-flow heat exchanger equations using a forwardstepping method
    佐野 英樹, 中桐 信一
    The 14th WSAES International Conference on Applied Mathematics, 2009年12月, 英語, WSAES, スペイン カナリー諸島 テネリフェ プエルト デラ クルツ, 国際会議
    口頭発表（一般）

  • Backstepping boundary control of first-order coupled hyperbolic partial integro-differential equations
    佐野 英樹, 中桐 信一
    The 14th WSAES International Conference on Applied Mathematics, 2009年12月, 英語, WSAES, スペイン カナリー諸島 テネリフェ プエルト デラ クルツ, 国際会議
    口頭発表（一般）

  • 天井クレーンの分布定数モデルと安定化について
    佐野 英樹
    神戸解析セミナー, 2009年10月, 日本語, 神戸大学 大学院理学研究科, 国内会議
    口頭発表（一般）

  • Boundary stabilization of a parallel-flow three-fluid heat exchange process considering diffusive effect
    佐野 英樹, 中桐 信一
    2009年度日本数学会函数解析学分科会, 2009年09月, 日本語, 日本数学会, 大阪大学, 国内会議
    口頭発表（一般）

  • Boundary stabilization of a parallel-flow three-fluid heat exchange
    佐野 英樹, 中桐 信一
    2009年度日本数学会函数解析分科会, 2009年09月, 日本語, 日本数学会, 大阪大学, 国内会議
    口頭発表（一般）

  • Boundary reachability of a parallel-flow three-fluid diffusive heat exchange process
    中桐 信一, 佐野 英樹
    2009年度日本数学会函数解析分科会, 2009年09月, 日本語, 日本数学会, 大阪大学, 国内会議
    口頭発表（一般）

  • Boundary reachability of a parallel-flow three-fluid diffusive heat exchange process
    中桐 信一, 佐野 英樹
    2009年度日本数学会函数解析学分科会, 2009年09月, 日本語, 日本数学会, 大阪大学, 国内会議
    口頭発表（一般）

  • 境界入力をもつ平行3層流拡散型熱交換プロセスの安定化
    佐野 英樹
    夏の偏微分方程式セミナー2009, 2009年08月, 日本語, 龍谷大学セミナーハウス「ともいき荘」, 国内会議
    口頭発表（一般）

■ 所属学協会
  • The Institute of Systems, Control and Information Engineers

  • The Society of Instrument and Control Engineers

  • The Mathematical Society of Japan

  • The Japan Society for Industrial and Applied Mathematics

  • システム制御情報学会

  • 日本数学会

  • 計測自動制御学会

  • 日本応用数理学会

■ 共同研究・競争的資金等の研究課題
  • ファン・デル・ポール境界条件をもつ双曲型方程式の同期化制御とその秘匿通信への応用
    佐野 英樹
    日本学術振興会, 科学研究費助成事業 基盤研究(C), 基盤研究(C), 神戸大学, 2021年04月 - 2025年03月
    本研究では、情報化社会で重要なセキュリティの強い秘匿通信システム(情報信号を暗号化／復号するシステム)を構築するために、カオス的な振動現象を引き起こす双曲型偏微分方程式に着目して、その同期化制御を取り上げている。本研究の目的は、カオスを発生させる非線形境界条件(具体的にはファン・デル・ポール境界条件)を有する双曲型偏微分方程式に対して、同期化のための制御則を設計し、それを用いて効率的でかつ安全性の高い秘匿通信システムを構築することである。 常微分方程式で記述されるシステムは集中定数系と言われ、その範疇ではカオス同期化を利用した秘匿通信システムの構築が1990年代半ば頃から多くの研究者によって考案されてきた。いずれもカオス的に振る舞う信号に通信情報を埋め込んで送信し、カオス同期化を利用してそれを取り出すという考え方に基づいている。それに対して、分布定数系のカオスを利用した秘匿通信システムの構築に関しては、佐野・若生・谷口の先行研究(SICE Trans. 2021年2月)があるが、そこでは双曲型偏微分方程式系の時空間異方性までは考慮されていなかった。すなわち、先行研究は分布定数系のカオスが秘匿通信に利用できるという可能性を示すものであり、セキュリティの強さを追求するものではなかった。令和3年度は時空間異方性を考慮した双曲型偏微分方程式系に拡張し、秘匿通信システムの安全性を数値実験にてError Function Attack (EFA)関数を用いて検証した。その結果、異方性そのものが暗号鍵として有用であることが明らかになった。

  • 佐野 英樹
    学術研究助成基金助成金／基盤研究(C), 2015年04月 - 2019年03月, 研究代表者
    競争的資金

  • 南部 隆夫
    学術研究助成基金助成金／基盤研究(C), 2013年04月 - 2016年03月
    競争的資金

  • 佐野 英樹
    学術研究助成基金助成金／基盤研究(C), 2011年, 研究代表者
    競争的資金

  • 南部 隆夫
    科学研究費補助金／基盤研究(C), 2010年
    競争的資金

  • 佐野 英樹
    科学研究費補助金／基盤研究(C), 2009年, 研究代表者
    競争的資金

  • 放物型偏微分方程式系のサンプル値制御に関する理論的・数値実験的研究
    佐野英樹
    科学研究費 基盤研究(C)(2), 2004年04月 - 2006年03月, 研究代表者
    競争的資金

  • 慣性多様体と無限次元システムのロバスト安定化
    佐野英樹
    科学研究費 若手研究(B), 2002年04月 - 2004年03月, 研究代表者
    競争的資金

  • 放物型偏微分方程式系のロバスト制御
    佐野英樹
    科学研究費 奨励研究(A), 1999年04月 - 2001年03月, 研究代表者
    競争的資金

  • 放物型境界制御系に対する代数的方法
    南部 隆夫, 内藤 雄基, 田畑 稔, 中桐 信一, 佐野 英樹
    日本学術振興会, 科学研究費助成事業, 基盤研究(C), 神戸大学, 1998年 - 1999年
    1.Dirichlet型(第一種)とRobin型(第二種)が混在する複雑な境界条件をそなえた放物型境界制御系に対する安定化を研究した。従来の積分変換による方法では考察できない制御系であり、新しい代数的アプローチを提唱して、系の可制御性、可観測性に関連付けて安定化を達成する十分条件を導いた。スペクトル作用素ではない一般の2階楕円形作用素を係数にもつ制御系に対しては、2つの非有界作用素間の(複素平面上、無限遠点での)スペクトル非干渉性のために一般化補償器を導入して、安定化を達成した。現在、数学的により困難な(補償器を経由しない)直接フィードバックスキームによる安定化論を展開中である(南部)。 2.上記の一般化補償器を含む安定化問題には、非有界作用素係数をもつ作用素方程式(Silvester方程式)が現れる。この方程式のフィードバック境界値問題に関わる代数構造を明らかにした(南部)。 3.Hilbert空間における、ダンピング項のある2階線形放物系に対する近似可制御性を、HUM法(Hilbert uniqueness method)を経由して論じ、その十分条件を求めた。また、sine-Gordon方程式の有限要素法(FEM)による解の数値解析的近似の研究を行った(中桐)。 4.EU通貨統合におけるように、大規模な労働人口移動を伴う経済現象について、非線形偏微分-積分方程式により数理モデル化を行い、大域解の存在の証明を行った。また安定論の立場から、その漸近挙動についても論じた(田畑)。 5.係数や領域に対称性をもつ非線形楕円形偏微分方程式に対して、対称解や正値解の存在を、常微分方程式からの手法を経由して証明した。また、最近注目されているmoving sphere methodという手法を、より広いクラスの偏微分方程式へ一般化することに成功した(内藤)。 6.制御系の外乱に対する堅固さ(robustness)に関連するH^∞制御の概念を考慮した線形放物系安定化を考察し、その十分条件を求めた。また、制御アクチュエータや観測重み関数が時間の周期関数である場合に、上記の安定化問題を、Brunovsky(JDE,1969)の結果を一般化することにより解いた(佐野)。

TOP