• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Controle supervise de systemes a evenements discrets temps-reel.
【24h】

Controle supervise de systemes a evenements discrets temps-reel.

机译：实时离散事件系统的监督控制。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Cette these porte sur la synthese de superviseurs pour des systemes a evenements discrets temps-reel (SEDTRs) modelises par des automates temporises (ATs). Comme l'espace d'etats d'un AT est en general infini, et que la theorie du controle supervise de RAMADGE et WONHAM, que nous avons adaptee, est operationnelle pour des automates a etats finis (AEFs), nous avons utilise l'approche consistant a transformer les ATs modelisant le procede et la specification sous la forme d'AEFs. Nous avons donc tout d'abord etendu et ameliore une methode de transformation des ATs en AEFs particuliers appeles automates Set-Exp (ASEs). Cette methode de transformation, appelee SetExp, permet de reduire le probleme d'explosion des etats et est appropriee pour le controle supervise de SEDTRs.;Nous avons ensuite ameliore et etendu une methode de controle centralise fondee sur SetExp, c'est-dire que les ATs modelisant le procede et la specification sont d'abord transformes en ASEs et le probleme est resolu en adaptant la theorie de RAMADGE et WONHAM aux ASEs. Pour la resolution du probleme de controle centralise, nous avons identifie les conditions d'existence de solution et avons propose une procedure algorithmique pour la synthese du superviseur le moins restrictif.;Suite a cela, nous avons developpe une methode de controle modulaire, fondee sur SetExp et la methode de controle centralise. Pour le controle modulaire egalement, nous avons identifie les conditions d'existence de solution et propose une procedure de synthese de superviseurs modulaires les moins restrictifs.;D'autre part, nous avons etendu la methode de controle centralise fondee sur SetExp au cas ou le superviseur a une observation partielle des evenements du procede. Pour cette methode de controle sous observation partielle des evenements, nous avons identifie les conditions d'existence de solution et propose une procedure pour synthetiser un superviseur sous observation partielle.;Enfin, nous avons realise un outil logiciel appele SEAtool, qui implemente la transformation SetExp et les methodes de controle centralise et modulaire. Nous avons etudie, a l'aide de SEAtool, l'application de nos methodes de controles centralise et modulaire a des systemes concrets simples.;Mots cles. systemes a evenements discrets, temps-reel, modelisation, automates temporises, controle supervise, controle modulaire, controle sous observation partielle.
机译：本文涉及由定时自动机（AT）建模的实时离散事件系统（SEDTR）的监督者的综合。由于AT的状态空间通常是无限的，并且由于我们已经采用的RAMADGE和WONHAM的监督控制理论适用于有限状态自动机（AEF），因此我们使用了该方法包括以AEF的形式转换对流程和规范进行建模的AT。因此，我们首先扩展和改进了一种将AT转换为特定AEF的方法，称为Set-Exp自动机（ASE）。这种称为SetExp的转换方法可以减少状态爆炸的问题，并且适用于SEDTR的监督控制；然后，我们改进和扩展了基于SetExp的集中控制方法，即首先，将对过程和规范进行建模的AT转换为ASE，然后通过将RAMADGE和WONHAM的理论应用于ASE来解决该问题。为了解决集中控制问题，我们确定了解的存在条件，并提出了最小约束监督者综合的算法程序，然后，在此基础上，开发了一种模块化控制方法。 SetExp和集中控制方法。对于模块化控制，我们还确定了解的存在条件，并提出了对约束最少的模块化管理器进行综合的程序；另一方面，在以下情况下，我们扩展了基于SetExp的集中控制方法：主管部分观察过程事件。对于这种在事件的部分观察下的控制方法，我们确定了解决方案的存在条件，并提出了在部分观察下综合管理程序的程序；最后，我们实现了一个名为SEAtool的软件工具，该工具实现了SetExp的转换。以及集中和模块化的控制方法。我们已经使用SEAtool研究了集中式和模块化控制方法在简单混凝土系统中的应用。离散事件系统，实时，建模，定时自动机，监督控制，模块化控制，部分观察下的控制。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号