48:51A Review of Set Representation, Partition and Propagation Techniques
A 49-minute video from Interval methods in control engineering: “A Review of Set Representation, Partition and Propagation Techniques”.
Interval methods in control engineering
392 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
48:51
47:14An Interval Predictor-Based Robust Controller for the Blood Glucose Regulation Problem
A 47-minute video from Interval methods in control engineering: “An Interval Predictor-Based Robust Controller for the Blood Glucose Regulation Problem”.
1:05:12Bounded-Error Target Localization and Tracking Using a Fleet of UAVs
A 65-minute video from Interval methods in control engineering: “Bounded-Error Target Localization and Tracking Using a Fleet of UAVs”.
33:43Bounding the Success Probability of a Set Event in a Probabilistic World
A 34-minute video from Interval methods in control engineering: “Bounding the Success Probability of a Set Event in a Probabilistic World”.
23:03Computing the Number of Connected Components of Spaces Defined by Generic Non-linear Inequalities
A 23-minute video from Interval methods in control engineering: “Computing the Number of Connected Components of Spaces Defined by Generic Non-linear Inequalities”.
35:52Controlled Reach-Avoid Set Computation for Discrete-Time Polynomial Systems via Convex Optimization
A 36-minute video from Interval methods in control engineering: “Controlled Reach-Avoid Set Computation for Discrete-Time Polynomial Systems via Convex Optimization”.
1:08:46Derivative-Agnostic Inference of Nonlinear Hybrid Systems
A 69-minute video from Interval methods in control engineering: “Derivative-Agnostic Inference of Nonlinear Hybrid Systems”.
53:24Efficient Numerical Methods to Deal with Interval Uncertainties
A 53-minute video from Interval methods in control engineering: “Efficient Numerical Methods to Deal with Interval Uncertainties”.
31:45Enclosing of the Image of a Sphere by a Nonlinear Function Using Parallelepipeds
A 32-minute video from Interval methods in control engineering: “Enclosing of the Image of a Sphere by a Nonlinear Function Using Parallelepipeds”.
35:05Error-Bounded Approximation of the Inverse of a Function Near an Extremum
A 35-minute video from Interval methods in control engineering: “Error-Bounded Approximation of the Inverse of a Function Near an Extremum”.
52:05Event-Triggered State Interval Estimation and Fault-Tolerant Control for Multi-Agent Systems
A 52-minute video from Interval methods in control engineering: “Event-Triggered State Interval Estimation and Fault-Tolerant Control for Multi-Agent Systems”.
41:18Exact Characterization of the Convex Hulls of Reachable Sets
A 41-minute video from Interval methods in control engineering: “Exact Characterization of the Convex Hulls of Reachable Sets”.
47:53Exploring Interval Estimation for a Nonlinear Battery Model: Attempts and Lessons Learned
A 48-minute video from Interval methods in control engineering: “Exploring Interval Estimation for a Nonlinear Battery Model: Attempts and Lessons Learned”.
54:26Finite Memory Approach for Verified Pseudo State Estimation of Fractional Models of Li-Ion Batteries
A 54-minute video from Interval methods in control engineering: “Finite Memory Approach for Verified Pseudo State Estimation of Fractional Models of Li-Ion Batteries”.
43:52Hardware Acceleration of Interval Calculus on FPGAs
A 44-minute video from Interval methods in control engineering: “Hardware Acceleration of Interval Calculus on FPGAs”.
48:33Interval Methods for Optimal and Guaranteed Path Planning
A 49-minute video from Interval methods in control engineering: “Interval Methods for Optimal and Guaranteed Path Planning”.
44:54Interval Observer Design Considering Parameter Uncertainties for Reactive Sputter Processes
A 45-minute video from Interval methods in control engineering: “Interval Observer Design Considering Parameter Uncertainties for Reactive Sputter Processes”.
42:00Monotone Systems: A Foundation for Efficient Interval Methods in Control
A 42-minute video from Interval methods in control engineering: “Monotone Systems: A Foundation for Efficient Interval Methods in Control”.
41:36Reachability Analysis for Logical Systems Using Logical Zonotopes and their Polynomial Extension
A 42-minute video from Interval methods in control engineering: “Reachability Analysis for Logical Systems Using Logical Zonotopes and their Polynomial Extension”.
46:01Reachset-Conformant Identification: Constructing Data-Driven Abstractions for Safety Verification
A 46-minute video from Interval methods in control engineering: “Reachset-Conformant Identification: Constructing Data-Driven Abstractions for Safety Verification”.
1:01:26Robust Deterministic Abstractions of Discr.-Time Cont.-State Systems through Linear State Feedback
A 61-minute video from Interval methods in control engineering: “Robust Deterministic Abstractions of Discr.-Time Cont.-State Systems through Linear State Feedback”.
47:57Robust Interval Estimation of State and Unknown Inputs for Linear Continuous-Time Systems
A 48-minute video from Interval methods in control engineering: “Robust Interval Estimation of State and Unknown Inputs for Linear Continuous-Time Systems”.
1:06:48Secure State Estimation Algorithm for Discrete-Time Linear Systems: A Set-Valued Approach
A 67-minute video from Interval methods in control engineering: “Secure State Estimation Algorithm for Discrete-Time Linear Systems: A Set-Valued Approach”.
55:32Self-Triggered Control on Invariant Sets for Safe and Spare Robot Navigation
A 56-minute video from Interval methods in control engineering: “Self-Triggered Control on Invariant Sets for Safe and Spare Robot Navigation”.
45:26Sensor-Based Safe Navigation for a Powered Wheelchair using Interval Analysis
A 45-minute video from Interval methods in control engineering: “Sensor-Based Safe Navigation for a Powered Wheelchair using Interval Analysis”.
43:44Set Inversion Involving Interval Angle Measurements
A 44-minute video from Interval methods in control engineering: “Set Inversion Involving Interval Angle Measurements”.
59:51Set Inversion and Box Contraction on Lie Groups Using Interval Analysis
A 60-minute video from Interval methods in control engineering: “Set Inversion and Box Contraction on Lie Groups Using Interval Analysis”.
50:23Signal Temporal Logic: Introduction and Applications to Uncertain Cyber-Physical Systems
Intro
A 50-minute video from Interval methods in control engineering: “Signal Temporal Logic: Introduction and Applications to Uncertain Cyber-Physical Systems”.
57:00Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations
A 57-minute video from Interval methods in control engineering: “Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations”.
52:53Time-Invariant and Optimal Interval Observers viaMixed-Monotone Embeddings
A 53-minute video from Interval methods in control engineering: “Time-Invariant and Optimal Interval Observers viaMixed-Monotone Embeddings”.