ISR is a recognized leader in operations research. Our faculty and students established a model-based systems engineering approach forn integrated product process design, including object-oriented models of system behavior and structure, and optimization-based tradeoff analysis. We also developed formal model checking methodology for validation, verification and safety of hybrid biological and automotive systems. Our systematic approach for computer-aided manufacturability analysis of machined parts has brought the problem of existence of alternative interpretations to the attention of the feature recognition community. We developed efficient algorithms and software, including neural network models, for input-output behavior and model predictive control of chemical processes—making semiconductor wafer fabrication more efficient. Perhaps most significantly, for more than 20 years, as part of the NEXTOR consortium, ISR researchers have conducted operations research for the Federal Aviation Administration in air traffic management and control, aviation economics and policy, and performance evaluation and metrics.

Recent publications by ISR operations research and manufacturing faculty