1st 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 Codesign 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