Design of Hybrid Supervisors for High Level Control

用于高级控制的混合监控器设计

• 批准号: 09650470
• 负责人: USHIO Toshimitsu
• 金额: $ 2.05万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09650470/
• 关键词: hybrid systems; supervisory control; Petri nets; fault detection; stability analysis; switching control; robust control; ハイブリッドシステム; 分散システム; オンライン制御; 故障; 安定性; ハイブリッドペトリネット; モデル集合; ス-パバイザ制御

We consider the case that supervisors are used as high level controllers, and investigate fundamental properties for hybrid control. The main results are as follows :・We proposed a method for discrete approximation of continuous systems using Petri nets. Moreover, we modified a firing rule of weak enabling in hybrid Petri nets so that behaviors for circles consisting of weakly enabled transitions are well-defined.・We showed a necessary and sufficient condition for the existence of finite-state supervisors under partial observations. Moreover, we proposed an on-line supervisory control method, and proved that the language generated by the supervised system is a maximal controllable and observable sublanguage.・We showed a necessary and sufficient condition for the existence of reliable decentralized supervisors. We also proposed a fault detection method for systems modeled by Petri nets.・We proposed a switching strategy for eliminating chaos in a hybrid system modeled by a switched flow model.・We proved a Lyapunov theorem for a class of hybrid systems modeled by a mixed cell mapping. Moreover, we investigated stability in composite hybrid systems using multiple Lyapunov functions.・We developed hierarchical control architecture for plants described by multiple models or a model set. We also improved closed-loop response by tuning time-varying parameters adaptively according to estimation of uncertain parameters of the plants

我们考虑将监控器用作高级控制器的情况，并研究混合控制的基本属性。主要结果如下：·我们提出了一种使用Petri网对连续系统进行离散逼近的方法。此外，我们修改了混合 Petri 网中弱使能的触发规则，以便明确定义由弱使能转换组成的圆的行为。 ・我们展示了部分观测下有限状态监督器存在的充分必要条件。此外，我们提出了一种在线监督控制方法，并证明了监督系统生成的语言是最大可控制和可观察的子语言。 ・我们证明了可靠的分散监督者存在的充分必要条件。我们还提出了一种用于 Petri 网建模系统的故障检测方法。 ・我们提出了一种消除切换流模型建模的混合系统中混沌的切换策略。 ・我们证明了混合单元映射建模的一类混合系统的李亚普诺夫定理。此外，我们使用多个李雅普诺夫函数研究了复合混合系统的稳定性。 ・我们为由多个模型或模型集描述的对象开发了分层控制架构。我们还通过根据工厂不确定参数的估计自适应地调整时变参数来改进闭环响应

项目成果

Shigemasa Takai: "Reliable decentralized supervisory control of discrete event systems"Proc. 38th IEEE Conference on Decision and Control. 2224-2229 (1999)

Shigemasa Takai：“离散事件系统的可靠分散监督控制”Proc。

S. Yamamoto, T. Motomura and W. Chen: "A design method of discretetime quadratically stabilizing state feedback controllers with time-varying parameters"Trans. of The Institute of Systems, Control and Information Engineers (in Japanese). Vol.11, No.12. 67

S. Yamamoto、T. Motomura 和 W. Chen：“一种具有时变参数的离散时间二次稳定状态反馈控制器的设计方法”Trans。

Shigeru Yamamoto: "Stability analysis for interconnected hybrid systems"37th Annual Allerton Conference. (掲載予定). (1999)

Shigeru Yamamoto：“互连混合系统的稳定性分析”第 37 届阿勒顿年会（即将出版）。

Shigemasa Takai and Toshimitsu Ushio: "Reliable decentralized supervisory control of discrete event systems"Proc. 38th IEEE Conference on Decision and Control. 2224-2229 (1999)

Shigemasa Takai 和 Toshimitsu Ushio：“离散事件系统的可靠分散监督控制”Proc。

Hiroshi Shibata: "Petri net based qualitative simulation with qunatitative information" Mathematics and Computers in Simulation. 43. 115-122 (1997)

Hiroshi Shibata：“基于 Petri 网的定量信息定性模拟”数学和计算机模拟。