学位

• 博士（工学）(大阪大学)

経歴

学歴

受賞

• 2023年度電子・情報・システム部門 査読促進賞
• 2019年度FA財団論文賞
• 2018年度日本機械学会賞（論文）
• 計測自動制御学会制御部門・パイオニア技術賞
• Journal of Artificial Life and Robotics Excellent Reviewer Award 2019
• 計測自動制御学会産業応用部門・技術賞
• 優秀論文顕彰
• 部門大会技術賞
• FA財団論文賞
• Finalist of CACS 2014 Best Paper Awards (Best Application Paper)
• 計測自動制御学会 システム・情報部門学術講演会 2010年度奨励賞

その他

• IIFES2022（...
• SEMICON Ja...
• イノベーション・ジャ...
• SIP／重要インフラ...
• SIP／重要インフラ...
• IIFES2019，...
• SIP／重要インフラ...
• イノベーション・ジャ...
• SIP／重要インフラ...
• システムコントロール...
• システムコントロール...

論文

• On the Attack Detection Performance of Information-theoretic method in Industrial Control System
• On Vulnerability and Robustness Analysis of Railway Control System Using Digital Twin Model
• Covert Vehicle Misguidance and Its Detection: A Hypothesis Testing Game Over Continuous-Time Dynamics [DOI] [Othres link] [ResearchMap]
• Consideration of effectively training method and system for control system operators in OT and IT [DOI]
• Privacy-Preserving Platoon Velocity Control Considering Inter-Vehicle Distance [DOI] [ResearchMap] [ResearchMap]
• Steering Control Considering Motion Sickness and Vehicle Performance Via DDPG Algorithm and 6-DoF-SVC Model [ResearchMap] [ResearchMap]
• Demand-for graph and its state transition expression evaluating traffic congestion due to CAVs control [DOI] [Othres link] [ResearchMap] [ResearchMap]
• Opacity Analysis of Asymmetric Dual Control Structure
• Preliminary Report on the Basic Training Program for Cybersecurity in Control Systems
• Vehicle motion planning for ride comfort using subjective vertical conflict model [ResearchMap] [ResearchMap]
• Data-driven path-following control considering motion sickness [ResearchMap] [ResearchMap]
• Filtering Function to Mitigate the Impact of Cyber Attacks in Cooperative Adaptive Cruise Control [DOI] [Othres link] [ResearchMap] [ResearchMap]
• Synthesis of resilient fallback control system under cyber-attacks via supervisory control [DOI] [Othres link]
• 有限オートマトンと経路探索に基づくサイバー攻撃発生時の回復動作の導出 [DOI] [Othres link]
• 攻撃キルチェーンと多層防御モデルに基づく産業制御システム向けモデルベースセキュリティ対策設計方式 [DOI] [Othres link]
• MPS法の分散計算化による群ロボットの流体的衝突回避の実現 [DOI] [Othres link]
• Model Reconstruction via Hieralchical Supervisory Control with Cyber Attacks [DOI] [Othres link]
• Direct Consideration of Passenger States for Ride Comfort Improvement in Autonomous Vehicle's Velocity Planning
• On the Relationship between Opacity and Place-Invariants of Asymmetric Dual Control Systems
• Anomaly Detection in LiDAR Data Using Virtual and Real Observations [DOI] [Othres link]
• Poisoning attack on VIMT and its adverse effect [DOI] [Othres link] [Othres link]
• Packet Analysis and Information Theory on Attack Detection for Modbus TCP [DOI] [Othres link]
• On Interrupt Location Design for Vehicular Platoon via Eigenvalue Constraint [DOI] [Othres link]
• Prototype experimental environment using actual equipment for remote control security verification [DOI] [Othres link]
• MPC path planning considering ride comfort [DOI] [Othres link]
• Long-distance Remote Security Diagnostics during Maintenance Testing: A Practical Application and Evaluation
• On the Feedback Type Prediction Governor for CACC System
• On Multi-Rate Prediction Governor for CACC System with Sensor Errors and Communication Delays [DOI]
• Continuous-Time Receding-Horizon Estimation Via Primal-Dual Dynamics and Stability Analysis [DOI]
• Ladder Implementation of Resilient Fallback Logic against Cyberattacks
• Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis [DOI]
• Continuous-Time Receding-Horizon Estimation via Primal-Dual Dynamics on Vehicle Path-Following Control [DOI] [Othres link]
• Polygonal obstacle avoidance method for swarm robots via fluid dynamics [DOI] [Othres link] [Othres link]
• Incentive and nudge design for human behavioural change [DOI] [Othres link]
• Autonomous decentralized lighting control system with enumerative anomaly detection
• On switched objective function focused on driver's condition for shared control
• A Structured Cyber Attack Representation Model based on the Diamond Model and Adversary States [DOI] [Othres link]
• Dependable Connectivity for Cyber Physical Human Systems in Open Fields [DOI] [Othres link]
• Model Verification of Fallback Control System Under Cyberattacks Via UPPAAL [DOI]
• Vulnerability Modeling and Protection Strategies via Supervisory Control Theory [DOI]
• On the Prediction Governor Application to Adaptive Cruise Control
• Human-In-The-Loop System for Rear-Wheel Steering Control Via Primal-Dual Dynamics
• Continuous-Time Receding-Horizon Estimation via Primal-Dual Dynamics
• Demand for-graph evaluation of traffic congestion due to Altruistic Lane Changes of CAVs [DOI]
• 車群位置推定のための補間型分散協調オブザーバとオンライン更新 [DOI]
• Diamond modelと攻撃状態に基づくサイバー攻撃シナリオ構造化表現モデル [DOI]
• Network weight and time-varying potential function for obstacle avoidance of swarm robots in column formation [DOI] [Othres link]
• Synthesis and Implementation of Resilient Fallback Control Logic Under Cyberattacks
• Examination of Allowlist Using Markov Decision Process for Industrial Control Systems
• Polygon-Wall based Obstacle Avoidance for Swarm Robots in Column Formation
• Adaptive Cruise Control to reflect driver individuality via Human-In-the-loop-system
• An analysis of expansion and reduction speeds of traffic jams on graph exploration [DOI] [Othres link] [Othres link]
• Model Verification of Resilient Third-Party Monitoring System Against Cyberattacks [DOI]
• Anomaly Detection and Anomaly Location Model for Multiple Attacks Using Finite Automata [DOI]
• Asset Management Method of Industrial IoT Systems for Cyber-security Countermeasure [DOI]
• Multi-Rate Switched Pinning Control for Velocity Control of Vehicle Platoons [DOI]
• On MPC-based Driver Assistance System for Driver Preview Action
• Network Weight Function for Obstacle Avoidance of Swarm Robots in Column Formation
• PLCの動作順序を監視するホワイトリストの自動生成手法 [DOI]
• H∞制御を用いた摩擦伝達装置のジャダー抑制 [DOI] [CiNii Books] [CiNii Research] [Othres link] [Othres link]
• A Sparse Pinning Control for Vehicle Platoon via Sequential l1 Optimization [DOI]
• Analysis and stabilizing design of self-excited oscillation in a loading cam using a wedge effec [DOI] [CiNii Research (CiNii Articles)]
• ヘテロジニアスなエージェント群のグラフ探索における役割交換と探索効率の関係 [DOI]
• Synthesis of Resilient Third-Party Monitoring System Against Cyberattacks via Supervisory Control [DOI]
• OpenPLC based control system testbed for PLC whitelisting system [DOI]
• Distributed Cooperative Partial-State Observer for Position Estimation of Vehicle Platoon [DOI]
• Rear-wheel steering control reflecting driver personality via Human-In-The-Loop System [DOI]
• Method of Asset-Configuration Management for Strengthening Cybersecurity of Industrial Control Systems
• Investigation of Cyber Attack Emulation Methodology for Industrial Control Systems
• On the Instant Iterative Learning MPC for Nonlinear Systems [DOI]
• Path Planning and Tracking Method for Multiple Platoons via Switched Pinning Control
• A consideration of white list creating algorithm for industrial network protocols at network switch [DOI] [Othres link]
• モデルベース開発の為のエネルギー検証自動化とモデリングガイドライン [DOI]
• Generic Transport Model を用いた航空機の上下加速度に対する最悪外乱の一解析 [DOI] [Othres link]
• Event-Triggered Switched Pinning Control for Merging or Splitting vehicle Platoons [DOI]
• Periodic Event-Triggered Control for Extended Plants of Linear Systems - A Convex Approach [DOI]
• Switched Pinning Control for Merging and Splitting Maneuvers of Vehicle Platoons [DOI] [Othres link]
• 拡大系に対する周期的事象駆動制御系の設計 [DOI]
• Experimental Verification of Fallback Control System on Whitelisting System for Industrial Controller
• Modeling guideline for the energy-based auto-verification
• Modeling of third-party monitoring system using timed automata
• On the Profile Verification of IoT Application on Node-RED
• On the implementation of multiple anomaly detection functions to a third-party monitoring system for secured control [DOI]
• Switched Pinning Control for Vehicle Platoons via Mixed Logical Dynamical System Modeling [DOI]
• エネルギー保存則に基づく複合物理領域モデルの検証
• An Approach to Renewable-Energy Dominant Grids via Distributed Electrical Energy Platform for IoT Systems [DOI] [Othres link]
• Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System
• The Energy-Based Auto-Verification focused on Hierarchical Model Structure for Model Based Development
• Control System Security Training and Education in UEC
• Event Triggered Model Predictive Control for Descending Drone
• Dynamic Profile Modeling for Node Connectivity Verification on Node-RED
• On the Driving State Separation and Estimation of Industrial Control System Using Machine Learning
• Generic Transport Modelを用いた航空機の縦運動に関わる最悪外乱の一解析 [DOI]
• Whitelisting Cyber Attack Detection according to Estimated Operational States for CPS [J-GLOBAL]
• グラフ列挙による風力・太陽光・蓄電池複合システムの重複グルーピング最適化 [DOI]
• Control Flow Verification for Program Safety Update
• Self-Triggered Optimal Control Based on Path Search Algorithm [DOI] [Othres link]
• Energy balance based Verification for Model Based Development
• 分散協調制御システムに基づく迷路探索問題における通信手段と探索効率の関係
• Grouping optimization for Wind-Photovoltaic-Battery Hybrid System using graph enumeration
• A path searching algorithm for the event-triggered model predictive control
• Multi-physics model verification based on the law of energy conservation [DOI]
• 風力・太陽光・蓄電池複合システムの重複分散運用の検討 [DOI]
• On Experimental validation of Whitelist Auto-Generation Method for Secured Programmable Logic Controllers
• Collaborative Model-based Fallback Control for Secured Networked Control Systems
• Maximizing Traffic Flow of Automated Guided Vehicles based on Jamology and Applications [DOI]
• On the Driving State Management of Control System Using Error Correction Code
• On the ID-Based Swarm Formation and Preservation of Self-Organizing Robots
• A Path Searching Algorithm for Optimal Control Problems of Hybrid Systems Application to a Self-Triggered Control System
• On the Communication Message Obfuscation for Smart Homes
• Model Based Anomaly Detection Focused on the Operating States [J-GLOBAL]
• Invariant Set Analysis for SISO Discrete-Time Polynomial Systems with Dynamic Quantizers [DOI]
• 通信可能範囲を考慮した分散協調制御システムに基づく迷路探索 [DOI]
• 組み込みシステムの無瞬断更新のためのカルマン正準分解に基づくプログラム解析 [DOI]
• Model-based Anomaly Detection Method for PLC Whitelist
• On autonomous distributed operation of LiB combined type SOFC system
• A prototype of cooperative whitelist protection for control systems considering plant life cycle
• On Experimental Verification of Model Based White list for PLC Anomaly Detection
• On Software Update Analysis via Kalman Decomposition
• Model based fallback control for networked control system via switched Lyapunov function [DOI]
• 電磁比例弁内のスプールに作用するクーロン摩擦力に起因した不安定振動の解析と安定化させるための設計法 [DOI] [CiNii Research (CiNii Articles)]
• Fallback and Recovery Control System of Industrial Control System for Cybersecurity
• Fallback and Recovery Control System of Industrial Control System for Cybersecurity [DOI]
• 自動車の前後制動力配分のシミュレーションモデルベース最適化 [DOI]
• Control of self-organizing robots with switching role: Addition of robots in the multi columns formation moving
• Model-based security incident analysis for control systems via Petri net
• Model Based Incident Detection via Field Network Information
• Maximum Transportation Throughput of Automated Guided Vehicle System by use of Models of Traffic Capacity and Traffic Capacity Consumption [Web of Scientce]
• Model-based Cybersecurity for Control Systems: Modeling, Design and Control [Web of Scientce]
• Rule Based Fallback Control System via Kalman Decomposition
• Dynamic Quantizer Design Under Communication Rate Constraints [DOI] [Web of Scientce]
• Multiple Agents Maze Exploration with Deadlock Avoidance
• Brake force distribution optimization using simultaneous perturbation stochastic approximation
• A Toolchain on Model Checking SPIN via Kalman Decomposition for Control Systems Software
• On the output feedback control of discrete-valued input systems [DOI] [Othres link]
• Model Predictive Control for Dispatching and Conflict-free Routing Problems based on Model Reformulation
• 電磁比例弁内のクーロン摩擦力に起因した自励振動の解析 [DOI] [CiNii Research] [Othres link]
• Control of self-organizing robots with switching role: Multi columns formation moving
• Hybrid vehicles design based on simultaneous perturbation optimization
• Experimental Validation of Encrypted Controller Implemented on Raspberry Pi [DOI] [Web of Scientce]
• Maximum Traffic Flow of Automated Guided Vehicle Based on Jamology
• Studies on Software Model Checking via Kalman Decomposition
• Formation control of Self-Organizing robots with switching role
• Model reformulation for conflict-free routing problems using Petri Net and Deterministic Finite Automaton [DOI]
• Real machine verification of task scheduling method in distributed processing
• Energy balance based verification for hybrid vehicle models
• Free-viewpoint Video Synthesis from a Movable 2D Cammera Array
• On the discrete-time modeling for efficient OHT scheduling
• Invariant Set Analysis for Discrete-Time Polynomial Nonlinear Feedback Systems with Dynamic Quantizers [Web of Scientce]
• A Fallback Control Study of Networked Control Systems for Cybersecurity [Web of Scientce]
• Security Enhancements of Networked Control Systems Using RSA Public-Key Cryptosystem [Web of Scientce]
• Reduced-order dynamic quantizer synthesis for discrete-valued input systems [Web of Scientce]
• Sampled-data model following control for discrete-valued input systems via improved matrix uncertainty approach [Web of Scientce]
• RSA公開鍵暗号を用いたネットワーク制御系のセキュリティ強化 [DOI] [Web of Scientce]
• Virtual Grid for Renewable Energy Society [Web of Scientce]
• Model Based Fallback Control for Networked Control System via Switched Lyapunov Function [Web of Scientce]
• Sampled-data model following output feedback control for discrete-valued input systems [Web of Scientce]
• Model following control for continuous-time discrete-valued input systems [DOI]
• Model following control for continuous-time discrete-valued input systems via matrix uncertainty approach
• 状態空間表現による自律無人搬送車のタスク割当てと経路計画の同時最適化 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Model following control for continuous-time discrete-valued input systems
• Data Processing of Hybrid Vehicle Driving using Cluster Analysis
• Air-conditioner adaptation for indoor environmental change via summational type adaptive observer
• Model following output feedback controller synthesis for discrete-valued input systems [Web of Scientce]
• On the idle time control for multistep scheduling algorithm in parallel and distributed processing [Web of Scientce]
• On the idle time control for multistep scheduling algorithm in parallel and distributed processing [Web of Scientce]
• Output feedback controller synthesis for continuous-time discrete-valued input systems: Model following control case [Web of Scientce]
• Model following output feedback controller synthesis for discrete-valued input systems [DOI] [Web of Scientce]
• On the Adaptive Observer for Summational Type State Space Equations [Web of Scientce]
• A smartphone centered system for home appliances [Web of Scientce]
• Dispatching and Conflict-free Routing based on Model Predictive Control in Semiconductor Fab [Web of Scientce]
• Energy balance based verification for hybrid vehicle models [Web of Scientce]
• Simultaneous Optimization of Dispatching and Routing for OHT Systems via Hybrid System Modeling
• On the Numerical Optimization Design of Continuous-Time Quantizer: A Matrix Uncertainty Approah
• Dynamic quantizer design for MIMO systems based on communication rate constraint [DOI]
• 半導体搬送用台車の連続時間ロバスト有限時間整定制御 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Simultaneous Optimization of Dispatching and Routing for OHT Systems via Hybrid System Modeling [Web of Scientce]
• Optimal scheduling of automatic guided vehicle transportation system based on MLD system modeling [Web of Scientce]
• Synthesis of continuous-time dynamic quantizers for LFT type quantized feedback systems [Web of Scientce]
• On the output feedback control of discrete-valued input systems [DOI]
• Optimal scheduling of automatic guided vehicle system via state space realization [DOI]
• Synthesis of continuous-time dynamic quantizers for LFT type quantized feedback systems [DOI] [Web of Scientce]
• Multistep Scheduling Algorithm for Parallel and Distributed Processing in Heterogeneous Systems with Communication Costs [DOI] [Web of Scientce]
• Numerical Optimization Design of Dynamic Quantizer via Matrix Uncertainty Approach [DOI] [Web of Scientce]
• Multistep Scheduling Algorithm for Parallel and Distributed Processing with Communication Costs [DOI] [Web of Scientce]
• Air-conditioner adaptation for environment change indoors via constant-trace algorithm
• On the Charging and discharging cycle design for HV batteries evaluation
• 通信容量制約を満足する動的量子化器の出力可到達領域に基づいた性能改善 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Synthesis of continuous-time dynamic quantizers for quantized feedback systems [DOI]
• On numerical optimization design of continuous-time feedback type quantizer for networked control systems [DOI]
• On the adaptation of the air-conditioner to the indoor environment using the Constant-Trace Algorithm [Web of Scientce]
• Charging and discharging cycle design for performance evaluation of HV batteries [Web of Scientce]
• Dynamic quantizer design for MIMO systems based on communication rate constraint [Web of Scientce]
• Dynamic modeling for optimal scheduling of automatic guided vehicle system
• 半導体搬送用台車のモデリングとキャリブレーション－フープ積載量に対するモデル精密化－ [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 通信容量制約に基づく動的量子化器の統合設計 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Dynamic quantizer design for MIMO systems based on communication rate constraint [DOI]
• Synthesis of dynamic quantizers for quantized feedback systems within invariant set analysis framework [Web of Scientce]
• Synthesis of decentralized dynamic quantizer within invariant set analysis framework [DOI]
• Integrated design of filter and interval in dynamic quantizer under communication rate constraint [DOI]
• 通信容量制約に基づくMIMO系に対する動的量子化器設計 [DOI]
• Optimal Task Schedule of Parallel Processing
• Multi Function Printer Controlled by Images
• 離散値入力型SISOシステムに対する不変集合解析に基づく動的量子化器設計 [DOI]
• A design procedure of discrete-time tracking control systems with actuator saturation
• Modeling and Calibration of Automatic Guided Vehicle
• Dynamic quantizer synthesis based on invariant set analysis for SISO systems with discrete-valued input [CiNii Research (CiNii Articles)]
• 通信容量制約に基づく動的量子化器の量子化幅設計と性能解析 [DOI] [CiNii Research (CiNii Articles)]
• Optimal quantization interval design of dynamic quantizers which satisfy the communication rate constraints [DOI]
• A multi-sector analysis for dynamic quantizer synthesis [DOI]
• Implementation test model of torque control for Automatic Guided Vehicle [Web of Scientce]
• Optimal Quantization Interval Design of Dynamic Quantizers which Satisfy the Communication Rate Constraints [Web of Scientce]
• Generalized sector synthesis of reduced-order output feedback controllers for servosystems with control input saturation
• Generalized sector synthesis of output feedback control with anti-windup structure [DOI] [Web of Scientce]
• 低次出力Feedback/Anti-windup補償器による安定化設計―補償器の次数と制御性能の関係 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• 入力飽和を有するサーボ系に対する出力フィードバック補償器の設計方法 [DOI]
• 入力飽和を有するサーボ系の定常状態に関する条件の等価性 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• L∞performance analysis/synthesis for continuous-time control systems with actuator saturation under L∞ bounded disturbance
• A design procedure of output regulation problems for anti-windup control systems [Web of Scientce]
• Relation between single-stage and two-stage method for antiwindup control synthesis [CiNii Research (CiNii Articles)]
• On the relation between analysis and synthesis conditions for discrete-time systems with saturation nonlinearities [Web of Scientce]
• LMI-based L2 analysis/synthesis with saturating control via generalized sector approach [CiNii Research (CiNii Articles)]

その他業績

• スマート保安とセキュリティ教育
• サイバー攻撃を想定した制御システムデザインと運用 [DOI] [Othres link]
• エネルギー保存則に基づくプラントモデルの検証
• Special Issue on Navigation and Control Technologies for Autonomous Mobility [DOI] [Othres link]
• スマート保安とセキュリティ
• 制御システム向けセキュリティ対策技術
• 制御分野におけるモデル活用型攻撃検知と縮退制御
• 次世代システム制御理論とは何か：序論
• 次世代システム制御理論とは何か：本論
• 編集後記
• コントローラホワイトリストの自動化と検証
• コントローラに対するホワイトリスト式サイバー攻撃検知
• 総論：制御システムセキュリティの現代と次世代
• 超スマート社会の社会品質を支えるi-パワードエネルギー・システム [J-GLOBAL]
• 制御システムとサイバーフィジカルセキュリティ [DOI]
• 超スマート社会の社会品質を支えるi-パワードエネルギー・システム [CiNii Books] [CiNii Research] [Othres link] [Othres link]
• PLCのためのモデルベースホワイトリスト
• 制御システムセキュリティ技術としてのモデルベース縮退運転システム
• 総論「産業システム連携のこれから－特集号発刊によせて」 [DOI]
• 再生可能エネルギー指向自律分散グリッドーバーチャルグリッドー [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 制御系セキュリティのためのモデルベース技術 (高信頼制御通信) [CiNii Research (CiNii Articles)] [Othres link]
• サーボ系・内部モデル原理

講演・口頭発表等

• 車群制御における目標状態のプライバシー化 [ResearchMap] [ResearchMap]
• TCP/IP通信モデルに基づく産業制御システムのセキュリティ教育プログラムの検討 [ResearchMap]
• 動揺病を考慮した理想車両運動計画のための評価関数重み最適化 [ResearchMap] [ResearchMap]
• 制御とモビリティのセキュリティ [ResearchMap] [ResearchMap]
• 車間距離制御を考慮したプライバシー保護型車群速度制御
• データ駆動制御に基づくコーナリング時の乗り心地評価
• デジタルツイン表現による鉄道制御システムの脆弱性解析と強靭化
• 仮想/実観測の時系列差分によるLiDARデータの異常検出
• 強化学習を用いた速度計画生成アルゴリズムの動揺病および車両性能の評価 [ResearchMap]
• 補完型状態予測を用いた非線形モデル予測制御による牽引車制御 [ResearchMap]
• 目標車速推定に対するプライバシー保護型車群速度制御 [ResearchMap]
• クルーズコントロールに対するデータ駆動制御と毒化攻撃の検討 [ResearchMap]
• 状態分離によるプライバシー保護型車群速度制御に関する研究 [ResearchMap]
• サイバー攻撃下における協調型車間距離制御装置に対するフィルタリング機能の開発
• サイバー攻撃下での階層的スーパーバイザ制御によるモデル再構築 [ResearchMap]
• 制御システムの攻撃検知における尤度比検定を用いた誤検知・検知漏れの一評価
• デジタルツインによる鉄道制御系の脆弱性評価と強靭化の検討
• 乗り⼼地を考慮したデータ駆動型経路追従 [ResearchMap]
• レジリエンスな⾞群ネットワークに対するプライバシー保護性能の⼀評価 [ResearchMap]
• 強化学習を⽤いた燃費および乗り⼼地の改善 [ResearchMap]
• ⾞群制御におけるセンサインシデント影響を削減する協調型フィルタリング機能の開発 [ResearchMap]
• 自動運転車の速度計画における乗員状態考慮の乗り心地向上に対する有効性 [ResearchMap]
• プライバシー保護型車群速度制御の速度応答と情報開示集合に対する一考察 [ResearchMap]
• 制御システムにおける攻撃検知手法の理論的かつ網羅的評価の一検討
• 制御システムのサイバー攻撃における尤度比検定からの一評価
• プライバシー保護型平均合意制御を適用した車群速度制御に関する研究
• CACCにおけるセンサインシデント影響を削減するフィルタリング機能の開発
• 攻撃下の自律分散系の制御継続機能の対称性と可観測性の実験的評価
• スーパーバイザ制御理論によるサイバー攻撃を考慮した縮退運転モデルの設計
• プラント点検ロボットにおける仮想 / 実観測の時系列差分による異常検出
• 列挙型異常検知を用いた自律分散型照明制御システム
• 固有値制約に基づく車群に対する割り込み位置の最適化に関する研究
• 情報理論を用いたModbus TCP通信のパケット解析と攻撃検知に関する検討
• モデル予測制御による乗り心地を考慮した経路生成法
• 流体的衝突回避を実現する群ロボットの分散計算と通信量の関係
• Human in the loop systemによるドライバ操作と支援操作の協調性評価
• Connected ACCに対する前前方車情報を用いたフィルタリング機能の検討
• サイバー攻撃発生時の安全復旧を目的とした空間分割に基づくスーパーバイザ設計
• 制御システムでの強化学習によるブロックリストの生成
• スマートBA システムを支える安全安心なセキュア制御ネットワーク
• センサ攻撃を受ける協調型車間距離制御装置に対するフィルタリング機能の検討
• 強化学習を用いた制御システムのブロックリストの設計
• 制御系のサイバー攻撃からの安全復旧のための空間分割に基づく回復スーパーバイザ
• Modbus TCP通信のパケット解析と相対エントロピーによる攻撃検知に関する検討
• 認証信号付きカルマンフィルタに対するレギュレーション性能と攻撃検知率の実験的評価
• 制御からみたサイバーセキュリティ～難しいこと簡単なこと
• CACCシステムに対する予測ガバナの適用
• 通信切替を伴うマルチエージェントシステムの分散型Receding Horizon Total Control
• サイバー攻撃下での制御系回復のためのスーパーバイザ設計
• 強化学習に基づく制御システムの脆弱性評価
• 制御システムのセキュリティ動向と制御機器から始める信頼性向上
• 通信遅延を考慮した経路計画に基づく自動運転に関する研究
• 自動運転機能と異なる判断基準を持つドライバを想定した切替型 Shared Control
• サイバー攻撃にレジリエントなPLC向け縮退ロジックの実装
• スーパーバイザの設計による脆弱性の表現とその防御方策
• 切替型Shared Controlにおけるドライバ支援方法の検討
• 予測ガバナによる自車両のセンサ誤差を考慮したACCの設計
• 制御システムのセキュリティ技術：縮退制御と回復制御
• FAシステムにおけるサイバーセキュリティ技術：縮退制御と回復制御
• サイバー攻撃下での制御システムにおける復帰動作順序の導出方法
• シーケンス制御システムのホワイトリスト式異常検知のためのモデル化の検討
• 自動運転車両の利他的な車線変更に起因する渋滞とその解消速度の評価
• 予測ガバナによる前方車両の一時停止を考慮したACCの設計
• ドライバの予見動作に応じた切替型Shared Controlに関する研究
• 離散化主双対勾配アルゴリズムによるReceding-Horizon Estimationの提案
• スーパーバイザ制御に基づく脆弱性の表現とその防御方法の検討
• 切替を伴うマルチエージェントシステムの分散型 Receding Horizon Total Control
• サイバー攻撃に対するレジリエントな縮退運転システムの設計と実装
• 制御システムにおけるインシデント発生後の状態復帰動作の導出方法
• 制御システムに対する脆弱性を考慮したスーパーバイザの設計
• シーケンス制御システムに対するホワイトリスト式異常検知のための正常状態遷移のモデル化
• Human-In-The-Loop Systemによるドライバ個性を反映したAdaptive Cruise Control
• サイバー攻撃に対するレジリエントなスーパーバイザの設計
• 産業用制御システムのためのマルコフ決定過程を用いたホワイトリスト生成の検討
• 混雑緩和のための行動モデリングと制御
• 複数列縦隊移動するロボット大群の障害物回避のためのネットワーク重み関数
• ドライバの予見動作を支援するMPC型自動運転システムに関する研究
• 二重化制御システムにおける異常発生時の制御器引き継ぎ方法
• FAシステムにおけるサイバー攻撃検知～機器連携とログ活用
• 複数攻撃に対する有限オートマトンを用いた異常検知と異常箇所判定モデル
• 制御システムのモデルベースセキュリティ
• 制御工学からアプローチしたサイバーセキュリティ～何が難しく何が簡単なのか～
• 電力インフラのエッジデバイスに適用可能なセキュリティ機能開発
• IoT社会におけるインフラシステムのサイバーセキュリティ
• 予測誤差フィードバックを有するガウス過程回帰による制御システムの異常検知
• FA用3Dシミュレータによるセキュリティ検証用ベンチマークモデル開発の提案～制御システムのホワイトリスト～
• 連続時間最適化アルゴリズムによる線形モデル予測制御と受動性に基づく収束性解析
• 車群速度制御のためのスパースピニング制御
• ドライバの予見動作を支援するMPC型自動運転システムに関する研究
• 複数列縦隊移動するロボット群の障害物回避のためのネットワーク重み関数
• 有限オートマトンモデルに基づく複数攻撃に対する異常検知と異常箇所推定
• 制御システムに対する縮退運転ロジックの設計
• シーケンス制御のホワイトリスト式異常検知のための並列動作のモデル化
• 産業制御システム向けサイバー攻撃エミュレーション技術の調査
• 産業制御システムのセキュリティを強化する資産管理手法
• コントローラホワイトリスト生成のための制御プログラム構造
• 複数攻撃を想定した有限オートマトンモデルによる異常検知と特定
• 制御システムに対する縮退運転のためのモデル化とシミュレーション解析
• ガウス過程回帰の信頼区間を利用した制御システムの時系列異常検知
• 制御システムセキュリティ：動くモノを守る技術
• 連続時間最適化アルゴリズムによる非線形モデル予測 制御の提案
• 小型マイクログリッドにおける協調給電プロトコルと正当性検証のためのモデル化
• 分散協調部分状態オブザーバを用いた車群位置推定における補間関数のスパースモデリング手法
• サイバー攻撃に対するレジリエントな第三者監視システ ムのモデル化
• 制御システムのための多階層型セキュリティ機能の開発
• 制御システムに対する協調型ホワイトリストの検討
• Human-In-The-Loop Systemによるドライバー個性を反映した後輪操舵制御
• サイバー攻撃に対するレリジエントな第三者監視システムの構築
• 非線形システムに対するinstant iterative learning MPCの提案
• プラトゥーン走行における分散協調オブザーバを用いた位置推定
• 航空機の上下加速度に対する有限時間の最悪外乱と最適入力
• 稼働状態を考慮した縮退機能付きコントローラホワイトリストの検討
• 縮退運転システムおよび協調型ホワイトリストによる制御システムのセキュリティ技術開発
• Human-In-the-Loop Systemによるドライバー個性を反映した自動運転に関する研究
• 切り替え型ピニング制御を用いた複数車群の経路計画と経路追従
• 協調型ホワイトリストによる制御システムの異常検知手法
• 時間オートマトンを用いた第三者監視システムのモデル化
• 機械学習による制御システムの運転状態を考慮した異常検知の検証
• 通信パケットの順序制約を考慮した制御ネットワークのホワイトリスト
• サイバー攻撃に対するレジリエントな第三者監視システムのモデル化 [DOI]
• i-パワードエネルギーによるデータ駆動型社会基盤と不具合未然防止
• サイバー攻撃に対する可用性を考慮した第三者監視システム
• エネルギー保存則に着目したプラントモデル検証自動化とモデリングガイドライン
• Node-REDにおけるアプリケーション開発のための動的プロファイル適用型モデル検証
• eneric Transport Modelを用いた航空機の上下加速度 に対する有限時間最悪外乱解析
• 車群合流および分離のための切り替え型ピニング制御
• クアッドロータの線形化における反復学習的モデル誤差抑制
• 協調型ホワイトリストにおけるPLCの縮退運転システム について
• 制御システムセキュリティの研究の始め方：ロボットアームを例題に
• 航空機の上下加速度に対する最悪突⾵の⼀解析ーGeneric Transport Modelを⽤い てー
• 協調型ホワイトリストによる多階層防御システムの実現
• グラフ理論に基づく産業用コントローラのためのホワイトリストの検証手法
• モデルベース開発の為のエネルギー検証自動化
• 再生可能エネルギーシステムの遠隔制御におけるセキュリティ評価環境の構築
• コントローラに対する第三者監視を用いた異常検知技術の提案
• ホワイトリスト研究開発ー協調ホワイトリスト防御システムー
• コントローラに対するホワイトリスト式サイバー攻撃検知
• MBDのためのエネルギーフローに着目したモデル検証技術
• シーケンス制御のプログラム安全更新のための基礎検討
• 機械学習による産業用制御システムの運転状態分離と推定
• 落下するクアッドロータ型ドローンのイベントトリガー型モデル予測制御
• 車群速度制御のための切り替え型ピニング制御
• ホワイトリスト運用を目的とした産業用制御システムの状態推定に関する検討
• 制御モデルに応じたホワイトリスト型攻撃検知手法の提案
• 産業用コントローラのホワイトリストの網羅テストについて
• サイバーセキュリティと制御
• グラフ列挙による風力・太陽光・蓄電池複合システムの重複グルーピング最適化
• 組み込みシステムの周期性に着目した更新プログラムの安全性検証
• 誤り訂正符号を用いた PLC 改ざん検知・修正アルゴリズム
• 経路計画手法に基づく事象駆動型最適制御
• 産業用コントローラに対するホワイトリストの検証方法
• 複数のCAEを用いたMBDの為のモデル検証
• 航空機の縦運動における最悪突風に関する一解析 - Generic Transport Modelを用いて -
• 連続的に進化する超スマート社会におけるCyber/Physical連携とプラットフォーム
• グルーピング列挙による風力・太陽光・蓄電池複合システムの重複グルーピング最適化
• サイバーセキュリティと制御
• 風力・太陽光・蓄電池複合システムの重複グルーピング最適化の検討
• 組み込みシステムのプログラム安全更新のための基礎検討
• エッジコンピューティングにおける誤り訂正符号を用いた異常検知・修正
• 非周期的サンプル値制御系における自己駆動型最適制御
• 産業用制御システムのためのホワイトリスト型振る舞い検知
• Theory and Applications of Encrypted Control Systems for Cyber Security
• モデルベース開発と制御システムセキュリティ
• ハイブリッド自動車のエネルギー検証の為のモデル階層化
• Generic Transport Modelを用いた航空機の縦揺れ運動に関わる最悪外乱の一解析
• 個体識別情報に基づく自己組織化ロボットの群れ形成・維持アルゴリズム
• 制御システムのホワイトリスト：多階層検知と協調動作
• PLCのためのホワイトリスト式異常検知技術
• 風力・太陽光・蓄電池複合システムにおけるグルーピング最適化の検証
• ホワイトリスト運用を目的とした制御システムの状態分離アルゴリズムの検討
• 制御システムのテストベッド構築と制御特性に着目した攻撃検知手法の提案
• 産業用コントローラに対するホワイトリストの自動生成手法の検討
• 分散協調制御型探索システムにおけるデッドロック解決のための通信手段の検討
• 合意制御における誤り訂正符号を用いた改ざん検知のための検査ビット共有化
• 制御系のサイバーセキュリティのための協調型ホワイトリスト
• ペトリネットを用いた渋滞現象のモデル化と動特性解析
• プラントライフサイクルによる協調ホワイトリスト防御の検討
• OpenPLCを用いた制御システムへのホワイトリスト式検知技術の実装と検証
• PLCに対するホワイトリスト式攻撃検知技術の開発
• マルチエージェントシステムによる迷路の協調探索における流量解析
• ZDDを用いた風力・太陽光・蓄電池複合システムのグルーピング最適化
• Society5.0時代に向けたサイバーセキュリティの動向、現状と課題
• 複数の家庭におけるLIB併用型SOFCの自律協調エネルギーシステムの一考察
• 風力・太陽光・蓄電池融合システムの重複分散運用の検討
• Simulation and Evaluation of Whitelisting Intrusion Detection Systems according to Life cycle in Industrial Control Systems models
• ホワイトリスト運用のための複数の制御機器情報に基づいた運転状態の推定
• OpenPLCを用いたロボットアーム制御システムの構築について (制御研究会 制御理論・制御技術一般) [Othres link]
• OpenPLCを用いたロボットアーム制御システムの構築について
• ホワイトリスト運用のための複数の制御機器情報に基づいた運転状態の推定 [Othres link]
• Graphillion に基づく制御ソフトウェアの可用性検査
• 通信可能範囲を考慮した分散協調制御システムに基づく迷路探索
• 誤り訂正符号を用いたリーダー・フォロワー合意におけるビザンチン将軍問題
• 場を介した情報共有による自己組織化ロボットの役割切替
• 誤り訂正符号を用いたリーダー・フォロワー合意におけるビザンチン将軍問題 [Othres link]
• Graphillionに基づく制御ソフトウェアの可用性検査 [Othres link]
• 多重解像度補間メッシュに基づく経路探索手法
• カルマン正準分解に基づいたソフトウェアのモデル検査について
• カルマン正準分解を用いた自律移動ロボットの無瞬断更新に関する研究
• 運転状態の推定に基づく協調型縮退運転システム
• PLCのためのホワイトリスト式検知技術に関する検討
• 自己駆動粒子モデルによる輻輳モニタリングルータのモデル化と制御
• 制御システムのためのモデルベースセキュリティ技術
• プロセス制御システムのライフサイクルに基づいたホワイトリスト
• ライフサイクルに応じた産業用制御システム向けホワイトリスト型侵入検知システムのモデル化とシミュレーション評価
• EddyStone-URLを用いた行方不明者捜索システムの開発 (知的環境とセンサネットワーク) [Othres link]
• EddyStone-URLを用いた行方不明者捜索システムの開発
• 異なる役割を持つエージェント群による迷路探索の研究
• 原子間ポテンシャルに基づく車群維持条件の考察
• LIB併用型SOFCによる家庭間協調エネルギーシステムの一考察
• Crowd Tracing: 第三者のスマートフォンを介したBLEデバイス遠隔制御法
• 復帰機能を備えたモデルベース縮退運転システムの実現
• 制御システムの第三者監視装置のためのモデルベース解析
• 複数の機器の連携とプラントのライフサイクルを考慮した防御技術の検討
• Quantized control based on invariant set analysis
• 電磁比例弁内のクーロン摩擦力に起因した自励振動の解析
• 役割切替を備えた自己組織化ロボットの制御：隊列移動における機体追加の実現
• ペトリネットに基づく制御システムのモデルベースセキュリティインシデント解析
• 制御システムのためのモデルベースセキュリティ技術
• リチウムイオン電池を併用した家庭用燃料電池の最適運用問題
• 自動車の前後制動力配分の数値最適化に関する研究
• 制御系セキュリティのためのモデルベース技術 (ヘルスケア・医療情報通信技術) [Othres link]
• 制御系セキュリティのためのモデルベース技術
• カルマン正準分解に基づくルールベース縮退運転システム
• 自律協調ロボット群による複数目的地探索の研究
• 同時摂動法と粒子群最適化によるハイブリッド自動車のシステム設計
• 暗号化制御則のリアルタイム性に対する実験的考察
• ルールベース縮退運転システムを用いたサイバーインシデント検出
• ネットワーク化制御系に対する双線形オブザーバを用いたモデルベース縮退運転の実現
• カルマン正準分解を用いたモデル検査のためのツール連携について
• 役割切替を備えた自己組織化ロボットの制御：2列隊列移動の場合
• Model-based Fall Back Control for Cybersecurity
• 通信制御系に対するモデルベース縮退運転システム
• 可動型多眼カメラによる自由視点映像生成
• 役割切替を備えた自己組織化ロボットの制御に関する研究
• ネットワーク制御系に対するモデルベース縮退運転の実現
• カルマン正準分解を用いたソフトウェアのモデル検査に関する研究
• モデル予測制御を用いた半導体の搬送スケジューリングの高速化
• 和分型状態方程式に基づく適応オブザーバ構成
• 並列分散処理のための整数計画法に基づいたタスクスケジューリング
• RSA暗号に基づくネットワーク制御系のセキュリティ強化
• 入出力量子化システムに対するモデル追従型制御
• ウェーブレット変換を用いた遠心片持ちポンプの羽根車が有する羽根の枚数推定
• モデル予測制御を用いた自律無人搬送車のタスク割当てと経路計画の動的最適化
• 変速機における切換型制御器の設計条件に関する研究
• クラスター解析を用いたハイブリット自動車の走行データ処理
• 和分型適応オブザーバを用いたエアコンの適応学習
• J101012 H∞制御を用いたクラッチジャダーの抑制(〔J101-01〕回転機械のダイナミック設計(1))
• H∞制御を用いたクラッチジャダーの抑制
• 自律無人搬送台車への連続時間有限整定制御器の実装方法の研究
• 情報家電の制御アルゴリズムと家電連携システムに関する研究
• AGV搬送系のMLDシステム表現とその評価について（ポスター）
• AGV搬送系のMLDシステム表現とその評価について（口頭発表）
• 数値最適化に基づく連続時間型量子化制御系の一構成法
• 固定トレース法を用いたエアコンの適応学習の研究
• 離散値入力系に対する出力フィードバック制御器の一構成
• AGVに対する連続時間型ロバスト有限整定サーボ系の実装検討
• 通信容量制約を満足する動的量子化器の出力可到達性に基づいた性能改善
• 数値最適化に基づく量子化制御
• むだ時間を有する離散値入力型システムに対する連続時間動的量子化器
• プリント基板における最短検査経路長の近似計算に関する研究
• 情報家電のネットワーク構造と数値最適化に関する研究
• 0-1整数計画法に基づくAGV搬送系の最適化
• 連続時間動的量子化器の一設計法
• PLCによる自律分散制御の研究
• MLD表現に基づく搬送システムの最適化
• 半導体搬送用台車のモデリングとキャリブレーション
• 通信容量制約に基づくMIMO系に対する動的量子化器設計
• 不変集合解析に基づく分散型動的量子化器
• 搬送システムの動的モデリングと最適化に関する研究
• 半導体搬送用台車のモデリングとキャリブレーション
• 動的量子化器に対する複数のセクター条件に基づく一解析法
• 通信容量制約下における動的量子化器の統合設計
• SISOシステムに対する不変集合解析に基づく動的量子化器設計
• 信号の量子化レベル数を陽に扱った量子化幅の最適設計
• ゲインスケジューリングを用いた3値のPWM型制御入力に基づく安定化制御
• 入力飽和を有する目標値追従制御系における低次制御器の一設計方法
• L∞有界外乱を受ける入力飽和を有する連続時間制御系のL∞性能解析/設計
• 出力レギュレーション型Anti-windup制御系の一設計方法
• 飽和を有する離散時間系の解析および設計の各条件の関連性について
• LMI-based anti-windup control system synthesis

書籍等出版物

• プラントＤＸ
• 工場・製造プロセスへのIoT・AI導入と活用の仕方
• IoT時代のサイバーセキュリティ～制御システムの脆弱性検知と安全性・堅牢性確保～
• 倒立振子で学ぶ制御工学

作品等

共同研究・競争的資金等の研究課題

• AI駆動型サイバーフィジカルシステムのセキュリティ評価・対策基盤
• 小規模創電・蓄電の統合運用を可能にするインターネット型電力プラットフォーム
• 最適化プロセスの動特性を考慮したモデル状態予測・推定統合制御のアルゴリズム設計
• 暗号化制御系におけるセキュリティメトリクスの顕在化
• 暗号化制御系におけるセキュリティメトリクスの顕在化
• 自動運転システムに対する敵対的入力の理解と対策技術の開発
• TCP/IP通信モデルに基づく産業制御システムのセキュリティ教育プログラムキット
• 協調多層型防御技術のための事象駆動型制御理論の構築
• スパースセンシングの制御系設計への展開
• 有限時間可到達集合に基づく不連続システムの解析と設計に関する研究
• 協調給電による再生可能エネルギー指向自律分散グリッドの開発と実証
• 事象駆動型量子化制御に基づく通信制御系の縮退運転アルゴリズム
• 数値最適化に基づくテーブルルックアップ型切換制御系設計に関する研究
• 量子化制御に基づく電子制御用ソフトウエアの安定化アルゴリズム
• 拘束システムに対する有限整定制御の構造に関する研究－一般化セクター条件の活用

メディア報道

• 自動運転車の実現に向けた課題とは？(株式会社フロムページ 夢ナビ編集部)
• 自動車サイバー攻撃の脅威とは？メーカーが急ぐべきセキュリティ対策(Nordson)
• 電通大・都立大らが報告 東京都水道局・研究開発報告会(日本水道新聞)
• 工場や発電所 サイバー防御 電通大、指定外の信号を検知(日経産業新聞)
• 展示会レポート】SCF2017/計測展 TOKYO「コントローラに対するホワイトリスト式サイバー攻撃検知技術」(TechEyesOnline)

産業財産権

• 蓄電池管理システム、蓄電池情報サーバ、充放電制御装置及び蓄電池

所属学協会

• IEEE Control System Society
• IEEE Industrial Electronics Society
• IEEE Robotics and Automation Society
• 電気学会
• 電子情報通信学会
• IEEE Systems, Man and Cybernetics Society
• 日本機械学会
• 計測自動制御学会
• システム制御情報学会

委員歴

担当経験のある科目

• 学域特別講義B（JAPIA寄附講座）
• 知能機械工学実験
• 組込み制御システム学特論
• 基礎制御工学及び演習
• プログラミング演習2
• プログラミング演習1
• ディジタル制御特論
• AI・セキュリティ人材育成プログラム「ネットワークセキュリティ」
• システム制御特論
• 基礎科学実験A
• システム工学実験「制御工学」（夜間・昼間）
• 基礎科学実験A
• 工学基礎演習第二
• システム工学基礎セミナー
• 物理学概論第二
• 大学院技術英語（M専攻）

社会貢献活動

学術貢献活動