Giulia Pedrielli

IEEE Trans Autom. Sci. Eng., July, 2024

HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Tanmay Khandait

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.

[BibT_eX]

[DOI]

Mengrui Mina Jiang

Tanmay Khandait

Proceedings of the Winter Simulation Conference, 2023

Parameter Optimization with Conscious Allocation (POCA).

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2023

A Testing Based Approach for Security Analysis of Smart Semiconductor Systems.

[BibT_eX]

[DOI]

Robert W. Dodge

Petar Jevtic

Proceedings of the Winter Simulation Conference, 2023

Class GP: Gaussian Process Modeling for Heterogeneous Functions.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Stealthy attacks formalized as STL formulas for Falsification of CPS Security.

[BibT_eX]

[DOI]

Aniruddh Chandratre

Tomas Hernandez Acosta

Tanmay Khandait

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

A Physics-Informed Neural Network Modeling Approach to Direct Ink Writing 3D Printing Process.

[BibT_eX]

[DOI]

Vaibhav Sharma

Rong Pan

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

ARCH-COMP23 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

SIRTEM: Spatially Informed Rapid Testing for Epidemic Modeling and Response to COVID-19.

[BibT_eX]

[DOI]

Gerardo Chowell-Puente

ACM Trans. Spatial Algorithms Syst., 2022

ExpertRNA: A New Framework for RNA Secondary Structure Prediction.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2022

A model aggregation approach for high-dimensional large-scale optimization.

[BibT_eX]

[DOI]

CoRR, 2022

Integrate Bioprocess Mechanisms into Modeling, Analytics, and Control Strategies to Advance Biopharmaceutical Manufacturing and Delivery Processes.

[BibT_eX]

[DOI]

Wei Xie

CoRR, 2022

From Discovery to Production: Challenges and Novel Methodologies for Next Generation Biomanufacturing.

[BibT_eX]

[DOI]

Wei Xie

Proceedings of the Winter Simulation Conference, 2022

Gaussian Processes for High-Dimensional, Large Data Sets: A Review.

[BibT_eX]

[DOI]

Mengrui Mina Jiang

Proceedings of the Winter Simulation Conference, 2022

A Computational Study of Probabilistic Branch and Bound with Multilevel Importance Sampling.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

[BibT_eX]

[DOI]

Mohammad Mahdi Mahboob

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Multifidelity Modeling for Analysis and Optimization of Serial Production Lines.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Stochastic optimization with adaptive restart: a framework for integrated local and global learning.

[BibT_eX]

[DOI]

J. Glob. Optim., 2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.

[BibT_eX]

[DOI]

Mauricio Castillo-Effen

CoRR, 2021

Scaling Bayesian Optimization With Game Theory.

[BibT_eX]

[DOI]

R. L. Smith

CoRR, 2021

Partitioning and Gaussian Processes for Accelerating Sampling in Monte Carlo Tree Search for Continuous Decisions.

[BibT_eX]

[DOI]

Menghan Liu

Yumeng Cao

Proceedings of the Winter Simulation Conference, 2021

Treed-Gaussian Processes with Support Vector Machines as Nodes For Nonstationary Bayesian Optimization.

[BibT_eX]

[DOI]

Antonio Candelieri

Proceedings of the Winter Simulation Conference, 2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards assurance case evidence generation through search based testing: work-in-progress.

[BibT_eX]

[DOI]

Mauricio Castillo-Effen

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

Using Gaussian Processes to Automate Probabilistic Branch & Bound for Global Optimization.

[BibT_eX]

[DOI]

Hao Huang

Zelda B. Zabinsky

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

A Real Time Simulation Optimization Framework for Vessel Collision Avoidance and the Case of Singapore Strait.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2020

An extended Two-Stage Sequential Optimization approach: Properties and performance.

[BibT_eX]

[DOI]

Songhao Wang

Eur. J. Oper. Res., 2020

A Decision Support System for Data-Driven Driver-Experience Augmented Vehicle Routing Problem.

[BibT_eX]

[DOI]

Qitong Zhao

Chenhao Zhou

Asia Pac. J. Oper. Res., 2020

Stochastic Gaussian Process Model Averaging for High-Dimensional Inputs.

[BibT_eX]

[DOI]

Maxime Xuereb

Proceedings of the Winter Simulation Conference, 2020

A Simulation Framework for Service Loss of Power Networks under Extreme Weather Events: A Case of Puerto Rico.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

ARCH-COMP 2020 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Optimal Computing Budget Allocation for Stochastic N-k Problem in the Power Grid System.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

TD-OCBA: Optimal computing budget allocation and time dilation for simulation optimization of manufacturing systems.

[BibT_eX]

[DOI]

Yinchao Zhu

Loo Hay Lee

IISE Trans., 2019

Generalized Ordinal Learning Framework (GOLF) for Decision Making with Future Simulated Data.

[BibT_eX]

[DOI]

Asia Pac. J. Oper. Res., 2019

Feasibility Cut Generation by Simulation: Server Allocation in Serial-Parallel Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 Winter Simulation Conference, 2019

Metamodel-Based Quantile Estimation for Hedging Control of Manufacturing Systems.

[BibT_eX]

[DOI]

Russell R. Barton

Proceedings of the 2019 Winter Simulation Conference, 2019

Subspace Communication Driven Search for High Dimensional Optimization.

[BibT_eX]

[DOI]

Kaushik Keezhnagar Chandrasekar

Xinsheng Li

K. Selçuk Candan

Proceedings of the 2019 Winter Simulation Conference, 2019

Falsification of cyber-physical systems through multi-fidelity stochastic optimization.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

A Framework for Multi-fidelity Modeling in Global Optimization Approaches.

[BibT_eX]

[DOI]

Zelda B. Zabinsky

Hao Huang

Proceedings of the Machine Learning, Optimization, and Data Science, 2019

Complicacy-Guided Parameter Space Sampling for Knowledge Discovery with Limited Simulation Budgets.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Knowledge, 2019

ARCH-COMP 2019 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Task Scheduling with Nonlinear Costs using SMT Solvers.

[BibT_eX]

[DOI]

Mohammad Hekmatnejad

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Optimal Computing Budget Allocation to Select the Nondominated Systems - A Large Deviations Perspective.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Design and control of manufacturing systems: a discrete event optimisation methodology.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2018

Simulation-based Benders Cuts: a New cutting Approach to Approximately solve simulation-Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Stochastic Optimization for Feasibility determination: an Application to water pump Operation in water Distribution Network.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Continuous simulation Optimization with Model mismatch using Gaussian Process Regression.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Cyber-coordinated Simulation Models for Multi-stage Additive Manufacturing of Energy Products.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Simulation-Predictive Control for Manufacturing Systems.

[BibT_eX]

[DOI]

Feng Ju

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Trust region based stochastic optimization with adaptive restart: A family of global optimization algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2017 Winter Simulation Conference, 2017

Optimal design of master-worker architecture for parallelized simulation optimization.

[BibT_eX]

[DOI]

Proceedings of the 2017 Winter Simulation Conference, 2017

A simulation-based benders' cuts generation for the joint workstation, workload and buffer allocation problem.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Multi-fidelity modeling for analysis of serial production lines.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Shipment policy optimisation in a return supply chain for online retailers via stochastic discrete event simulation.

[BibT_eX]

[DOI]

Haobin Li

Int. J. Simul. Process. Model., 2016

Discrete Event Optimization: Workstation and buffer allocation problem in manufacturing flow lines.

[BibT_eX]

[DOI]

Mengyi Zhang

Nugroho Artadi Pujowidianto

Proceedings of the Winter Simulation Conference, 2016

A simulation based cut generation approach to improve DEO efficiency: The Buffer Allocation case.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

Constrained optimizaton for hospital bed allocation via discrete event simulation with Nested Partitions.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

Empirical analysis of the performance of variance estimators in sequential single-run Ranking & Selection: The case of Time Dilation algorithm.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

Hybrid order picking strategies for fashion E-commerce warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

G-STAR: A new Kriging-based trust region method for global optimization.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

V-shaped sampling based on Kendall-Distance to enhance optimization with ranks.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

2015

Mathematical programming models for joint simulation-optimization applied to closed queueing networks.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2015

Kriging-based simulation-optimization: a stochastic recursion perspective.

[BibT_eX]

[DOI]

Proceedings of the 2015 Winter Simulation Conference, 2015

Discrete event optimization: single-run integrated simulation-optimization using mathematical programming.

[BibT_eX]

[DOI]

Nugroho Artadi Pujowidianto

Proceedings of the 2015 Winter Simulation Conference, 2015

The object-oriented discrete event simulation modeling: a case study on aircraft spare part management.

[BibT_eX]

[DOI]

Proceedings of the 2015 Winter Simulation Conference, 2015

Multi-objective multi-fidelity optimization with ordinal transformation and optimal sampling.

[BibT_eX]

[DOI]

Proceedings of the 2015 Winter Simulation Conference, 2015

An AIS-based framework for real time monitoring of vessels efficiency.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management, 2015

2014

Event relationship graph lite: event based modeling for simulation-optimization of control policies in discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Winter Simulation Conference, 2014

SNAT: simulation-based search for navigation safety. The case of Singapore strait.

[BibT_eX]

[DOI]

Xingyi Chen

Proceedings of the 2014 Winter Simulation Conference, 2014

Time Buffer Control System for multi-stage production lines.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2012

An HLA-based distributed simulation for networked manufacturing systems analysis.

[BibT_eX]

[DOI]

J. Simulation, 2012

Time buffer for approximate optimization of production systems: concept, applications and structural results.

[BibT_eX]

[DOI]