Wednesday, 19 July

Thursday, 20 July

Friday, 21 July


The Symposium will take place in the Faculty Hall, IISc Main Building. [Map]

19 July 2017

Keynote Address

09.00-10.00 P. R. Kumar Security of cyber-physical systems

Session I: Autonomous Systems and Robotics

10.00-11.00 Hemendra Arya Hardware-in-loop-simulation for multiagents
11.00-11.30 Break
11.30-12.30 Indranil Saha Automated task and motion plan generation for multi-robot systems
from complex specifications
12.30-14.00 Lunch

Session II: Control and Optimisation for Smart Grids

14.00-15.00 Prabir Barooah Virtual energy storage for solar and wind power with distributed coordination of smart devices
15.00-15.30 Break
15.30-16.30 Anupama Kowil Microgrid-based operations: A new operating paradigm for utilities
16.30-17.30 Vijay Arya Analytics opportunities in the energy sector
17.30-19.30 Poster Presentation

20 July 2017

Session III: Hybrid Systems and Control

09.00-10.00 Calin A. Belta Formal synthesis of control strategies for dynamical systems
10.00-11.00 Venkatarao Ryali Wind farm controls: An industrial cyber-physical systems case study
11.00-11.30 Break
11.30-12.30 Stefan Abendroth Cross-domain solutions from a connected company
12.30-14.00 Lunch
14.00-15.00 Pavithra Prabhakar Formal verification of robustness properties of hybrid control systems
15.00-15.30 Break

Session IV: Software Engineering for CPS

15.30-16.30 Aniruddha Gokhale Exploiting fog and edge resources for cloud-hosted cyber-physical system services
16.30-17.30 Vinai Sundaram Resource-efficient remote monitoring and diagnostics of cyber-physical systems

21 July 2017

Session V: CPS Test Beds

09.00-10.00 Ram D. Sriram The Internet of Everything and Industry 4.0 revolutions
10.00-11.00 Eswaran Subrahmanian Category theory for CPS
11.00-11.30 Break
11.30-12.30 Panel Discussion
12.30-14.00 Lunch

Session VI: CPS Security and Anomaly Detection

14.00-15.00 Bruno Sinopoli On the resilience of cyber-physical systems
15.00-16.00 Sandeep Shukla Cyber security of cyber-physical critical infrastructures: A case for a schizoid design approach
16.00-16.30 Break and end of the symposium