日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 タグ情報を表示リリース履歴を表示詳細要約
  Approximating Automata and Discrete Control for Continuous Systems : Two Examples from Process Control

Raisch, J., Klein, E., Meder, C., Itigin, A., & O'Young, S. (1999). Approximating Automata and Discrete Control for Continuous Systems: Two Examples from Process Control. In P., Antsaklis, W., Kohn, M., Lemmon, A., Nerode, & S., Sastry (Eds.), Hybrid Systems V (pp. 279-303). Berlin: Springer.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0013-A29B-A 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0025-AF14-8
資料種別: 書籍の一部

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Raisch, J.1, 著者           
Klein, E.2, 著者
Meder, C.2, 著者
Itigin, A.2, 著者
O'Young, S.3, 著者
所属:
1Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, ou_1738154              
2Institut für Systemdynamik und Regelungstechnik, Universität Stuttgart, ou_persistent22              
3 Faculty of Engineering and Applied Science, Memorial University of Newfoundland St. John’s, Newfoundland, Canada, ou_persistent22              

内容説明

表示:
非表示:
キーワード: -
 要旨: A standard problem in hybrid control systems theory is to design discrete, or symbolic, feedback for a given continuous plant. When specifications are discrete, this problem can be solved by first approximating the continuous plant model by a (nondeterministic) automaton, and then synthesizing discrete (supervisory) control for the automaton. A necessary condition is that the approximation behaviour contains the behaviour of the underlying continuous plant model. Then, any controller forcing the approximation to obey the specifications will also force the continuous model to satisfy the specifications. We use a version of this approach which allows adjustment of approximation accuracy to address two simple process control problems: supervisory control of a three tank laboratory experiment and safety enforcement for an evaporator. In both cases, the entire design process is carried through: we first determine a suitable abstraction, compute the minimally restrictive supervisor, and then present examples for closed loop trajectories. © Springer, Part of Springer Science+Business Media [accessed 2014 April 1st]

資料詳細

表示:
非表示:
言語: eng - English
 日付: 1999
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: 査読あり
 識別子（DOI, ISBNなど）: eDoc: 112013
DOI: 10.1007/3-540-49163-5_16
 学位: -

関連イベント

表示:

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Hybrid Systems V
種別: 書籍
 著者・編者:
Antsaklis, P., 編集者
Kohn, W., 編集者
Lemmon, M., 編集者
Nerode, A., 編集者
Sastry, S., 編集者
所属:
-
出版社, 出版地: Berlin : Springer
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 279 - 303 識別子（ISBN, ISSN, DOIなど）: ISBN: 3-540-65643-X

出版物 2

表示:
非表示:
出版物名: Lecture Notes in Computer Science
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 1567 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -