File
Safety-critical Wireless Mobile Systems
Submitted by Cameron Whitehouse on December 17th, 2018
File
Resilient Control Systems with respect to Instrumentation Attacks- Theory and Testbed Verification
Submitted by Liang Zhang on December 17th, 2018
File
Quantitative Contract-Based Design Synthesis and Verification for CPS Security
Alberto Sangiovanni Vincentelli Submitted by Alberto Sangiovanni Vincentelli on December 17th, 2018
File
Provably Correct Shared Control for Human-Embedded Autonomous Systems
Submitted by Ufuk Topcu on December 17th, 2018
File
Privacy-preserving Network Congestion Control
Geir Dullerud Submitted by Geir Dullerud on December 17th, 2018
File
Intermittent Learning Framework for Smart and Efficient Cyber-Physical Autonomy
Kyriakos G Vamvoudakis Submitted by Kyriakos G Vamvoudakis on December 17th, 2018
File
How do we defend physical parts from cyber-attacks during manufacturing
Submitted by Christopher White on December 17th, 2018
File
Geometric Self Propelled Articulated Micro-Scale Devices
Submitted by Matthew Travers on December 17th, 2018
File
Foundations for Secure Control of Cyber-Physical Systems
Submitted by Miroslav Pajic on December 17th, 2018
File
Enabling Real-time Dynamic Control and Adaptation of Networked Robots in Resource-constrained and Uncertain Environments
Submitted by Dario Pompili on December 17th, 2018
Subscribe to CPS-PI Meeting 2018