著者

置田 肇 黒澤 良一 島田 明 新 誠一 津村 幸治 真鍋 舜治 山口 高司 渡邊 亮 平田 光男

出版者

公益社団法人 計測自動制御学会

雑誌

計測と制御 (ISSN:04534662)

巻号頁・発行日

vol.39, no.10, pp.667-676, 2000-10-10 (Released:2009-11-26)

被引用文献数

3

著者

藤田 真太郎 澤田 賢治 新 誠一 細川 嵩

出版者

公益社団法人 計測自動制御学会

雑誌

計測自動制御学会論文集 (ISSN:04534654)

巻号頁・発行日

vol.57, no.8, pp.367-377, 2021 (Released:2021-08-20)

参考文献数

21

---

Since the damage from cyber-attacks increases, there is an urgent need to research and develop security countermeasures for control systems. In the control system, the controller is an important device. This paper then considers a whitelisting system that models the normal operation sequence of a PLC (Programmable Logic Controller) and detects deviations from the model as abnormal. We propose three methods to auto-generate the whitelisting system by LD (Ladder Diagram): Petri net model generation, constraint condition derivation, and LD conversion. The first method generates Petri net models form SFCs (Sequential Function Charts) that are compatible with LDs. The second method derives whitelist conditions from Petri net models to check whether PLC performs the correct operation sequence. The third method implements the whitelist conditions into LD. The auto-generated whitelisting system enables us to monitor the state transitions of the PLC programs. Further, this paper carries out an experimental validation of the methods using a testbed system.

著者

新 誠一

出版者

安全工学会

雑誌

安全工学 (ISSN:05704480)

巻号頁・発行日

vol.54, no.6, pp.407-411, 2015-12-15 (Released:2016-07-01)

参考文献数

8

被引用文献数

1

---

全ての機器にマイコンが搭載されインターネットなどで接続されている現在,サイバーセキュリティは大きな課題となっている.特に,社会インフラにおけるサイバーセキュリティは緊急の課題である.本稿は,この課題の全体像を提供するとともに,セキュリティ対策を安全工学の視点にも立って解説する.安全工学とサイバーセキュリティ問題は深く関連している.このため,この二つを一体として扱っていく必要がある.

著者

藤田 真太郎 秦 康祐 望月 明典 澤田 賢治 新 誠一 細川 嵩

出版者

自動制御連合講演会

雑誌

自動制御連合講演会講演論文集 第60回自動制御連合講演会

巻号頁・発行日

pp.132-135, 2017 (Released:2017-12-18)

著者

佐倉 衛 澤田 賢治 金子 修 新 誠一 松田 功

出版者

一般社団法人 電気学会

雑誌

電気学会論文誌C(電子・情報・システム部門誌) (ISSN:03854221)

巻号頁・発行日

vol.140, no.9, pp.1064-1073, 2020-09-01 (Released:2020-09-01)

参考文献数

19

---

In model-based development in the automotive industry, functional tests are performed using models made by CAE tools. The model needs to reproduce some physical properties of the target system correctly. The previous research of the current authors proposes energy balanced based verification (EBBV) that verifies the correctness of the model focused on the energy conservation law. EBBV confirms the balance of input and output energy of the model from output information of the model. In this paper, we develop three tools to automate EBBV processes. Also, we make a modeling guideline suitable for EBBV, which is composed of tagging and a hierarchical model structure. Through numerical experiments, we check that three tools automate EBBV processes for models according to the modeling guideline. The target model of the experiments is a mild hybrid electric vehicle model made by MATLAB/Simulink, MapleSim, and CarMaker.

著者

武田 健吾 澤田 賢治 横川 慎二 新 誠一

出版者

一般社団法人 電気学会

雑誌

電気学会論文誌C(電子・情報・システム部門誌) (ISSN:03854221)

巻号頁・発行日

vol.139, no.7, pp.786-795, 2019-07-01 (Released:2019-07-01)

参考文献数

10

---

In a system that suppresses power fluctuation caused by wind power and solar power generation by a storage battery (We call it wind turbine and photovoltaic power generation system, WPBHS), it is assumed that the number of constituent equipment is large. Therefore, by dividing the constituent equipment into a plurality of groups (We call it grouping), the operation plan is optimized dispersedly. In this case, it has been shown that WPBHS has fault tolerance by overlapping storage batteries in plural groups. Also, enumerating the grouping in advance allows us to switch the grouping and recover the system immediately when a system failure occurs. Motivated by this, we consider an overlapped grouping optimization problem focused on the performance deterioration and fault tolerance of the distributed management system. Enumerating the group, especially, the overlapped group requires large computational load with the more devices added. First, this paper formulates overlapped grouping optimization for WPBHS. Second, this paper proposes a graph representation method of the overlapped grouping and a near-optimal enumeration method.

著者

山藤 勝彦 山本 建 橋本 真 新 誠一 澤田 賢治

出版者

一般社団法人日本機械学会

雑誌

年次大会 : Mechanical Engineering Congress, Japan

巻号頁・発行日

vol.2013, pp."J101012-1"-"J101012-5", 2013-09-08

---

Judder is well known oscillation occurring in dry clutches. To maintain riding comfort and silence in dry clutches, a lot of studies of judder analysis and machine design suppressing judder have been done. This paper describes the design and implementation of a robust control technique as a judder suppression approach for clutch during shifting. We address the automatic transmission using dry clutches of which the μ-V characteristics show a complicated nonlinearity. Specifically, their friction coefficient varies non-linearly with respect to the rotational speed during shifting. In this paper, it is clarified that the non-linear μ-V characteristic can be expressed as frequency uncertainties and then the control system is constructed with H∞ control. To verify the validity of such the approach, the results of simulation and bench testing are presented. As a result, we see that the proposed approach allows us to achieve the shifting without judder. Furthermore, we show the three controller requirements by analyzing the robust controllers.

著者

中野 和司 田原 鉄也 新 誠一 豊田 幸裕 辻野 太郎 實松 透

出版者

The Institute of Electrical Engineers of Japan

雑誌

電気学会論文誌. D, 産業応用部門誌 = The transactions of the Institute of Electrical Engineers of Japan. D, A publication of Industry Applications Society (ISSN:09136339)

巻号頁・発行日

vol.122, no.2, pp.111-119, 2002-02-01

被引用文献数

9 2

---

The procedure for identifying linear time-varying systems with dead times using the wavelet analysis has already been proposed by the authors. This paper reports an application of the identification procedure to actual control systems of watertube drum-boiler in a thermal power plant. The control systems are required to supply steadily high-quality steam subject to disturbances due to unexpected changes in load. Therefore, it is necessary to make a precise model which takes the disturbances into consideration for control system design. The identification procedure is applied by the following steps: (1) extension of the method for single-input/output systems to that for two-input/output systems, (2) estimation of the time span where the system is considered to be in steady states, and (3) estimation of the process transfer functions in each time span. The identified model is evaluated in terms of mean square errors of the process outputs (steam-pressure and water-level) in comparison with an ARX model.

著者

伊藤 宏司 湯浅 秀男 淺間 一 新 誠一 上田 完次 藤田 博之

出版者

東京工業大学

雑誌

重点領域研究

巻号頁・発行日

1995

---

1.機能モジュールの開発マイクロ技術を用いて多数の素子を製作し,それらが機能モジュールを構成できるような人工システムを開発した.2.機能モジュールの理論解析1)機能モジュール群の追加・削除及び結合形態とシステム全体の安定性との関係をH∞制御におけるLMI設計法を適用し解析した.2)機能モジュール群の相互作用を反応・拡散、分散・波動などの発展方程式により記述し,秩序形成を獲得する仕組みを明らかにした.3)動物のロコモーションや上肢動作の時空間パターンの創発機構とそのモデリングを理論・実験の両面から解析した.3.人間とロボットの行動創発1)免疫ネットワークの工学モデルを構築し、未知環境における自律移動ロボットの行動発現に適用した.2)概念の相違の定義並びにその検出法を与えるとともに、ヒューマンインタラクションにおける概念構造の発見や知的操作のプロセス創発と呼び、そのプロセスを決定木により可視化することを試みた.3)ロボットが共通の座標系を獲得する問題、衝突回避問題、長尺物運搬時の経路決定問題を理論的に解析し、多様な行動パターンを生成させた.4)ロボットと環境との局所的な情報交換に着目し、その通信手段として小型可搬のインテリジェントデータキャリア(IDC)を製作した.5)自律ロボットが他のロボットと競合を起こさない適切な行動戦略を自己組織化する手法を強化学習的なアプローチにより解析した.6)数10台のマイクロロボット群を製作し、個々のロボットの知能とマクロ的な群知能の関係を実験的に検証した.4.生物指向生産/経済システム1)個体の発生・成長および生物集団の進化・適応の特徴を取り入れた生物指向型生産システムのモデリングとプロトタイプの開発を行った.2)セルラ-・オートマタによる流行モデルを提案し、初期条件の微妙な違いによって消費者の行動パターンが全く異なってくることをシミュレーションにより示した.

著者

新 誠一

出版者

自動制御連合講演会

雑誌

自動制御連合講演会講演論文集 第49回自動制御連合講演会

巻号頁・発行日

pp.49, 2006 (Released:2011-04-17)