Data Driven Reachability Analysis

Media Summary: This video to summarize our paper Amr Alanwar, Anne Koch, Frank Allgower, Karl Henrik Johansson " The demo for our CDC 2025 paper and its journal Version Conference Version: Authors: Liren Yang (University of Michigan); Hang Zhang (University of Michigan); Jean-Baptiste Jeannin (University of Michigan) ...

Data Driven Reachability Analysis - Detailed Analysis & Overview

This video to summarize our paper Amr Alanwar, Anne Koch, Frank Allgower, Karl Henrik Johansson " The demo for our CDC 2025 paper and its journal Version Conference Version: Authors: Liren Yang (University of Michigan); Hang Zhang (University of Michigan); Jean-Baptiste Jeannin (University of Michigan) ... This video introduces our paper Computation of Regions of Attraction for Hybrid Limit Cycles Using Real-world experiments demonstrating pacSTL for vessel encounters. Bence Nagy, Semgrep's Senior Software Engineer, explains '

In simple environments with clear rules, automated vehicles perform well. However, urban traffic presents significant challenges ... Speaker: Amr Alanwar (Chair of Cyber-Physical Systems, School of Computation, Information and Technology, Technische ...

Photo Gallery

Data-Driven Reachability Analysis

Data-Driven Nonconvex Reachability Analysis

Data-Driven Reachability via Koopman Operator Embeddings

Data-Driven Predictive Control using Reachability Analysis - ECC 2022

Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes

Feature of the Day - Real-Time Reachability Analysis

Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability

Faster Reachability Analysis for LR(1) Parsers

pacSTL : PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

Reachability analysis in Semgrep Supply Chain

Multi-Rules Reachability Analysis for Road Agents Using Graph-Based Maps and Real-Time Kinematics

[CORA] Reachability Analysis for Continuous Systems: Adaptive Algorithm for Linear Systems

View Detailed Profile

Data-Driven Reachability Analysis

Data-Driven Reachability Analysis

This video to summarize our paper Amr Alanwar, Anne Koch, Frank Allgower, Karl Henrik Johansson "

Data-Driven Nonconvex Reachability Analysis

Data-Driven Nonconvex Reachability Analysis

The demo for our CDC 2025 paper and its journal Version Conference Version:

Data-Driven Reachability via Koopman Operator Embeddings

Data-Driven Reachability via Koopman Operator Embeddings

Data

Data-Driven Predictive Control using Reachability Analysis - ECC 2022

Data-Driven Predictive Control using Reachability Analysis - ECC 2022

This video to summarize our paper Robust

Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes

Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes

Authors: Liren Yang (University of Michigan); Hang Zhang (University of Michigan); Jean-Baptiste Jeannin (University of Michigan) ...

Feature of the Day - Real-Time Reachability Analysis

Feature of the Day - Real-Time Reachability Analysis

Introducing Real-Time

Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability

Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability

This video introduces our paper Computation of Regions of Attraction for Hybrid Limit Cycles Using

Faster Reachability Analysis for LR(1) Parsers

Faster Reachability Analysis for LR(1) Parsers

We present a novel algorithm for

pacSTL : PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

pacSTL : PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

Real-world experiments demonstrating pacSTL for vessel encounters.

Reachability analysis in Semgrep Supply Chain

Reachability analysis in Semgrep Supply Chain

Bence Nagy, Semgrep's Senior Software Engineer, explains '

Multi-Rules Reachability Analysis for Road Agents Using Graph-Based Maps and Real-Time Kinematics

Multi-Rules Reachability Analysis for Road Agents Using Graph-Based Maps and Real-Time Kinematics

In simple environments with clear rules, automated vehicles perform well. However, urban traffic presents significant challenges ...

[CORA] Reachability Analysis for Continuous Systems: Adaptive Algorithm for Linear Systems

[CORA] Reachability Analysis for Continuous Systems: Adaptive Algorithm for Linear Systems

CORA computes

Reachability Analysis for Logical Systems Using Logical Zonotopes and their Polynomial Extension

Reachability Analysis for Logical Systems Using Logical Zonotopes and their Polynomial Extension

Speaker: Amr Alanwar (Chair of Cyber-Physical Systems, School of Computation, Information and Technology, Technische ...