https://zbmath.org/atom/cc/93C29 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.93042 2024-04-15T15:10:58.286558Z “张奎泽” https://zbmath.org/authors/？q=ai:zhang.kuize （无摘要） https://zbmath.org/1530.93174 2024-04-15T15:10:58.286558Z “丁雪莹” https://zbmath.org/authors/？q=ai:ding.xueying “陆建全” https://zbmath.org/authors/？q=ai:lu.jianquan “李海涛” https://zbmath.org/authors/？q=ai:li.haitao “刘，杨” https://zbmath.org/authors/？q=ai:liu.yang.7 摘要：切换布尔网络（SBN）是描述基因调控网络中混杂现象的重要模型，自矩阵半张量积的发展以来，它受到了越来越多的关注。本文旨在对SBN进行全面综述。首先，回顾了具有任意开关信号的SBN的基本问题，包括稳定性、稳定性、可控性、可观测性、最优控制和同步性。接下来，简要回顾了具有约束切换的SBN的稳定性分析，包括时间依赖切换、状态依赖切换和逻辑切换。此外，还全面介绍了非理想条件下SBN的一些基本结果。 https://zbmath.org/1530.93175 2024-04-15T15:10:58.286558Z “李一良” https://zbmath.org/authors/？q=ai:li.yiliang “冯，Jun-e” https://zbmath.org/authors/？q=ai:feng.june “贾，英哲” https://zbmath.org/authors/？q=ai:jia.yingzhe （无摘要） https://zbmath.org/1530.93270 2024-04-15T15:10:58.286558Z “孔祥山” https://zbmath.org/authors/？q=ai:kong.siangshan “李海涛” https://zbmath.org/authors/？q=ai:li.haitao （无摘要） https://zbmath.org/1530.93279 2024-04-15T15:10:58.286558Z “皮查德，罗曼” https://zbmath.org/authors/？q=ai:pichard.romain 亚历山大·菲利普 https://zbmath.org/authors/？q=ai:philippot.alexandre “里埃拉，伯纳德” https://zbmath.org/authors/？q=ai:riera.bernard 摘要：在本研究中，制造系统被视为具有逻辑输入（传感器）和逻辑输出（执行器）的离散事件系统（DES）。在之前的工作中，提出了一种基于CSP（约束满足问题）求解器的制造系统安全控制器（使用安全逻辑约束）的原始实现。然而，建议的解决方案不符合IEC 61131-3标准。换句话说，它不可能在PLC（可编程逻辑控制器）中实现。本文进行了符合IEC 61131-3标准的概念证明。为了实现这一挑战，我们开发并编程了一个原始的简单的ST（结构化文本）CSP-SAT求解器。该算法已通过使用M340施耐德电气PLC和使用Real Games公司的FACTORY I/O软件（\url{http://www.realgames.co}). 这似乎是第一次为PLC开发SAT解算器，作为PLC程序的一部分实时使用，以获得安全的控制器。关于整个集合，请参见[Zbl 1485.93017]。 https://zbmath.org/1530.93381 2024-04-15T15:10:58.286558Z “李，露露” https://zbmath.org/authors/？q=ai:li.lulu “张，安国” https://zbmath.org/authors/？q=ai:zhang.anguo “陆建全” https://zbmath.org/authors/？q=ai:lu.jianquan 摘要：本文主要研究随机函数扰动（SFP）对PBN集合稳定性的影响。将鲁棒集稳定性问题分为两种情况，分别是结构矩阵的扰动列不属于/属于稳定集。对于第一种情况，分别得到了保证系统保持有限时间稳定不变和系统渐近稳定的两个充要条件。对于第二种情况，即稳定集中的扰动列，得到了保持系统稳定性不变的条件。最后，给出了一个实例来说明所获得的理论结果。 https://zbmath.org/1530.93405 2024-04-15T15:10:58.286558Z “李文荣” https://zbmath.org/authors/？q=ai:li.wenrong “李海涛” https://zbmath.org/authors/？q=ai:li.haitao “杨新荣” https://zbmath.org/authors/？q=ai:yang.xinrong 摘要：异步布尔网络（BNs）是捕捉基因调控网络定性特征的现实而基本的模型。本文通过边缘去除控制研究了异步随机BNs的渐近稳定性。首先，根据布线网络的特点，提出了异步随机神经网络渐近稳定的新判据。然后，利用最小反馈弧集，设计了边缘去除控制，以实现异步随机神经系统的渐近稳定。最后，以具有70个节点和153条边的大肠相关结肠癌网络为例进行了验证，结果表明所设计的控制方案大大降低了计算复杂度。