实体
Simulink
Simulink
PulseAugur coverage of Simulink — every cluster mentioning Simulink across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 4
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
关系
最近 · 第 1/1 页 · 共 4 条
-
新工具可对工业PLC梯形图程序进行形式化验证
研究人员开发了ESBMC-PLC和Graph-ESBMC-PLC，这是用于形式化验证以IEC 61131-3梯形图（LD）格式编写的工业控制程序的新工具。这些工具将图形化LD程序转换为可由基于SMT的模型检查器处理的中间表示，填补了现有验证方法的空白。该系统已在各种基准测试中进行了评估，证明了它们在高效时间范围内正确分类程序、发现错误和提供证明的能力。
-
Agentic AI 将通过基于模型的设计开发嵌入式系统
Agentic AI 系统可用于通过基于模型的设计方法开发嵌入式系统。此方法利用 AI 代理来简化开发过程，有可能提高创建复杂嵌入式系统的效率和能力。将 AI 代理与 MATLAB 和 Simulink 等工具集成被视为实现这一目标的一种途径。
-
AI虚拟传感器简化电池管理系统设计
本次网络研讨会重点介绍如何使用AI创建虚拟传感器，以估算难以测量的信号，例如电池荷电状态。它演示了将AI模型集成到系统级设计中，并根据性能和部署约束对其进行验证。该工作流程在一个统一的环境中涵盖了这些AI传感器的设计、验证、压缩和部署到嵌入式处理器。
-
Mathworks网络研讨会详解AI在电力系统仿真中的作用
本次IEEE Spectrum网络研讨会由Mathworks赞助，展示了Simscape Electrical如何对电力系统和转换器进行建模与仿真。它涵盖了从准静态8760小时研究到用于电网集成的电磁瞬态仿真的各种仿真类型。该网络研讨会使用实际示例来分析现代、以转换器为主导的电网中的系统行为、稳定性、故障分析和代码合规性。