×
约翰森，K.H。;Egerstedt，M。;Lygeros，J。;萨斯特里，S。

Zeno混合自动机的正则化。 （英语） Zbl 0948.93031号

系统。控制信函。 38，第3期，141-150（1999）.
摘要：研究了混合自动机的基本性质，如执行的存在性和唯一性。特别关注Zeno混合自动机，这是一种在有限时间内进行无限多次离散转换的混合自动机。结果表明，正则化技术可以用于将这些自动机的Zeno执行时间扩展到Zeno时间以外的时间。然而，不同类型的正则化可能会导致不同的扩展。用水箱控制问题和弹球系统来说明结果。

引用于106文件

MSC公司：

93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）
93元65角 离散事件控制/观测系统

关键词：

混合系统;芝诺自动机;正规化;模拟

软件：

Simulink公司;Matlab公司;迪莫拉
PDF格式BibTeX公司 XML格式引用
\textit｛K.H.Johansson｝等人，系统。控制信函。38，第3号，141--150（1999；Zbl 0948.93031）
全文： 内政部

参考文献：

[1] R.Alur，D.L.Dill，《实时系统建模自动化》，摘自：ICALP’90年会议录，《计算机科学讲义》，第443卷，施普林格，柏林，1990年，第322-335页。；R.Alur，D.L.Dill，《实时系统建模自动化》，摘自：ICALP’90年会议录，《计算机科学讲义》，第443卷，施普林格，柏林，1990年，第322-335页·Zbl 0765.68150号
[2] R.Alur，T.A.Henzinger，《定时和混合系统的模块化》，载于：A.Mazurkiewicz，J.Winkowski（编辑），CONCUR 97:并发理论，计算机科学讲义，第1243卷，Springer，柏林，1997年，第74-88页。；R.Alur，T.A.Henzinger，《定时和混合系统的模块化》，载于：A.Mazurkiewicz，J.Winkowski（编辑），CONCUR 97:并发理论，计算机科学课堂讲稿，第1243卷，Springer，柏林，1997年，第74-88页·Zbl 1512.68146号
[3] B.Bérard，P.Gastin，A.Petit，《论时间自动机中不可观测行为的力量》，载于：《96年STACS学报》，《计算机科学讲义》，第1046卷，施普林格出版社，柏林，1996年，第257-268页。；B.Bérard，P.Gastin，A.Petit，《论时间自动机中不可观测动作的力量》，载于：《96年STACS学报》，《计算机科学讲义》，第1046卷，施普林格出版社，柏林，1996年，第257-268页·Zbl 1379.68216号
[4] P.Billingsley，《概率测度的收敛》，威利出版社，纽约，1968年。；P.Billingsley，《概率测度的收敛》，威利，纽约，1968年·兹标0172.21201
[5] M.Branicky，V.Borkar，S.Mitter，混合控制的统一框架：模型和最优控制理论，IEEE Trans。自动化。控制43（1）（1998）31-45。；M.Branicky，V.Borkar，S.Mitter，混合控制的统一框架：模型和最优控制理论，IEEE Trans。自动化。对照43（1）（1998）31-45·Zbl 0951.93002号
[6] Deshpande，A。；Göllü，A。；Semenzato，L.，混合自动机动态网络的SHIFT编程语言，IEEE Trans。自动化。控制，43，4，4283-4288（1998）
[7] H.Elmqvist，Dymola-动态建模语言，用户手册，Dynasim AB，瑞典，1994年。；H.Elmqvist，Dymola-动态建模语言，用户手册，Dynasim AB，瑞典，1994年。
[8] A.F.Filippov，《具有间断右侧的微分方程》，Kluwer学术出版社，Dordrecht，1988年。；A.F.Filippov，《右手边不连续的微分方程》，Kluwer学术出版社，多德雷赫特，1988年·Zbl 0664.34001号
[9] T.A.Henzinger，《混合自动机理论》，载于：第11届计算机科学逻辑年度研讨会论文集，IEEE计算机社会出版社，Silverspring，MD，1996年，第278-292页。；T.A.Henzinger，《混合自动机理论》，载于：第11届计算机科学逻辑年度研讨会论文集，IEEE计算机社会出版社，Silverspring，MD，1996年，第278-292页·Zbl 0959.68073号
[10] K.H.Johansson，M.Egerstedt，J.Lygeros，S.Sastry，关于Zeno混合自动机的正则化，技术报告UCB\（//\）；K.H.Johansson，M.Egerstedt，J.Lygeros，S.Sastry，关于Zeno混合自动机的正则化，UCB技术报告\（//\）·Zbl 0948.93031号
[11] Johansson，K.H。；Rantzer，A。；奥斯特罗姆，K.J.，《继电器反馈系统中的快速开关》，Automatica，35，4，539-552（1999）·Zbl 0934.93033号
[12] Lygeros，J。；托姆林，C。；Sastry，S.，《混合系统可达性规范的控制器》，Automatica，35，3，349-370（1999）·Zbl 0943.93043号
[13] J.Malmberg，混合控制系统的分析与设计，博士论文，隆德理工学院自动控制系，瑞典隆德，1998年5月。；J.Malmberg，混合控制系统的分析与设计，博士论文，隆德理工学院自动控制系，瑞典隆德，1998年5月。
[14] MathWorks，Inc.，Natick，MA，Simulink:Matlab动态系统仿真，1997年，第2版。；The MathWorks，Inc.，马萨诸塞州纳蒂克，Simulink：用于Matlab的动态系统仿真，1997年，第2版。
[15] S.E.Mattsson，《继电器和滑模行为的面向对象建模》，载于：IFAC’96，IFAC第13届世界大会预印本，第F卷，加利福尼亚州旧金山，1996年7月，第259-264页。；S.E.Mattsson，《继电器和滑模行为的面向对象建模》，载于：IFAC’96，IFAC第13届世界大会预印本，第F卷，加利福尼亚州旧金山，1996年7月，第259-264页。
[16] S.E.Mattsson，M.Andersson，K.J.Au ströM，面向对象建模与仿真，摘自：D.A.Linkens（Ed.），控制系统CAD，Marcel Dekker，纽约，1993年，第31-69页（第2章）。；S.E.Mattsson，M.Andersson，K.J.Au ströM，面向对象建模与仿真，见：D.A.Linkens（Ed.），控制系统CAD，Marcel Dekker，纽约，1993年，第31-69页（第2章）。
[17] C.Tomlin，G.J.Pappas，S.Sastry，《空中交通管理冲突解决：多智能体混合系统案例研究》，UCB技术报告\（//\）；C.Tomlin，G.J.Pappas，S.Sastry，《空中交通管理冲突解决：多智能体混合系统案例研究》，UCB技术报告\（//\）·Zbl 0904.90113号
[18] V.I.Utkin，《控制优化中的滑模》，施普林格出版社，柏林，1992年。；V.I.Utkin，《控制优化中的滑动模式》，施普林格出版社，柏林，1992年·Zbl 0748.93044号
[19] van der Schaft，A.J。；Schumacher，J.M.，混合系统的互补建模，IEEE Trans。自动化。控制，43，4，483-490（1998）·Zbl 0899.93002号
[20] L.C.Young，最优控制理论，第二版，切尔西，纽约，1980年。；L.C.Young，最优控制理论，第二版，切尔西，纽约，1980年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。