Computation of maximal reachability submodules

被引:1
|
作者
Schmale, W [1 ]
机构
[1] Univ Oldenburg, Fachbereich Math, D-26111 Oldenburg, Germany
关键词
reachability submodule; linear systems; systems over rings; symbolic computation;
D O I
10.1016/S0167-6911(00)00097-9
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A new and conceptually simple procedure is derived for the computation of the maximal reachability submodule of a given submodule of the state space of a linear discrete-time system over a Noethenian ring R. The procedure is effective if R is effective and if kernels and intersections can be computed. The procedure is compared with a rather different procedure by Assan e.a. published recently. (C) 2001 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:229 / 232
页数:4
相关论文
共 50 条
  • [31] Reachability Design Through Approximate Bayesian Computation
    Bentriou, Mahmoud
    Ballarini, Paolo
    Cournede, Paul-Henry
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2019), 2019, 11773 : 207 - 223
  • [32] The Existence of Maximal w*–closed Submodules in Nest Algebra Modules
    Zhe Dong
    Acta Mathematica Sinica, English Series, 2007, 23 : 193 - 200
  • [33] The existence of maximal w*-closed submodules in nest algebra modules
    Dong, Zhe
    ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2007, 23 (02) : 193 - 200
  • [34] Fast computation of reachability labeling for large graphs
    Cheng, Jiefeng
    Yu, Jeffrey Xu
    Lin, Xuemin
    Wang, Haixun
    Yu, Philip S.
    ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 3896 : 961 - 979
  • [35] Efficient Bounded Reachability Computation for Rectangular Automata
    Chen, Xin
    Abraham, Erika
    Frehse, Goran
    REACHABILITY PROBLEMS, 2011, 6945 : 139 - +
  • [36] A hierarchical model for label constraint reachability computation
    Chen, Luo
    Wu, Ye
    Zhong, Zhinong
    Xiong, Wei
    Jing, Ning
    NEUROCOMPUTING, 2015, 162 : 67 - 84
  • [37] Symbolic Reachability Computation of A Class of Nonlinear Systems
    Xu, Ming
    Chen, Liangyu
    Li, Zhi-bin
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 706 - 710
  • [38] Modules whose maximal submodules have tau-supplements
    Buyukasik, Engin
    ALGEBRA & DISCRETE MATHEMATICS, 2010, 10 (02): : 1 - 9
  • [39] The Existence of Maximal w~*-closed Submodules in Nest Algebra Modules
    Zhe DONG
    ActaMathematicaSinica(EnglishSeries), 2007, 23 (02) : 193 - 200
  • [40] Two questions on rings whose modules have maximal submodules
    Xue, WM
    COMMUNICATIONS IN ALGEBRA, 2000, 28 (05) : 2633 - 2638