Industrial Automation Systems Courses

Ryan O'Donnell

More on Constant-Round Interactive Proof Systems - Graduate Complexity Lecture at CMU

Explore constant-round interactive proof systems in computational complexity theory, covering MA, AM, BPP, and efficient error reduction techniques.

• YouTube
• 1 hour 21 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.

• YouTube
• 1 hour 22 minutes
• On-Demand
• Free Video

Steve Brunton

Topics in Dynamical Systems - Fixed Points, Linearization, Invariant Manifolds, Bifurcations & Chaos

Explore dynamical systems: fixed points, linearization, manifolds, bifurcations, and chaos. Gain insights into nonlinear dynamics and their applications in describing our changing world.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Steve Brunton

Solving Systems of Differential Equations with Eigenvalues and Eigenvectors

Learn to solve systems of linear ODEs using eigenvalues and eigenvectors. Covers problem setup, solution methods, and intuitive interpretation, with code examples in Python and MATLAB.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Steve Brunton

Matrix Systems of Differential Equations

Learn to transform high-order linear differential equations into matrix systems, enabling powerful solutions using eigenvalues and eigenvectors. Explore practical examples and key concepts in linear algebra applications.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Steve Brunton

Data-Driven Dynamical Systems Overview

Overview of data-driven approaches to tackle challenges in modern dynamical systems, exploring machine learning techniques for nonlinear and unknown dynamics, prediction, and control.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Steve Brunton

Examples of Nonlinear Systems - Particle in a Potential Well

Explore nonlinear systems through the particle in a potential well example, covering Euler-Lagrange equations, vector fields, phase portraits, and damping in engineering mathematics.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Steve Brunton

Matrix Systems of First Order Equations Using Eigenvectors and Eigenvalues

Explore matrix systems of first-order equations, diagonalization techniques, and higher-order linear ODEs. Learn to solve complex differential equations using eigenvectors and eigenvalues.

• YouTube
• 48 minutes
• On-Demand
• Free Video

Bolei Zhou

Introduction to Reinforcement Learning - Distributed RL Systems - Lecture 9

强化学习分布式系统概述：探讨系统架构、参数更新方法、并行化策略，以及从DQN到AlphaStar的案例研究，深入分析分布式RL系统的发展和实现。

• YouTube
• 47 minutes
• On-Demand
• Free Video

Simons Institute

Learning Decentralized Policies in Multiagent Systems - How to Learn Efficiently

Explore decentralized policy learning in multiagent systems, focusing on scalable actor-critic methods, network structures, and performance characterization using stochastic game frameworks.

• YouTube
• 51 minutes
• On-Demand
• Free Video

Simons Institute

Reinforcement Learning in Recommender Systems - Some Challenges

Explore challenges in applying reinforcement learning to recommender systems, including scale, stochastic action sets, and user learning over long horizons. Gain insights on addressing these issues.

• YouTube
• 52 minutes
• On-Demand
• Free Video

Simons Institute

Using Deep Learning for Perception in Autonomous Systems - A Perspective from Control Theory

Explore deep learning for perception in autonomous systems, focusing on efficient navigation using monocular RGB cameras in unknown environments. Control theory insights and practical lessons included.

• YouTube
• 49 minutes
• On-Demand
• Free Video

Simons Institute

Classical Simulation of Quantum Many-body Systems with Tensor Networks

Explore tensor networks for simulating quantum many-body systems, focusing on matrix product states and branching mirror techniques in quantum computation challenges.

• YouTube
• 45 minutes
• On-Demand
• Free Video

Simons Institute

Safety-Critical Autonomous Systems - What is Possible? What is Required?

Explore the design, challenges, and potential of safety-critical autonomous systems in aerospace, transportation, and consumer applications, focusing on verification and formal methods.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

MITCBMM

Boundary Conditions for Language in Biological and Artificial Neural Systems

Explore computational requirements for language processing in neural systems, focusing on hierarchical structures, neural oscillations, and integrating linguistic insights with neural computation principles.

• YouTube
• 54 minutes
• On-Demand
• Free Video