.png){kind=icon}
返回
Bisimilar linear systems
.png){kind=icon}
PRE
AI
DOI：10.1016/j.automatica.2003.07.003.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The notion of bisimulation in theoretical computer science is one of the main complexity reduction methods for the analysis and synthesis of labeled transition systems. Bisimulations are special quotients of the state space that preserve many important properties expressible in temporal logics, and, in particular, reachability. In this paper, the framework of bisimilar transition systems is applied to various transition systems that are generated by linear control systems. Given a discrete-time or continuous-time linear system, and a finite observation map, we characterize linear quotient maps that result in quotient transition systems that are bisimilar to the original system. Interestingly, the characterizations for discrete-time systems are more restrictive than for continuous-time systems, due to the existence of an atomic time step. We show that computing the coarsest bisimulation, which results in maximum complexity reduction, corresponds to computing the maximal controlled or reachability invariant subspace inside the kernel of the observations map. These results establish strong connections between complexity reduction concepts in control theory and computer science. (C) 2003 Elsevier Ltd. All rights reserved.
Keyword:
bisimulation
linear systems
reachability
transition systems
control invariance
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.9
论文数:
1.2W
被引数:
5.2W
机构
暂无机构信息
引用论文
In vitro, In vivo and In silico Antihyperglycemic Activity of Some Semi-Synthetic Phytol Derivatives
PREAI
分享收藏Multi-stage kimberlite evolution tracked in zoned olivine from the Benfontein sill, South Africa.png)
Lithos
OAAI
LithosIF0
OAAI分享收藏Technology insertion in the defence industry: A primerProceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture
Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering ManufactureIF0
PREAI
分享收藏
查看更多内容