REACHABILITY

作品数：47被引量：85H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗云峰肖人彬费奇王雪李建中更多>>
相关机构：华中理工大学哈尔滨工业大学东南大学复旦大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国博士后科学基金国家教育部博士点基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Control Theory and Technologyx
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Matrix expression and reachability analysis of finite automata被引量：16
《控制理论与应用（英文版）》2012年第2期210-215,共6页Xiangru XU, Yiguang HONG Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China 
supported by the National Natural Science Foundation of China (No. 61174071)
In this paper, we propose a matrix-based approach for finite automata and then study the reachability conditions. Both the deterministic and nondeterministic automata are expressed in matrix forms, and the necessary a...
关键词：Finite automata REACHABILITY Matrix expression Semitensor product 
Piecewise output feedback control for affine systems with disturbances based on linear temporal logic specifications
《控制理论与应用（英文版）》2011年第2期289-294,共6页Wu, Min  Yan, Gangfeng  Lin, Zhiyun 
sponsored by the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry of China
In the paper,we investigate the problem of finding a piecewise output feedback control law for an uncertain affine system such that the resulting closed-loop output satisfies a desired linear temporal logic (LTL) spec...
关键词：REACHABILITY Piecewise output feedback control Affine systems Linear temporal logic 
Reachability analysis of switched linear discrete singular systems被引量：2
《控制理论与应用（英文版）》2006年第1期11-17,共7页Bin MENG Jifeng ZHAN 
This work was supported by the National Natural Science Foundation of China (No. 6022130, 60334040, 60428304).
This paper studies the reachability problem of the switched linear discrete singular （SLDS） systems. Under the condition that all subsystems are regular, the reachability of the SLDS systems is characterized based o...
关键词：Switched system Linear discrete singular system REACHABILITY Switching sequence 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部