Matthew Potok

According to our database, Matthew Potok authored at least 4 papers between 2015 and 2018.

Collaborative distances:

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

2018

SDCworks: a formal framework for software defined control of smart manufacturing systems.

Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

C2E2: A Verification Tool for Stateflow Models.

Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

C2E2: a tool for verifying annotated hybrid systems.

Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015