Design and verification methods for logic-based control systems using hybrid system theory

書誌事項

Design and verification methods for logic-based control systems using hybrid system theory

Eiji Konaka

[s.n.], [2005]

タイトル別名

ハイブリッドシステム論に基づく論理駆動型制御システムの設計と検証に関する研究

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Thesis (Ph.D.)--Nagoya University. Graduate School of Engineering, 2005

Kind of academic degree: 博士(工学)

Date degree granted: 2005-03-25

Report number: 甲第6647号

Diploma number: 工博第1908号

詳細情報

  • NII書誌ID(NCID)
    BB13551201
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    [S.l.]
  • ページ数/冊数
    iii, 105 p.
  • 大きさ
    30 cm
ページトップへ