Nicole Chan

CODEV: Automated Model Predictive Control Design and Formal Verification

Sayan Mitra, Nicole Chan, Sayan Mitra, 2018, HSCC.

Verifying safety of an autonomous spacecraft rendezvous mission pdf

Sayan Mitra, Nicole Chan, Nicole Chan, 2017, ARCH@CPSWeek.

Verified hybrid LQ control for autonomous spacecraft rendezvous

Sayan Mitra, Nicole Chan, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Quality control in the decentralized production of biosand filters: a pilot workshop in Zambia

Simon Li, Nicole Chan, Lisa Mitchell, 2017 .

Consolidating Orders in a Crowdsourcing Delivery Network

Yue Wang, Daniel Y. Mo, Nicole Chan, 2018, 2018 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM).