| 标题 |
 Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings 基于基标记的标记Petri网临界可观性验证与实施
相关领域
可观测性
Petri网
可达性
可见的
有界函数
计算机科学
监督控制
事件（粒子物理）
基础（线性代数）
状态空间
图论
观察员（物理）
控制理论（社会学）
图形
集合（抽象数据类型）
数学
理论计算机科学
算法
控制（管理）
人工智能
应用数学
量子力学
统计
组合数学
物理
数学分析
程序设计语言
几何学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Transactions on Automatic Control 作者：Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 出版日期：2023-12-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
丰盛的煎饼
西红柿炒番茄
乐乐乐乐乐乐
加菲丰丰
Hayat
kento
寻道图强
ShowMaker
杳鸢
爱静静
YifanWang
冒险寻羊
lanxinyue
spark810
景辣条
乐乐
大仙
互助遵法尚德
yyymmma
斯文败类
皖公网安备34019202002308
