Nicole Chan

According to our database, Nicole Chan authored at least 5 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper).

Nicole Chan, Sayan Mitra

CoRR, 2018

Consolidating Orders in a Crowdsourcing Delivery Network.

Daniel Y. Mo, Yue Wang, Nicole Chan

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

CODEV: Automated Model Predictive Control Design and Formal Verification.

Nicole Chan, Sayan Mitra

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Verifying safety of an autonomous spacecraft rendezvous mission.

Nicole Chan, Sayan Mitra

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Verified hybrid LQ control for autonomous spacecraft rendezvous.

Nicole Chan, Sayan Mitra

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017