https://zbmath.org/atom/cc/93-06 2024-04-15T15:10:58.286558Z 未知作者 Werkzeug公司 https://zbmath.org/1530.00016 2024-04-15T15:10:58.286558Z 本文简介：本专题属于基于准线性参数变化（qLPV）模型和基于线性矩阵不等式（LMI）的优化的多目标控制设计。本期专题关注基于张量积（TP）模型转换的先进理论和设计解决方案。 https://zbmath.org/1530.00022 2024-04-15T15:10:58.286558Z 本文简介：本期特刊汇集了世界著名研究团队在系统与控制理论与生命科学之间的前沿领域提出的最新进展和令人激动的新观点。 https://zbmath.org/1530.00027 2024-04-15T15:10:58.286558Z 本文简介：本期专题旨在为各种线性和非线性系统在放松激励条件下的自适应控制学习提供最新发展，重点关注基于回归元扩展的参数估计和自适应控制及其实际应用。 https://zbmath.org/1530.49003 2024-04-15T15:10:58.286558Z 出版商描述：本卷介绍了控制理论和逆问题的及时概述，并强调了这些活跃研究领域的最新进展。这些章节基于2022年5月在突尼斯莫纳斯提尔举行的春季学校“控制与反问题”的讲座。除了简要介绍这两个领域外，各章还强调了在更具体的主题上的突破，例如：\开始{itemize}\动力系统的项可控性\乘数方程中的项目信息传递\项目非参数工具回归\链式系统的项目控制\项目阻尼波动方程\结束{itemize}\textit{控制和反问题}对于既有研究人员也有社区中更多初级成员来说都是一个有价值的资源。对数学感兴趣的文章将单独复习。 https://zbmath.org/1530.68008 2024-04-15T15:10:58.286558Z 本卷的文章将单独进行审查。上一次会议见[Zbl 1492.68007]。索引文章：\textit{Cairoli，Francesca；Paoletti，Nicola；Bortolussi，Luca}，随机过程STL需求的保形定量预测监测，论文编号：1，11 p.[Zbl 07807942]\textit{陈洪凯（Chen，Hongkai）；斯莫尔卡（Smolka，Scott A.）；保莱蒂（Paoletti，Nicola）；林（Lin，Shan）}，基于STL的网络物理系统弹性控制方法，第2号论文，第12页[Zbl 07807943]\textit{Cardona，Gustavo A.；Kamale，Disha；Vasile，Cristian-Ioan}，加权信号时序逻辑控制综合的混合整数线性规划方法，论文编号3，12 p.[Zbl 07807944]\textit{Tran，Hoang-Dung；Choi，Sungwoo；Okamoto，Hideki；Hoxha，Bardh；Fainekos，Georgios；Prokhorov，Danil}，使用probstars对神经网络进行定量验证，论文编号4，12 p.[Zbl 07807945]\textit{Wetzlinger，Mark；Kochdumper，Niklas；Bak，Stanley；Althoff，Matthias}，使用支持函数可达性分析对线性系统进行全自动验证，第5号论文，第12页[Zbl 07807946]\textit｛Tran，Hoang Dung；Choi，Sung Woo；Yang，Xiaodong；Yamaguchi，Tomoya；Hoxha，Bardh；Prokhorov，Danil｝，具有星可达性的递归神经网络的验证，第6号论文，第13页[Zbl 07807947]\textit{Adimoolam，Arvind；Saha，Indranil；Dang，Thao}，基于预计算可达性序列的安全自触发控制，第7号论文，第12页[Zbl 07807948]\textit{弗吉尼亚州德鲍什；马特奥·德尔拉·罗萨；荣格斯，拉斐尔}，用附加闭合模板表征路径完备稳定性证书的排序，第8号论文，第10页[Zbl 07807949]\textit{Zareian，Mehrdad；Schmuck，Anne-Kathrin}，基于状态的安全规范符号输出反馈控制器的惰性合成，第9号论文，第7页[Zbl 07807950]\textit{Ferdowsi，Arman；Függer，Matthias；Nowak，Thomas；Schmid，Ulrich}，阈值模式开关ODE和数字电路延迟模型的连续性，第10号论文，第11页[Zbl 07807951]\textit{Gracia，Ibón；Boskos，Dimitris；Laurenti，Luca；Mazo，Manuel jun.}，切换随机系统的分布鲁棒策略综合，第11号论文，第10页[Zbl 07807952]\textit{Delimpaltadakis，Giannis；Lahijanian，Morteza；Mazo，Manuel jun.；Laurenti，Luca}，具有连续动作空间的区间马尔可夫决策过程，论文编号12，10 p.[Zbl 07807953]\textit{Van Huijgevoort，Birgit；Schön，Oliver；Soudjani，Sadegh；Haesaert，Sofie}，SySCoRe:通过随机耦合关系合成，第13号论文，第11页[Zbl 07807954]\textit{Mambakam，Akshay；Asarin，Eugene；Basset，Nicolas；Dang，Thao}，参数定时正则表达式的模式匹配和参数识别，论文编号14，13 p.[Zbl 07807955]\textit{Chandratre，Aniruddh；Hernandez Acosta，Tomas；Khandait，Tanmay；Pedrielli，Giulia；Fainekos，Georgios}，形式化为伪造CPS安全的STL公式的秘密攻击，论文编号15，8 p.[Zbl 07807956]\textit{Barbot，Benoit；Basset，Nicolas；Donze，Alexandre}，Wordgen:一种定时单词生成工具，第16号论文，第7页[Zbl 07807957]\textit{Luo，Ertai；Kochdumper，Niklas；Bak，Stanley}，使用多项式分区法对不确定参数线性系统的可达性分析，论文编号17，12 p.[Zbl 07807958]\textit{Ladner，Tobias；Althoff，Matthias}，使用灵敏度分析进行神经网络验证中的自动抽象细化，论文编号18，13 p.[Zbl 07807959]\textit{Fatnasi，Wael；Khedr，Haitham；Yamamoto，Valen；Shoukry，Yasser}，Bern-NN:使用Bernstein多项式区间算法的神经网络紧束缚传播，论文编号19，11 p.[Zbl 07807960]\textit{Chong，Stephen；Lanotte，Ruggro；Merro，Massimo；Tini，Simone；Xiang，Jian}，网络物理系统传感器攻击的定量稳健性分析，第20号论文，第12页[Zbl 07807961]\textit{Das，Spandan；Prabhakar，Pavithra}，海报摘要：平面概率分段常微分系统的稳定性分析，第21号论文，第2页[Zbl 07807962]\textit{Schön，Oliver；Van Huijgevoort，Birgit；Haesaert，Sofie；Soudjani，Sadegh}，海报摘要：参数随机系统的数据驱动正确设计控制，论文编号22，第2页[Zbl 07807963]\textit{Raz，Daphna；Yang，Liren；Umberger，Brian；Ozay，Necmiye}，海报摘要：人体从坐到站稳定的可达性和受控不变性，第23号论文，第2页[Zbl 07807964]\textit{卢亚·卡拉古勒（Ruya Karagulle）；尼科斯·阿雷奇加（Nikos Arechiga）；贝斯特（Andrew Best）；乔纳森（Jonathan Decastro）；奥扎伊（Ozay），内克米耶（Necmiye）}，海报摘要：自动驾驶汽车的安全保障偏好学习方法，论文编号24，第2页[Zbl 07807965]\textit{Ho，Qi Heng；Ilyes，Roland；Sunberg，Zachary；Lahijanian，Morteza}，海报摘要：不确定性下复杂系统鲁棒STL综合的基于抽样的方法，论文25，2页[Zbl 07807966]\textit{Peruffo，Andrea；Mazo，Manuel jun.}，海报：ReLU网络的凸场景优化，第26号论文，第2页[Zbl 07807967]\textit{Egidio，Lucas Neves；Nayak，Satya Prakash；Rossa，Matteo Della；Schmuck，Anne Kathrin；Jungers，Raphaël}，海报摘要：实现混合动力控制的无缝反应，第27号论文，第2页[Zbl 07807968]\textit{Majumdar，Rupak；Mallik，Kaushik；Ryclicki，Mateusz；Schmuck，Anne-Kathrin；Soudjani，Sadegh}，海报摘要：加速符号控制的工具链，第28号论文，2页[Zbl 07807969]\textit{Anand，Ashwani；Nayak，Satya Prakash；Schmuck，Anne-Kathrin}，海报摘要：战略适应的许可性，第29号论文，第2页[Zbl 07807970]\textit{Khandait，Tanmay；Chandratre，Aniruddh；Baptista，Walstan；Pedrielli，Giulia；Fainekos，Georgios}，演示摘要：用微软飞行模拟器上的伪造分析CPS安全，论文编号30，2页[Zbl 07807971] https://zbmath.org/1530.68040 2024-04-15T15:10:58.286558Z Publisher描述：现代复杂的多域系统需要提高效率、可靠性和可用性，同时降低成本。这本书包含多个领域中过程的数学建模和模拟的论文：生态学与环境、生产与能源、信息技术、专用设备样本和网络物理系统。本书中的结果对参与真实世界系统、管理和决策模型、生产模型和软件产品的建模和仿真的专家非常有用。科学家有机会熟悉领先科学家提出的各种解决方案的最新研究，并为解决复杂的科学和实际任务确定有希望的方向。本书的章节包含2022年11月14日至16日在乌克兰切尔尼希夫举行的第17届国防部国际会议上提交的论文。本卷的文章不会单独编入索引。上一次会议见[Zbl 1490.68030]。 https://zbmath.org/1530.91006 2024-04-15T15:10:58.286558Z 出版商描述：本书收集了2020年1月在巴塞罗那Matemàtica研究中心举行的第158届欧洲工业研究小组的研究结果。欧洲工业研究小组是一个公认的论坛，数学家与工业代表就公司当前感兴趣的问题进行合作。在这次特别会议上，选择这些问题是为了提供广泛的主题领域，并吸引当地学者。在这项工作中，详细介绍了所进行的研究以及向公司提出的解决方案。特别是，这本书的重点是：估计手机游戏的难度水平；模拟人塔的稳定性；离合器部件制造中的纤维涂层；机器人手臂的安全轨迹。这本书是对工业数学经典的极好补充。它是针对那些热衷于将数学应用于现实问题的研究人员。对数学感兴趣的文章将单独复习。 https://zbmath.org/1530.93001 2024-04-15T15:10:58.286558Z 出版商描述：本书由多个轴上的最新作品组成，这些轴要么更具理论性，要么侧重于应用，将跨越系统和控制领域的各种最新主题。捐款的主要市场领域包括：先进的容错控制、控制重构、工业系统健康监测技术、数据驱动诊断方法、过程监控、离散事件系统的诊断和控制、维护和维修策略、故障诊断统计方法、，工业系统的可靠性和安全性用于控制和诊断的人工智能方法、健康感知控制设计策略、高级控制方法、基于深度学习的控制和诊断方法、基于强化学习的高级控制方法，诊断和预测技术应用于工业问题、工业4.0以及仪器和传感器。这些作品构成了上述科学领域的进步，研究生和博士生以及资深研究人员将利用这些作品更新自己在各自领域的最新进展。由于这本书包括几项应用研究，并有多个多学科贡献（深度学习、强化学习、基于模型/基于数据的控制等），因此这本书对从业者和工业专业人士同样有用。本卷的文章将单独进行审查。关于之前的研讨会，请参见[Zbl 1491.93004]。