![]() We have developed models for decision making, including for mass vaccination clinics and other public health needs. We also developed formal model checking methodology for validation, verification and safety of hybrid biological and automotive systems. Our faculty and students established a model-based systems engineering approach for integrated product process design, including object-oriented models of system behavior and structure, and optimization-based tradeoff analysis. ![]() ISR is a recognized leader in decision making and operations research.
0 Comments
Leave a Reply. |