PPT-Autonomous Cyber-Physical Systems:

Security and Privacy in CyberPhysical Systems Spring 2018 CS 599 Instructor Jyo Deshmukh Acknowledgment Some of the material in these slides is based on the lecture slides for CIS 540 Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania httpwwwseasupenneducis540. Abhilash Thekkilakattil. 1. , . Gordana. Dodig-. Crnkovic. 1,2. 1. Mälardalen University, Sweden. 2. Chalmers . Technical . University, Sweden. 2. University . of Gothenburg. , Sweden. Motivation. Google’s latest self-driving car prototype, 2015. Brian Connett, LCDR, USN. US NAVAL ACADEMY. Cyber. “A failure by the Department to secure its systems in cyberspace would pose a fundamental . risk . to our ability to accomplish defense missions today and in the future.” . David Garlan . Ivan Ruchkin. Carnegie Mellon University. Pittsburgh, PA, USA. December 2014. Acknowledgements. Joint work with faculty. Bruce Krogh (Electrical Engineering). Andre . Platzer. (Computer Science). Good News, Bad News and . Looking Forward. Haibo Chen. What is CPCC?. A . cloudy. definition by NIST of US . “a . system environment that can rapidly build, modify and provision cyber-physical systems composed of a set of cloud computing based sensor, processing, control, and data . Vehicle to X Communication. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Basic capabilities of V2V and V2I. Co-operative Adaptive Cruise Control. Autonomous Intersection Management. Collaborative Merging. Fairness, Monitors and Branching-Time Logics. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Acknowledgment: Some of the material in these slides is based on the lecture slides for CIS 540: Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania. http://www.seas.upenn.edu/~cis540/. Design and Analysis of Hybrid Systems. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Acknowledgment: Some of the material in these slides is based on the lecture slides for CIS 540: Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania. . Computing Generations. 1. st. Generation: 1945-1955. Vacuum tube computers. Used magnetic drums. Almost impossible to program, very slow. 2. nd. Generation: 1955-1965. Programming languages, assembly language. Dynamical Systems. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Acknowledgment: Some of the material in these slides is based on the lecture slides for CIS 540: Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania. http://www.seas.upenn.edu/~cis540/. Decision-making and planning. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Decision-making hierarchy. Motion planning. Overview. 2. Decision-making hierarchy. 3. Route Planning. Behavioral Planning. Basics of Control. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Acknowledgment: Some of the material in these slides is based on the lecture slides for CIS 540: Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania. http://www.seas.upenn.edu/~cis540/. Temporal Logic. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Acknowledgment: Some of the material in these slides is based on the lecture slides for CIS 540: Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania. http://www.seas.upenn.edu/~cis540/. Convolutional Neural Networks. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Neural network basics. Convolutional Neural Nets. Layout. 2. A feedforward neural network with . hidden layers is defined as follows:. Systems . of Systems (. CPSoSs. ). Bernhard Fr. ömel. . <. froemel@vmars.tuwien.ac.at. >. Institute of Computer Engineering, Vienna University of Technology. Outline. Introduction and Objectives.