International Online Seminar on Interval Methods in Control Engineering

Starting in October 2020, an International Online Seminar on Interval Methods in Control Engineering will take place regularly as a virtual meeting. This seminar is organized jointly by Andreas Rauh, Tarek Raïssi (Conservatoire National des Arts et Métiers, Paris, France), and Zhenhua Wang (Harbin Institute of Technology, Harbin, P.R. of China).

Areas of interest include but are not limited to: the design of interval observers and other techniques for state estimation, global optimization for system and parameter identification, verified simulations of dynamic systems, stability proof of robust and nonlinear control strategies, verification of observability and controllability of uncertain processes, fault detection and fault tolerant systems, applications in robotics, and many other fields.

Robust Interval Estimation of State and Unknown Inputs for Linear Continuous-Time Systems
47:57
Robust Interval Estimation of State and Unknown Inputs for Linear Continuous-Time Systems
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
1:08:46
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
Efficient Numerical Methods to Deal with Interval Uncertainties
53:24
Efficient Numerical Methods to Deal with Interval Uncertainties
Computing the Number of Connected Components of Spaces Defined by Generic Non-linear Inequalities
23:03
Computing the Number of Connected Components of Spaces Defined by Generic Non-linear Inequalities
An Interval Predictor-Based Robust Controller for the Blood Glucose Regulation Problem
47:14
An Interval Predictor-Based Robust Controller for the Blood Glucose Regulation Problem
Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations
57:00
Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations
Enclosing of the Image of a Sphere by a Nonlinear Function Using Parallelepipeds
31:45
Enclosing of the Image of a Sphere by a Nonlinear Function Using Parallelepipeds
Robust Deterministic Abstractions of Discr.-Time Cont.-State Systems through Linear State Feedback
1:01:26
Robust Deterministic Abstractions of Discr.-Time Cont.-State Systems through Linear State Feedback
Error-Bounded Approximation of the Inverse of a Function Near an Extremum
35:05
Error-Bounded Approximation of the Inverse of a Function Near an Extremum
Event-Triggered State Interval Estimation and Fault-Tolerant Control for Multi-Agent Systems
52:05
Event-Triggered State Interval Estimation and Fault-Tolerant Control for Multi-Agent Systems
Bounding the Success Probability of a Set Event in a Probabilistic World
33:43
Bounding the Success Probability of a Set Event in a Probabilistic World
Hardware Acceleration of Interval Calculus on FPGAs
43:52
Hardware Acceleration of Interval Calculus on FPGAs
Bounded-Error Target Localization and Tracking Using a Fleet of UAVs
1:05:12
Bounded-Error Target Localization and Tracking Using a Fleet of UAVs
Finite Memory Approach for Verified Pseudo State Estimation of Fractional Models of Li-Ion Batteries
54:26
Finite Memory Approach for Verified Pseudo State Estimation of Fractional Models of Li-Ion Batteries
Set Inversion and Box Contraction on Lie Groups Using Interval Analysis
59:51
Set Inversion and Box Contraction on Lie Groups Using Interval Analysis
A Review of Set Representation, Partition and Propagation Techniques
48:51
A Review of Set Representation, Partition and Propagation Techniques
Secure State Estimation Algorithm for Discrete-Time Linear Systems: A Set-Valued Approach
1:06:48
Secure State Estimation Algorithm for Discrete-Time Linear Systems: A Set-Valued Approach
Reachability Analysis for Logical Systems Using Logical Zonotopes and their Polynomial Extension
41:36
Reachability Analysis for Logical Systems Using Logical Zonotopes and their Polynomial Extension
Exact Characterization of the Convex Hulls of Reachable Sets
41:18
Exact Characterization of the Convex Hulls of Reachable Sets
Filtered High Gain Interval Observer for LPV System with Bounded Uncertainties
49:46
Filtered High Gain Interval Observer for LPV System with Bounded Uncertainties
Guaranteed Characterization of Exact Non-Asymptotic Confidence Regions Using Interval Analysis
50:14
Guaranteed Characterization of Exact Non-Asymptotic Confidence Regions Using Interval Analysis
Interval Methods for the GPU in Global Optimization
37:20
Interval Methods for the GPU in Global Optimization
Union of Adjacent Contractors
35:04
Union of Adjacent Contractors
Constrained Convex Generators: A Set Representation for Accurate Estimation
53:05
Constrained Convex Generators: A Set Representation for Accurate Estimation
Robust Control Barrier Functions with Set-Membership Estimation and Learning
1:01:59
Robust Control Barrier Functions with Set-Membership Estimation and Learning
Remainder-Form Decomposition Functions & Their Applications to Guaranteed Reachability, ...
58:07
Remainder-Form Decomposition Functions & Their Applications to Guaranteed Reachability, ...
Encompassing Computation of the Ellipsoidal Image in the Singular Case
32:01
Encompassing Computation of the Ellipsoidal Image in the Singular Case
Towards Truly Robust Spatio-Temporal Monitoring: Safety of Interacting Cyber-Physical Systems
51:53
Towards Truly Robust Spatio-Temporal Monitoring: Safety of Interacting Cyber-Physical Systems
Fixed-Time Interval Observer Design Using an Artificial Delay: A Study of Discrete-Time Case
48:28
Fixed-Time Interval Observer Design Using an Artificial Delay: A Study of Discrete-Time Case
Watermark-based Proactive Defense Strategy For Cyber-Physical Systems With Unknown-but-bounded Noise
40:13
Watermark-based Proactive Defense Strategy For Cyber-Physical Systems With Unknown-but-bounded Noise