1^st DISIM Workshop on

Engineering Cyber-Physical Systems

Tuesday 26, January 2016, 2:00 pm

Meeting room 2.3, II floor, Coppito 1

University of L’Aquila, Italy

Program

14:00 – Alessandro D’Innocenzo & Henry Muccini – Welcome & Introduction to CPS

14:20 – Giordano Pola – Formal methods for analysis and control of CPS

14:40 – Elena De Santis – Safe Communication in Power Systems: application to a DC microgrid control – Safe Human-Inspired Model for Vehicle Control

15:00 – Luigi Pomante: Electronic Design Automation & Embedded Systems Development

15:20 – Alessandro D’Innocenzo – Modeling and Co­design of Control Tasks over Wireless Networking Protocols: State of the Art and Challenges

15:40 – Henry Muccini – Architecting (Self-Adaptive) Cyber-Physical Systems: a View on the State of the Art

16:00 – Stefania Costantini – Agent-based hybrid architecture for Smart Cyber-Physical Systems and applications to eHealth

16:20 – Discussion