Date/Time
Date(s) - 16/05/2013
10:00 am - 4:30 pm
Location
SHSC Conference & Training Centre, Edinburgh
This event is sponsored by the SICSA Modelling & Abstraction theme.
This workshop is intended to bring together SICSA researchers who are interested in cyber-physical systems, particularly from the modelling and abstraction perspective. There will be a number of talks from participants and plenty of opportunity for networking. A provisional programme is shown below:
Please register via the Event Web Page
10:00 – 11:00 Boudewijn Haverkort: Model checking of hybrid Petri nets
11:00 – 11:30 Coffee/tea
11:30 – 12:00 Vashti Galpin: Modelling in Stochastic HYPE
12:00 – 12:30 Eva Navarro: DYVERSE: A novel framework for complex hybrid dynamical systems’
12:30 – 12:45 Leslie Smith: Cyber-physical systems: a brief position statement
12:45 – 14:00 Lunch
14:00 – 14:30 Michele Sevegnani: Runtime verification of domestic wireless network management with bigraphs with sharing
14:30 – 15:00 Rob Arthan/Ursula Martin: Hoare logics for continuous systems
15:00 – 15:30 Michael Harrison
15:30 – 16:00 Paul Jackson/Andrew Sogokin: Improved Automation for Hybrid Systems Verification in KeYmaera
16:00 – 16:30 Coffee/tea and Close
This workshop is being organised by Jane.Hillston@ed.ac.uk
