MathWorks
PulseAugur coverage of MathWorks — every cluster mentioning MathWorks across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New tools enable formal verification of industrial PLC ladder diagram programs
Researchers have developed ESBMC-PLC and Graph-ESBMC-PLC, new tools for formally verifying industrial control programs written in the IEC 61131-3 Ladder Diagram (LD) format. These tools translate graphical LD programs i…
-
Agentic AI to Develop Embedded Systems via Model-Based Design
Agentic AI systems can be utilized to develop embedded systems through model-based design methodologies. This approach leverages AI agents to streamline the development process, potentially enhancing efficiency and capa…
-
AI virtual sensors streamline battery management system design
This webinar focuses on using AI to create virtual sensors for estimating hard-to-measure signals, like battery state of charge. It demonstrates integrating AI models into system-level design and validating them against…
-
Mathworks webinar details AI's role in power system simulation
This IEEE Spectrum webinar, sponsored by Mathworks, demonstrates how Simscape Electrical can model and simulate power systems and converters. It covers various simulation types, from quasi-static 8760-hour studies to el…