Lectures related to Stability of Networked Control Systems

Networked Control Systems: Stability Analysis and Examples

Explores the impact of delays and sampling on networked control systems' stability, with examples and simulations.

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Explores decentralized control of DC microgrids, PnP controllers, explicit inequalities, and stability in voltage tracking and current sharing.

Compensation of Network-Induced Delays in Control Systems

Explores compensation of transmission delays in remote-control settings to ensure stability in networked control systems.

The Discriminant and Ideal Class Group in Mathematics

Explores the discriminant in matrices, ideal class groups, and optimal embeddings in mathematics.

Coq: Introduction

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Short Coq Tutorial

Offers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.

Networked Control Systems: Consensus and Laplacian Flow

Explores the Laplacian flow and achieving consensus in networked control systems through examples and theorems.

Simulation: Control of Dynamic Systems

Explores simulation of common structures and control of dynamic systems through friction and elasticity constants.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Networked Control Systems: Stability Analysis and Delay Compensation

Explores stability analysis and delay compensation in networked control systems, emphasizing the importance of compensating for known delays.

Networked Control Systems: Protocol-induced Delays and Time-varying Sampling

Explores protocol-induced delays, time-varying sampling, wireless control networks, and system stability.

Networked Control Systems: Stability and Analysis

Explores the stability of networked control systems under packet loss and stochastic dropouts, emphasizing mean-square stability and robustness.

Untitled

Optimization and Simulation: Introduction to Simulation

Introduces state-of-the-art methods in optimization and simulation, covering topics like statistical analysis, variance reduction, and simulation projects.

Discrete Mathematics: Logic & Structures

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Propositional Logic: Basic Logical Connectives

Covers propositions, logical connectives, truth tables, and propositional logic language.

Counter-example of basic condition

Explores the basic counter-example of a condition's insufficiency for series representation.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.