Selected Works

Conjunctive Bayesian Optimization (conBO): An application to Cyber-Physical Systems Verification with Conjunctive Requirements

Chotalyia, S., Khandait, T., & Pedrielli, G.

ACM Transactions on Cyber-Physical Systems. (Accepted)

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

Wang, H., Zhang, E., Ng, S.H., & Pedrielli, G.

European Journal of Operational Research, 329(3), 890–907.

Brownian Bridge Augmented Surrogate Simulation and Injection Planning for Geological CO₂ Storage

Bai, H., Chen, G., Ying, W., Wang, X., Gong, N., Dong, S., Pedrielli, G., et al.

AAAI Conference on Artificial Intelligence, Vol. 40, No. 17, pp. 14459–14466.

Angle-controllable RNA tiles for programmable array assembly and RNA sensing

Yang, Q., Chang, X., Lee, J.Y., Wisniewski, H., Zhou, Y., Bernstein, A.D., Bonder, E.M., Kaelber, J.T., Wu, T., Pedrielli, G., & Zhang, F.

Nature Communications, 16(1), p.3728.

Understanding the role of artificial intelligence in improving human well-being within the built environment

Aghaei, A., Pedrielli, G., Wu, T., O'Neill, Z., Becerik-Gerber, B., Hoque, S., & Wen, J.

Building Simulation, 18(7), 1727–1742. Tsinghua University Press.

High dimensional Bayesian optimization for circuit design

Malu, M., Dow, D., Sharma, P., Cottam, A., Binggeli, M., Dasarathy, G., Pedrielli, G., & Spanias, A.

Intelligent Decision Technologies, 19(3), 1271–1282.

Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic

Abou-Mrad, C., Khandait, T., Pedrielli, G., & Abbas, H.

ACM/IEEE 16th International Conference on Cyber-Physical Systems (ICCPS 2025), pp. 1–10.

A Foundational Framework for Generative Simulation Models: Pathway to Generative Digital Twins for Supply Chain

Chotaliya, S., Fowler, J., Pedrielli, G., et al.

2025 Winter Simulation Conference (WSC), pp. 1700–1711. IEEE.

Predicting RNA sequence-structure likelihood via structure-aware deep learning

Zhou, Y., Pedrielli, G., Zhang, F., & Wu, T.

BMC Bioinformatics, 25(1), p.316.

Monte Carlo fictitious play for finding pure Nash equilibria in identical interest games

Kiatsupaibul, S., Pedrielli, G., Ryan, C.T., Smith, R.L., & Zabinsky, Z.B.

INFORMS Journal on Optimization, 6(3–4), pp.155–172.

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

Khandait, T. & Pedrielli, G.

International Conference on Runtime Verification (RV 2024), LNCS, pp. 89–106. Springer.

ClassBO: Bayesian Optimization for Heterogeneous Functions

Malu, M., Pedrielli, G., Dasarathy, G., & Spanias, A.

International Conference on Learning and Intelligent Optimization (LION 2024), LNCS, pp. 249–253. Springer.

Multi Agent Rollout for Bayesian Optimization

Nambiraja, S.S. & Pedrielli, G.

2024 Winter Simulation Conference (WSC), pp. 3518–3529. IEEE.

Part-X: A family of stochastic algorithms for search-based test generation with probabilistic guarantees

Pedrielli, G., Khandait, T., Cao, Y., Thibeault, Q., Huang, H., Castillo-Effen, M., & Fainekos, G.

IEEE Transactions on Automation Science and Engineering, 21(3), pp.4504–4525.

DTFab: A digital twin based approach for optimal reticle management in semiconductor photolithography

Sivasubramanian, C.K., Dodge, R., Ramani, A., Bayba, D., Janakiram, M., Butcher, E., Gonzales, J., & Pedrielli, G.

Journal of Systems Science and Systems Engineering, pp.1–32.

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

Jiang, M.M., Khandait, T., & Pedrielli, G.

2023 Winter Simulation Conference (WSC), pp. 564–575. IEEE.

Search based testing for code coverage and falsification in cyber-physical systems

Thibeault, Q., Khandait, T., Pedrielli, G., & Fainekos, G.

2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), pp. 1–8.

SIRTEM: Spatially informed rapid testing for epidemic modeling and response to COVID-19

Azad, F.T., Dodge, R.W., Varghese, A.M., Lee, J., Pedrielli, G., Candan, K.S., & Chowell-Puente, G.

ACM Transactions on Spatial Algorithms and Systems, 8(4), pp.1–43.

Social Vulnerability and Power Network Loss: A Case Study of Puerto Rico

Boyle, E., Inanlouganji, A., Carvalhaes, T., Jevtić, P., Pedrielli, G., & Reddy, A.

International Journal of Disaster Risk Reduction, 82, p.103357.

Occupant health in buildings: Impact of the COVID-19 pandemic on the opinions of building professionals and implications on research

Awada, M., White, E., Becerik-Gerber, B., Hoque, S., O'Neill, Z., Pedrielli, G., Wen, J., & Wu, T.

Building and Environment, 207, p.108440.

Approximate Stochastic Dynamic Programming for Real-Time Disaster Recovery of Electric Power Networks Under Failure Uncertainty

Inanlouganji, A. & Pedrielli, G.

Transportation Research Part E. (Accepted)

A New Roll-Out Approach to RNA Folding

Liu, M., Pedrielli, G., Sulč, P., Poppleton, E., & Bertsekas, D.

INFORMS Journal on Computing. (Accepted)

Ten questions concerning occupant health in buildings during normal operations and extreme events including the COVID-19 pandemic

Awada, M., Becerik-Gerber, B., Hoque, S., O'Neill, Z., Pedrielli, G., Wen, J., & Wu, T.

Building and Environment, 188, p.107480.

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

Mathesen, L., Pedrielli, G., Ng, S.H., & Zabinsky, Z.

Journal of Global Optimization, 79(1), pp.87–110.

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

Mathesen, L., Pedrielli, G., & Fainekos, G.

2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). Finalist Best Conference Paper Award.

Multi-Fidelity Modeling for Analysis and Optimization of Serial Production Lines

Kang, Y., Mathesen, L., Pedrielli, G., & Ju, F.

IEEE Transactions on Automatic Control.

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

Pedrielli, G. & Ng, S.H.

European Journal of Operational Research, 287(3), pp.929–945.

Cyber coordinated simulation for distributed multi-stage additive manufacturing systems

Pedrielli, G., Sun, H., Ho, C., & Pan, R.

Journal of Manufacturing Systems, 57, pp.61–71.

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

Pedrielli, G., Candan, K.S., Xu, J., Chen, C.-H., Lee, L.H., Chen, X., Mathesen, L., & Inanlouganji, A.

Asia-Pacific Journal of Operational Research, 36(06), p.1940011.

A real time simulation optimization framework for vessel collision avoidance and the case of Singapore Strait

Pedrielli, G., Xing, Y., Peh, J.H., & Ng, S.H.

IEEE Transactions on Intelligent Transportation Systems, 21(3), pp.1204–1215.

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

Pedrielli, G., Liu, Y., Li, H., Lee, L.H., Chen, C.H., & Shortle, J.

IEEE Transactions on Reliability, 68(3), pp.778–789.

Design and control of manufacturing systems: a discrete event optimization methodology

Pedrielli, G., Matta, A., Alfieri, A., & Zhang, M.

International Journal of Production Research, 56(1–2), pp.543–564. Invited Publication.

A Framework for Real-Time Monitoring of Energy Efficiency of marine vessels

Pedrielli, G., Hongtao, C., Ng, S.H., Kister, T., & Bressan, S.

Energy, 145, 246–260.

Optimal computing budget allocation to select the nondominated systems — A large deviations perspective

Li, J., Liu, W., Pedrielli, G., Lee, L.H., & Chew, E.P.

IEEE Transactions on Automatic Control, 63(9), pp.2913–2927.

Integrated simulation–optimisation of pull control systems

Pedrielli, G., Alfieri, A., & Matta, A.

International Journal of Production Research, 53(14), pp.4317–4336.

Optimal bunkering contract in a buyer–seller supply chain under price and consumption uncertainty

Pedrielli, G., Lee, L.H., & Ng, S.H.

Transportation Research Part E, 77, pp.77–94.

Stochastic Simulation Optimization with Optimal Computing Budget Allocation

Pedrielli, G., Lee, L.H., & Chen, C.H.

Encyclopedia of Optimization, pp. 1–19. Springer International Publishing.

Distributed Modeling of Discrete Event Systems

Pedrielli, G., Tolio, T., Terkaj, W., & Sacco, M.

Discrete Event Simulations — Development and Applications. InTech.