PPT-Optimizing Expected Time Utility in Cyber-Physical Systems Schedulers

Terry Tidwell Robert Glaubius Christopher Gill William Smart Washington University in St Louis 1222010 1 RTSS 2010 CyberPhysical Systems 1222010 RTSS 2010 2 controller actuator. 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. Peter . Marwedel. Technische. . Universitat. Dortmund, Dortmund, Germany. Presented by:. Yogesh. Sur. CS ID: ysur@cs.odu.edu . Prof. Dr. Peter . Marwedel. - Head of Design Automation for Embedded Systems . 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). U: O-> R (utility maps from outcomes to a real number). represents preferences over outcomes. ~ means indifference. We need a way to talk about how preferences interact with uncertainty:. A . lottery . John Lee. Department of Political Science. Florida State University. Utility. The idea that we can assign value to an action and then choose amongst a set of possible actions based on their value.. My grandma could offer me $50 or $100. I choose the offer that maximizes my utility. In this case, I choose $100.. 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 . Edward A. Lee . Presented by : . Nidal. Al . yamani. 1. introduction. Cyber-Physical Systems . (CPS) are integrations of . computation with . physical processes. . Embedded . computers . and networks . 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. 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/. 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/. Peter . Marwedel. Technische. . Universitat. Dortmund, Dortmund, Germany. Presented by:. Yogesh. Sur. CS ID: ysur@cs.odu.edu . Prof. Dr. Peter . Marwedel. - Head of Design Automation for Embedded Systems . Edward A. Lee . Presented by : . Nidal. Al . yamani. 1. introduction. Cyber-Physical Systems . (CPS) are integrations of . computation with . physical processes. . Embedded . computers . and networks . Systems . of Systems (. CPSoSs. ). Bernhard Fr. ömel. . <. froemel@vmars.tuwien.ac.at. >. Institute of Computer Engineering, Vienna University of Technology. Outline. Introduction and Objectives.