确定性I/O自动机的跟踪控制

M. Schuh, J. Lunze
{"title":"确定性I/O自动机的跟踪控制","authors":"M. Schuh, J. Lunze","doi":"10.1109/WODES.2016.7497867","DOIUrl":null,"url":null,"abstract":"A tracking control framework for plants modeled by deterministic I/O automata is presented. The control aim is to steer the plant into a desired final state while at the same time guaranteeing its adherence to some safety constraints. It is proposed to control the plant by a tracking controller which consists of a trajectory planning unit and a controller. The trajectory planning unit searches for a reference trajectory that leads to the desired final state and avoids illegal transitions corresponding to safety constraints. The controller, which is modeled by a deterministic I/O automaton, steers the plant along this reference trajectory. It is proved that the plant in the closed-loop system with the proposed tracking controller always fulfills the given control aim, if it is controllable, that is, if there exists a path leading to the desired final state in the automaton graph of the plant without the illegal transitions.","PeriodicalId":268613,"journal":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Tracking control of deterministic I/O automata\",\"authors\":\"M. Schuh, J. Lunze\",\"doi\":\"10.1109/WODES.2016.7497867\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A tracking control framework for plants modeled by deterministic I/O automata is presented. The control aim is to steer the plant into a desired final state while at the same time guaranteeing its adherence to some safety constraints. It is proposed to control the plant by a tracking controller which consists of a trajectory planning unit and a controller. The trajectory planning unit searches for a reference trajectory that leads to the desired final state and avoids illegal transitions corresponding to safety constraints. The controller, which is modeled by a deterministic I/O automaton, steers the plant along this reference trajectory. It is proved that the plant in the closed-loop system with the proposed tracking controller always fulfills the given control aim, if it is controllable, that is, if there exists a path leading to the desired final state in the automaton graph of the plant without the illegal transitions.\",\"PeriodicalId\":268613,\"journal\":{\"name\":\"2016 13th International Workshop on Discrete Event Systems (WODES)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 13th International Workshop on Discrete Event Systems (WODES)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WODES.2016.7497867\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 13th International Workshop on Discrete Event Systems (WODES)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2016.7497867","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8

摘要

提出了一种基于确定性I/O自动机的对象跟踪控制框架。控制的目的是引导电厂进入理想的最终状态,同时保证其遵守一些安全约束。提出了一种由轨迹规划单元和控制器组成的跟踪控制器来控制被控对象。轨迹规划单元寻找一条通向理想最终状态的参考轨迹,并避免与安全约束相对应的非法过渡。控制器是由一个确定性的I/O自动机建模的,它引导工厂沿着这个参考轨迹运行。证明了采用所提出的跟踪控制器的闭环系统中的对象总是满足给定的控制目标,如果它是可控的,即如果在对象的自动机图中存在一条路径通向期望的最终状态,并且没有非法过渡。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Tracking control of deterministic I/O automata
A tracking control framework for plants modeled by deterministic I/O automata is presented. The control aim is to steer the plant into a desired final state while at the same time guaranteeing its adherence to some safety constraints. It is proposed to control the plant by a tracking controller which consists of a trajectory planning unit and a controller. The trajectory planning unit searches for a reference trajectory that leads to the desired final state and avoids illegal transitions corresponding to safety constraints. The controller, which is modeled by a deterministic I/O automaton, steers the plant along this reference trajectory. It is proved that the plant in the closed-loop system with the proposed tracking controller always fulfills the given control aim, if it is controllable, that is, if there exists a path leading to the desired final state in the automaton graph of the plant without the illegal transitions.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Exploiting symmetry of state tree structures for discrete-event systems with parallel components Strategies for two-player differential games with costly information Communication rate analysis for event-based state estimation Concolic test generation for PLC programs using coverage metrics Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1