Industrial Automation Systems Courses

Harvard CMSA

Integral Many-Body Systems and GHD - Lecture 2

Delve into integral many-body systems and Generalized Hydrodynamics (GHD) with Herbert Spohn in this advanced mathematical physics lecture from Harvard CMSA.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Topos Institute

Distillation Systems as Models of Homotopy Colimits

Delve into the mathematical concept of distillation systems and their relationship to homotopy colimits in category theory, exploring how these structures govern properties needed for functor calculus.

• YouTube
• 59 minutes
• Self-Paced
• Free Video

Discover AI

Graph Topology for Securing Wall Street's AI Agents and Multi-agent Systems

Explore how graph topology can secure AI agents in financial markets, defend against malicious attacks, and protect multi-agent systems through topology-guided security frameworks.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems

Explore the formalization of a sufficient condition for confluence in first-order left-linear rewrite systems using simultaneous critical pairs, extending beyond development-closed critical pairs.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction

Explore a new framework for verifying systems with parametric numbers of concurrent processes, using well-structured systems and 01-counter abstractions to decide verification problems across multiple system types.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Synthesis of Controllers for Continuous Blackbox Systems

Discover a novel blackbox synthesis approach for constructing continuous control functions with guaranteed correctness for cyber-physical systems, using dynamic sampling and Lipschitz bounds.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems

Discover a new method for proving temporal properties in distributed systems with ring topologies, extending verification from small to arbitrarily large systems, demonstrated through a MyCHIP digital currency protocol.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Automated Flaw Detection for Industrial Robot RESTful Service

Discover a novel testing technique for detecting security flaws in industrial robot RESTful services, addressing challenges in test case generation, throughput testing, and anomaly detection.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Towards General White-Box Automation: A Typeclass-Guided Context Cleaner

Explore the development of "cdestruct," a context cleaner for Coq that aims to fill the gap in white-box proof automation through typeclass-guided simplification of proof contexts using user-specified hints.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Shipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems

Explore Shipwright, a modular framework for verifying liveness in Byzantine fault tolerant systems through refinement techniques, addressing cryptographic signatures, fairness properties, and implementation decomposition.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

VeriRT: An End-To-End Verification Framework for Real-Time Distributed Systems

Explore VeriRT, an end-to-end formal verification framework that bridges the gap between abstract specifications and implementations for safety-critical real-time distributed systems, with case studies and Coq formalization.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

INFOSEC TRAIN

AI Meets DevSecOps - Navigating Automation and Security in 2025

Explore how AI transforms DevSecOps pipelines in 2025, from automated threat detection to predictive analytics, helping teams deliver secure applications faster while examining essential skills for this evolving landscape.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

Packt

Master Retrieval-Augmented Generation (RAG) Systems

Master advanced RAG techniques including query expansion, re-ranking, and dense passage retrieval. Gain hands-on experience implementing these methods to enhance document retrieval and answer generation in real-world scenarios.

• Coursera
• 4 hours 48 minutes
• Self-Paced
• Paid Course

GERAD Research Center

Towards Intelligent Data-Driven Verification of Stability and Safety for Unknown Nonlinear Systems

Explore a PDE-based approach to constructing Lyapunov functions for nonlinear systems, integrating physics-informed and data-driven techniques to verify stability and safety in unknown systems.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

ICTP-SAIFR

Strongly Hyperbolic Systems - Class 19

Delve into analytical and numerical tools for strongly hyperbolic systems in partial differential equations with Oscar Reula's comprehensive lecture.

• YouTube
• 50 minutes
• Self-Paced
• Free Video