Personal information

No personal information available

Activities

Collapse all

Works (3)

Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights

2025 | Book chapter
DOI: 10.1007/978-3-031-78750-8_12
Contributors: Stanley Bak; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati
Source: check_circle
Crossref

Falsification using Reachability of Surrogate Koopman Models

2024-05-14 | Conference paper
DOI: 10.1145/3641513.3650141
Contributors: Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati
Source: check_circle
Crossref

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization

2023 | Book chapter
DOI: 10.1007/978-3-031-45332-8_12
Contributors: Ethan Lew; Abdelrahman Hekal; Kostiantyn Potomkin; Niklas Kochdumper; Brandon Hencey; Stanley Bak; Sergiy Bogomolov
Source: check_circle
Crossref
How many people are using ORCID?