Algebraic calculation for safety synthesis of networked logical finite state machines

已完结

文献求助详情

标题	Algebraic calculation for safety synthesis of networked logical finite state machines 相关领域监督人代数数国家（计算机科学）有限状态机集合（抽象数据类型）监督控制有界函数计算机科学多项式的数学可见的产品（数学）代数分析代数规范控制理论（社会学）域代数上的过渡系统理论计算机科学有限集逻辑连接控制（管理）离散数学控制器（灌溉）算法代数结构
网址	https://doi.org/10.1016/j.ejcon.2025.101386
DOI	10.1016/j.ejcon.2025.101386 doi
其它	期刊：European Journal of Control 作者：Zhipeng Zhang; A L Wang; Haitao Li; Chengyi Xia 出版日期：2025-09-23
求助人	雕栏玉砌在 2026-03-20 11:35:25 发布自河南，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

站在巨人的肩膀上，才更有可能跳的更远

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 虎皮青椒完成签到，获得积分10

刚刚; 橙味美年达完成签到，获得积分10

1秒前; 抹茶小鱼仔发布了新的文献求助10

1秒前; 引子完成签到，获得积分10

1秒前; 方源的应助被罗喉采纳，获得10

1秒前; shishuang完成签到，获得积分10

2秒前; 共享精神的应助被大橘采纳，获得10

2秒前; 重要柠檬发布了新的文献求助10

2秒前; 害羞破茧完成签到，获得积分10

3秒前; ONE完成签到，获得积分10

3秒前; 雪松完成签到，获得积分10

4秒前; 水水完成签到，获得积分10

4秒前; firy完成签到，获得积分10

5秒前; Tomasong完成签到，获得积分10

5秒前; EE5577完成签到，获得积分10

5秒前; nobody完成签到，获得积分10

5秒前; 马晓玲完成签到，获得积分20

5秒前; en完成签到，获得积分20

6秒前; sincyking完成签到，获得积分10

7秒前; 576-576发布了新的文献求助10

7秒前; lvsoul完成签到，获得积分10

8秒前; xiaoze完成签到，获得积分10

8秒前; 123上传了应助文件

8秒前; 黑猫小苍完成签到，获得积分10

8秒前; Hello上传了应助文件

8秒前; zz完成签到，获得积分10

8秒前; rechristal完成签到，获得积分10

8秒前; abby123完成签到，获得积分10

9秒前; 彭于晏的应助被家国采纳，获得10

9秒前; ShangNiNE完成签到，获得积分10

9秒前; 可靠的难胜完成签到，获得积分10

9秒前; 科研狗完成签到，获得积分20

9秒前; 邹邹完成签到，获得积分10

9秒前; m1完成签到，获得积分10

10秒前; Yan完成签到，获得积分10

10秒前; wuxin完成签到，获得积分10

10秒前; 所所的应助被迷路的糜采纳，获得10

10秒前; 科研通AI6.4上传了应助文件

10秒前; 禹子骞完成签到，获得积分10

11秒前; 大龙完成签到，获得积分10

11秒前