Compiling CPS Model Repositories through Student Competitions
| Title | Compiling CPS Model Repositories through Student Competitions |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Jonathan Sprinkle, Chris vanBuskirk, Stephen Rees, Jnaneshwar Das, Vijay Kumar, Joris Kenanian, Paulo Tabuada |
| Conference Name | 2nd Workshop on Monitoring and Testing of Cyber-Physical Systems |
| Conference Location | Pittsburgh, PA |
| Keywords | 1521617 |
| Abstract | This talk describes how the Cyber-Physical Systems Virtual Organization (CPS-VO) is hosting competitions for the purpose of improving CPS verication tools. We describe the 2016 Challenge, which focused on quadrotor control and codesign of payload, and the 2017 Challenge which focuses on populating a ground vehicle simulator with realistic obstacles. In addition, the interfaces by which participants compete are described, in order to articulate the means by which models can be decoupled from the system for the purposes of evaluation by external tools. |
| URL | https://sites.google.com/asu.edu/mt-cps-2017 |
| Citation Key | node-37973 |