The Age of Cyber-physical Systems
- 1. University of the Aegean Prof. Dr. Thomas J. Lampoltshammer The Age of Cyber-physical Systems
- 2. University of the Aegean Cyber-physical Systems | Definition Cyber-physical Systems can be described as engineered, physical and biological systems, which are monitored and/or controlled via an embedded computational core. - Bartocci et al. (2018)
- 3. University of the Aegean Cyber-physical Systems | Smart Environment http://www.libelium.com/libelium-smart-world-infographic-smart-cities-internet-of-things/
- 4. University of the Aegean Cyber-physical Systems | Policy-making - Höchtl et al. (2016)
- 5. University of the Aegean § 1 2 3 4 5 6 A B C D E F 1 2 3 D E F 7 2 3 D E X Example 1| Agent-based Simulations Own graphic
- 6. University of the Aegean Example 2 | Waste Management https://floridadep.gov/waste
- 7. University of the Aegean Example 3 | Public Transportation Management http://www.autonews.com/article/20170810/MOBILITY01/170819985/0/search
- 8. University of the Aegean Cyber-physical Systems | Workshop Tasks RESEARCH NEEDS + TRAINING NEEDS
- 9. University of the Aegean Cyber-physical Systems | Workshop Tasks • Define a use-case within one of the three presented domain (Agent-based Simulation, Waste Management, Public Transportation Management) • Identify interconnections between the physical world via use of sensors, IoT, etc. • Identify associated research needs and training needs (public administration staff & citizens) • Rank these identified needs according to their priority
- 10. University of the Aegean Cyber-physical Systems | References Höchtl, J., Parycek, P., & Schöllhammer, R. (2016). Big data in the policy cycle: Policy decision making in the digital era. Journal of Organizational Computing and Electronic Commerce, 26(1-2), 147-169. Bartocci, E., Deshmukh, J., Donzé, A., Fainekos, G., Maler, O., Ničković, D., & Sankaranarayanan, S. (2018). Specification-based monitoring of cyber- physical systems: a survey on theory, tools and applications. In Lectures on Runtime Verification (pp. 135-175). Springer, Cham.