Logan Mathesen

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 14

Top Topics

Global Optimization

Stochastic Optimization

Production Line

Top Venues

Asia Pac. J. Oper. Res.

Publications

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Yunyi Kang, Logan Mathesen, Giulia Pedrielli, Feng Ju, Loo Hay Lee
Multifidelity Modeling for Analysis and Optimization of Serial Production Lines. IEEE Trans. Autom. Control. 66 (8) (2021)
Logan Mathesen, Giulia Pedrielli, Georgios Fainekos
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. CASE (2021)
Logan Mathesen, Giulia Pedrielli, Szu Hui Ng, Zelda B. Zabinsky
Stochastic optimization with adaptive restart: a framework for integrated local and global learning. J. Glob. Optim. 79 (1) (2021)
Logan Mathesen, Giulia Pedrielli, R. L. Smith
Scaling Bayesian Optimization With Game Theory. CoRR (2021)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Xilun Chen, Logan Mathesen, Giulia Pedrielli, K. Selçuk Candan
Complicacy-Guided Parameter Space Sampling for Knowledge Discovery with Limited Simulation Budgets. ICBK (2019)
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. CASE (2019)
Logan Mathesen, Kaushik Keezhnagar Chandrasekar, Xinsheng Li, Giulia Pedrielli, K. Selçuk Candan
Subspace Communication Driven Search for High Dimensional Optimization. WSC (2019)
Giulia Pedrielli, K. Selçuk Candan, Xilun Chen, Logan Mathesen, Alireza Inanalouganji, Jie Xu, Chun-Hung Chen, Loo Hay Lee
Generalized Ordinal Learning Framework (GOLF) for Decision Making with Future Simulated Data. Asia Pac. J. Oper. Res. 36 (6) (2019)
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek (2019)
Yi-An Tsai, Giulia Pedrielli, Logan Mathesen, Zelda B. Zabinsky, Hao Huang, Antonio Candelieri, Riccardo Perego
Stochastic Optimization for Feasibility determination: an Application to water pump Operation in water Distribution Network. WSC (2018)
Logan Mathesen, Giulia Pedrielli, Szu Hui Ng
Trust region based stochastic optimization with adaptive restart: A family of global optimization algorithms. WSC (2017)
Yunyi Kang, Logan Mathesen, Giulia Pedrielli, Feng Ju
Multi-fidelity modeling for analysis of serial production lines. CASE (2017)