×
卡拉·西特祖；德米特里·格罗莫夫；约格·莱斯；丹尼尔·科罗纳；亚历山德罗·朱阿

安全性和活性约束下离散时间混合自动机的最优控制。 （英语） Zbl 1101.68667号

非线性分析。，理论方法应用。，序列号。A、 理论方法 65，第6期，1188-1210（2006）.
摘要：我们研究了一类离散时间混合自动机在安全性和活性约束下的最优控制问题。该解决方案基于问题的分层分解，其中低级控制器强制执行安全和活性约束，而高级控制器利用剩余自由度进行性能优化。低层控制基于连续动力学的离散抽象。低级控制的行为可以理解为表示对象模型的混合自动机中的约束不变量。基于离线构造适当的状态空间分区，为高层控制提供了一种状态反馈解决方案。

引用于4文件

MSC公司：

65年第68季度 形式语言和自动机
49N90型 最优控制和微分对策的应用

关键词：

混成自动机；交换式系统；安全约束；活性约束
PDF格式BibTeX公司 XML格式引用
\textit{C.Seatzu}等人，非线性分析。，理论方法应用。，序列号。A、 理论方法65，No.6，1188--1210（2006；Zbl 1101.68667）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》（理论计算机科学（1994））·Zbl 0803.68071号
[2] Asarin，E。；O.伯内兹。；Dang，T。；马勒，O。；Pnueli，A.，线性系统开关控制器的有效综合，IEEE学报，88，7（2000）
[3] P.E.Caines，R.Greiner，S.Wang，有限自动机的动态逻辑观测器，载于：第27届决策与控制会议论文集，德克萨斯州奥斯汀，1988年，第226-233页；P.E.Caines，R.Greiner，S.Wang，有限自动机的动态逻辑观测器，摘自：第27届决策与控制会议论文集，德克萨斯州奥斯汀，1988年，第226-233页
[4] 科罗纳·D。；A.Giua。；Seatzu，C.，《混合自动机的最优控制：半主动悬架设计的应用》，控制工程实践，121305-1318（2004）
[5] D.Corona，A.Giua，C.Seatzu，自治混合自动机的最优反馈切换律，in：Proc。IEEE国际标准。《智能控制》，台湾台北，2004年；D.Corona，A.Giua，C.Seatzu，自治混合自动机的最优反馈切换律，in：Proc。IEEE国际符号。《智能控制》，台湾台北，2004
[6] D.Corona，A.Giua，C.Seatzu，通过最优控制稳定切换系统，摘自：第16届IFAC世界大会会议记录，捷克共和国布拉格，2005年；D.Corona，A.Giua，C.Seatzu，通过最优控制稳定切换系统，摘自：第16届IFAC世界大会会议记录，捷克共和国布拉格，2005年·Zbl 1291.93278号
[7] D.Corona，C.Seatzu，A.Giua，D.Gromov，E.Mayer，J.Raisch，切换仿射系统在安全性和活性约束下的最优混合控制，载于：CACSD’05会议录，台湾台北，2004；D.Corona，C.Seatzu，A.Giua，D.Gromov，E.Mayer，J.Raisch，切换仿射系统在安全性和活性约束下的最优混合控制，收录于：CACSD’05会议论文集，台湾台北，2004·Zbl 1101.68667号
[8] 居里，J.E.R。；Krogh，B.H。；Nionini，T.，基于近似自动机的混合系统监控控制器综合，IEEE自动控制汇刊，43，4，564-568（1998）·Zbl 0905.93023号
[9] D.Gromov，E.Mayer，J.Raisch，D.Corona，C.Seatzu，A.Giua，安全性和活性约束下离散时间混合自动机的最优控制，收录于：ISIC，利马索尔，塞浦路斯，2005年6月；D.Gromov，E.Mayer，J.Raisch，D.Corona，C.Seatzu，A.Giua，安全性和活性约束下离散时间混合自动机的最优控制，收录于：ISIC，利马索尔，塞浦路斯，2005年6月·Zbl 1101.68667号
[10] Hedlund，S。；Rantzer，A.，混合系统的凸动态规划，IEEE自动控制汇刊，47，9，1536-1540（2002）·Zbl 1364.90338号
[11] 穆尔，T。；Raisch，J.，《行为框架内混合系统的监督控制》，《混合控制系统、系统和控制快报》，38，157-166（1999），（特刊）·Zbl 0948.93037号
[12] 尼克林，X。；奥利维罗，A。；西法基斯，J。；Yovine，S.，《混合系统的描述和分析方法》，（混合系统。混合系统，LNCS，第736卷（1993），Springer Verlag）·Zbl 0823.68067号
[13] Cüneyt M.Øzveren。；Willsky，Allan S.，离散事件动态系统的可观测性，IEEE自动控制事务，35，7，797-806（1990）·Zbl 0709.68030号
[14] B.Piccoli，混合优化的必要条件，in：程序。第38届IEEE决策与控制大会，美国亚利桑那州凤凰城，1999年12月；B.Piccoli，混合优化的必要条件，in：程序。第38届IEEE决策与控制会议，美国亚利桑那州凤凰城，1999年12月
[15] Raisch，J.，《连续系统的离散抽象-输入/输出观点》，连续系统的分立事件模型，动态系统的数学和计算机建模，6，6-29（2000），（特刊）·Zbl 0938.93565号
[16] Raisch，J。；O'Young，S.，连续系统的离散近似和监督控制，IEEE自动控制汇刊，43，4，569-573（1998）·Zbl 0917.93005号
[17] P.J.Ramadge，W.M.Wonham，离散事件系统的控制，离散事件动态系统。IEEE 77（1）（1989）81-98会议记录（特刊）；P.J.Ramadge，W.M.Wonham，离散事件系统的控制，离散事件动态系统。IEEE 77（1）（1989）81-98会议记录（特刊）·Zbl 0595.93047号
[18] P.Riedinger，F.Kratz，C.Iung，C.Zanne，混合系统的线性二次优化，in：Proc。第38届IEEE决策与控制会议，美国凤凰城，1999年12月，第3059-3064页；P.Riedinger，F.Kratz，C.Iung，C.Zanne，混合系统的线性二次优化，in：Proc。第38届IEEE决策与控制会议，美国凤凰城，1999年12月，第3059-3064页
[19] Schröder，J.，量化系统的建模、状态观察和诊断（2002），Springer-Verlag
[20] C.Seatzu，D.Corona，A.Giua，A.Bemporad，连续时间切换仿射系统的最优控制，IEEE自动控制汇刊（2005）（出版中）；C.Seatzu，D.Corona，A.Giua，A.Bempoad，连续时间切换仿射系统的最优控制，IEEE自动控制汇刊（2005）（正在出版）·Zbl 1366.49038号
[21] M.S.Shaikh，P.E.Caines，《关于混合系统的最优控制：轨迹和调度优化的分析和算法》，美国夏威夷，2003年12月，第2144-2149页；M.S.Shaikh，P.E.Caines，《关于混合系统的最优控制：轨迹和调度优化的分析和算法》，美国夏威夷，2003年12月，第2144-2149页
[22] H.J.Sussmann，混合最优控制问题的最大值原理，in：Proc。第38届IEEE决策与控制大会，美国凤凰城，1999年12月，第425-430页；H.J.Sussmann，混合最优控制问题的最大值原理，in：Proc。第38届IEEE决策与控制大会，美国凤凰城，1999年12月，第425-430页
[23] Willems，J.C.，动力学模型，动力学报告，2（1989）·Zbl 0679.93002号
[24] X.Xu，P.J.Antsaklis，基于开关瞬时参数化的开关系统最优控制方法，in：Proc。国际会计师联合会世界大会，西班牙巴塞罗那，2002年；X.Xu，P.J.Antsaklis，基于开关瞬时参数化的开关系统最优控制方法，in：Proc。2002年西班牙巴塞罗那国际会计师联合会世界大会
[25] X.Xu，P.J.Antsaklis，切换系统最优控制计算方法的结果与展望，in：混合系统，计算与控制，捷克共和国布拉格，2003；X.Xu，P.J.Antsaklis，切换系统最优控制计算方法的结果与展望，收录于：混合系统，计算与控制，捷克共和国布拉格，2003年·Zbl 1038.49034号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。