PPT-Autonomous Cyber-Physical Systems:

Fairness Monitors and BranchingTime 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 httpwwwseasupenneducis540. Paata. J. Kervalishvili. 2. nd. SENS-ERA Workshop on “Advanced Sensor Systems and Networks” . TEI Piraeus, Athens, Greece December 6, 2012. These works are performed in close cooperation . with US colleagues lead by Prof. Alex Wiglinsky . . Vehicles. Let the . car. do the . driving. !. P&O 2010 Dennis Bevers. Recent . Projects. Audi TTS . High speed . Pikes. . Peak. . hillclimb. Top . Gear. BMW 330i. Self. . driving. . predefined. and Actuator Networks . with Packet . Loss. Ahmed . Alhafdhi. Feng. Xia*, . Xiangjie. Kong, and . Zhenzhen. . Xu. School. of Software, Dalian University of Technology, Dalian 116620, China. Agenda. 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). Lecture 3.1:. 3D Geometry. Jürgen . Sturm. Technische. . Universität. . München. Points in 3D. 3D . point. Augmented . vector. Homogeneous coordinates. Jürgen Sturm. Autonomous Navigation for Flying Robots. Machine ethics. AV. Can a machine “decide” anything?. 2. If a small tree branch pokes out onto a highway and there’s no incoming traffic, we’d simply drift a little into the opposite lane and drive around it. But an automated car might come to a full stop, as it dutifully observes traffic laws that prohibit crossing a double-yellow line. This unexpected move would avoid bumping the object in front, but then cause a crash with the human drivers behind it. Security and Privacy in Cyber-Physical 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/. Jed Liu. Joe Corbett-Davies. Andrew . Ferraiuolo. Alexander Ivanov. Mulong. Luo. G. Edward Suh. Andrew C.. Myers. Mark Campbell. 4. th. ACM Workshop on Cyber-Physical Systems Security and Privacy. Lydia Ray. About me!. Associate professor at CSU. Ph.D. in sensor network security from LSU. Computer forensic training and certification by . AccessData. FTK and . EnCase. GPEN certification on Ethical Hacking by SANS Institute . Contents. Our ambitions for CAV. 2. Why should the West Midlands be the UK centre for CAV investment and development?. We are the UK leader within the automotive sector. 3. We have extensive R&D facilities within academia and industry. Dr. Chandra Bhat. Co-authors. : . Patricia. S. Lavieri, Sebastian Astroza, Felipe Dias, Venu M. Garikapati, and Ram M. Pendyala. MOTIVATION. The Context. Autonomous Vehicles: . Vehicles that are able to guide themselves from an origin point to a destination point desired by the individual. Systems . of Systems (. CPSoSs. ). Bernhard Fr. ömel. . <. froemel@vmars.tuwien.ac.at. >. Institute of Computer Engineering, Vienna University of Technology. Outline. Introduction and Objectives.