Visible to the public Biblio

Filters: Author is Paulo Tabuada  [Clear All Filters]
2018-05-11
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada.  2017.  SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.
Jonathan Sprinkle, Chris vanBuskirk, Stephen Rees, Jnaneshwar Das, Vijay Kumar, Joris Kenanian, Paulo Tabuada.  2017.  Compiling CPS Model Repositories through Student Competitions. 2nd Workshop on Monitoring and Testing of Cyber-Physical Systems.

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.