Symmetry reductions for a class of discrete-event systems

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI:10.1109/CDC.2004.1428603

K. Rohloff, S. Lafortune

引用次数: 7

Abstract

Issues related to the control and verification of isomorphic modular discrete-event systems are investigated. A finite state automaton system model is considered for the system modules where sets of atomic propositions are defined on the states. A type of symmetry is defined for these modular systems and a restriction of the /spl mu/-calculus designed for these systems is introduced. A procedure is shown to reduce the cost in computation time and memory for testing if symmetric modular systems satisfy propositions in this /spl mu/-calculus. An example of a symmetric modular UAV platoon leader system is then shown and discussed.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

一类离散事件系统的对称约简

研究了同构模离散事件系统的控制与验证问题。考虑了系统模块的有限状态自动机系统模型，其中在状态上定义了原子命题集。为这些模系统定义了一种对称类型，并介绍了为这些模系统设计的/spl mu/-微积分的限制。本文给出了一个测试对称模系统是否满足此/spl mu/-微积分命题的程序，以减少计算时间和内存成本。给出了一个对称模块化无人机排长系统的实例并进行了讨论。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)

自引率

0.00%

发文量

期刊最新文献

Remarks on strong stabilization and stable H/sup /spl infin// controller design Neural network compensation technique for standard PD-like fuzzy controlled nonlinear systems Failure-robust distributed controller architectures Stochastic optimal control guidance law with bounded acceleration On automating atomic force microscopes: an adaptive control approach