×
德克·Förstner;梅滕·荣格;扬·伦泽

异步量化系统的离散事件模型。 （英语） Zbl 1016.93048号

Automatica公司 38，第8期，1277-1286（2002）.
对于输入和状态信号通过量化器测量的连续变量动力系统，将量化输入或状态值的变化分别视为输入或状态事件，提出了一种离散事件建模技术。非确定性自动机用于定性描述此类动态，其中输入和状态事件可能异步发生。为了表示自动机的状态转移关系，建模技术利用了由量化器和系统可达集诱导的信号空间划分。结果表明，所得到的模型是完整的，即它们生成了具有最佳可能过渡关系的量化系统的所有解。模型可以根据伪行为集进行分层排序。
审核人：屋大维·帕斯特拉瓦努（伊阿什）

引用于2文件

MSC公司：

93元65角 离散事件控制/观测系统
93A30型 系统数学建模（MSC2010）
93甲13 层次系统
93个B03 可达集，可达性

关键词：

异步事件;离散事件抽象;量化系统;可达性分析;混合动力系统;非确定性自动机;状态转换
PDF格式BibTeX公司 XML格式引用
\textit{D.Förstner}等人，Automatica 38，No.8，1277--1286（2002；Zbl 1016.93048）
全文： DOI程序

参考文献：

[1] Asarin，E.、Bournez，O.、Dang，T.和Maler，O.（2000）。分段线性动力系统的近似可达性分析。第三次混合动力系统国际研讨会计算和控制; Asarin，E.、Bournez，O.、Dang，T.和Maler，O.（2000）。分段线性动力系统的近似可达性分析。第三次混合动力系统国际研讨会计算和控制·兹伯利0938.93502
[2] 巴罗尼，P。；兰佩蒂，G。；Pogliano，P。；Zanella，M.，《大型主动系统的诊断》，人工智能，110，135-183（1999）·Zbl 0996.68209号
[3] Chutinan，A.和Krogh，B.（1998年）。计算动态系统流动管道的多面体近似。第37届IEEE决策与控制会议; Chutinan，A.和Krogh，B.（1998年）。计算动态系统流动管道的多面体近似。第37届IEEE决策与控制会议
[4] Förstner，D。；Lunze，J.，用于诊断的量化系统的离散事件模型，国际控制杂志，74，7，690-700（2001）·Zbl 1015.93037号
[5] Lunze，J.，用量化状态测量对线性动力系统进行定性建模，Automatica，30，3，417-431（1994）·Zbl 0798.93006号
[6] Lunze，J.，关于量化状态测量序列的马尔可夫特性，Automatica，34，11，1439-1444（1998）·Zbl 0937.93008号
[7] Lunze，J.（2000）。量化系统的诊断。程序SAFEPROCESS; Lunze，J.（2000）。量化系统的诊断。程序SAFEPROCESS·Zbl 0944.93022号
[8] Lunze，J。；Nixdorf，B。；Schröder，J.，线性连续变量系统的确定性离散事件表示，Automatica，35，3，395-406（1999）·Zbl 0942.93026号
[9] Preisig，H.、Pijpers，M.和Weiss，M.（1997）。基于状态离散化的连续过程离散建模过程。第二数学模型; Preisig，H.、Pijpers，M.和Weiss，M.（1997）。基于状态离散化的连续过程离散建模过程。第二数学模型
[10] Raczynski，S.，系统模拟中的微分包含，计算机模拟学会学报，13，1，47-54（1996）
[11] Raisch，J.、Klein，E.、O'Young，S.、Meder，C.和Itigin，A.（1998年）。连续系统的近似自动机和离散控制——来自过程控制的两个例子。在P.Antsaklis、W.Kohn、M.Lemmon、A.Nerode和S.Sastry（编辑）中，混合动力系统V; Raisch，J.、Klein，E.、O'Young，S.、Meder，C.和Itigin，A.（1998年）。连续系统的近似自动机和离散控制——来自过程控制的两个例子。在P.Antsaklis、W.Kohn、M.Lemmon、A.Nerode和S.Sastry（编辑）中，混合动力系统V·Zbl 0928.93018号
[12] 斯蒂弗，J。；Antsaklis，P。；Lemmon，M.，混合控制系统设计的逻辑DES方法，数学和计算机建模，23，11/12，55-76（1996）·Zbl 0857.93043号
[13] Stursberg，O.和Kowalewski，S.（1999）。用矩形自动机逼近切换连续系统。欧洲控制会议; Stursberg，O.和Kowalewski，S.（1999）。用矩形自动机逼近切换连续系统。欧洲控制会议
[14] Willems，J.，《动力系统理论中的范式和困惑》，IEEE自动控制汇刊，36，3，259-294（1991）·Zbl 0737.93004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。