IM-CPS 2011

The 2^nd International Symposium on

Interdisciplinary Modelling of Cyber-Physical Systems

Manchester, 25-28 May 2011

Part of

MaDe: Manchester Dependability Week

CICADA IM-CPS 2010

organised by

The Centre for Interdisciplinary Computational and Dynamical Analysis - CICADA

IM-CPS Chairs:	Manuela Bujorianu and Jonathan Shapiro;
Logistics Chair:	Helen Harper;
MaDe General Chair:	Dave Broomhead.

OVERVIEW PLENARY LECTURERS CONTRIBUTING SPEAKERS PROGRAMME LOCATION REGISTRATION

News

· Book resulting from the symposium proceedings to appear at Springer UK

· Thanks to all participants for contributing to the 2011 edition success!

· Good health wishing to Dave Broomhead and Jonathan Shapiro!

Overview

Cyber-physical systems are a facet of the contemporary holistic trend in engineering and technology. These constitute a class of applications where behaviours are characterized by a non-trivial interaction between physics and computation. Moreover, systems are considered in their deployment context, for example in networking or multi-agent situations. The mathematical modelling of cyber-physical systems is complex, and its core is based on the so-called hybrid systems, a class of mathematical models based on combinations of discrete and continuous mathematics. There are several classes of models and techniques of hybrid systems, commonly grouped under the names of hybrid automata, hybrid control systems and hybrid dynamical systems. The second edition of IM-CPS will bring together researchers from academia and industry with expertise relevant to cyber-physical systems. IM-CPS is a forum that facilitates the interactions between various disciplines like applied mathematics, computer science, control theories and other branches of engineering. Promoting inter-disciplinary research is a major objective of IM-CPS. Some priority topics include aerospace applications and air traffic control, embedded electronics, energy systems, symbolic verification, stochastic modelling and uncertainty understanding.

Speakers

· Dr. Richard Banach, School of Computer Science, University of Manchester, UK Bio

· Professor Howard Barringer School of Computer Science, University of Manchester, UK Bio

· Dr. John Brooke School of Computer Science, University of Manchester, UK Bio

· Dr. Marco Bozzano Fondazione Bruno Kessler, Trento, Italy Bio

· Mr. Marius Bujorianu, CICADA, University of Manchester, UK Bio

· Dr. Clare Dixon Department of Computer Science, Liverpool University, UK Bio

· Professor Michael Fisher Department of Computer Science, Liverpool University, UK Bio

· Professor Steve Furber School of Computer Science, University of Manchester, UK Bio

· Dr. Antoine Girard, Université Joseph Fourier, Grenoble, FR Bio

· Dr. Tingting Han, Computing Laboratory, University of Oxford, UK Bio

· Dr. Agung Julius Rensselaer Polytechnic Institute, US Bio

· Professor Joost-Pieter Katoen Chair of Software Modelling and Verification, RWTH Aachen, Germany Bio

· Dr. Margarita Korovina CICADA, University of Manchester, UK Bio

· Dr. Alexandru Mereacre Computing Laboratory, University of Oxford, UK Bio

· Professor Pieter Mosterman The MathWorks US and McGill University, Canada Bio

· Dr. William Parnell School of Mathematics , University of Manchester, UK Bio

· Dr. Giordano Pola University of l’Aquila, Italy Bio

· Dr Mohsen Torabzadeh-Tari Linköping University Sweden Bio

· Dr. William Parnell School of Mathematics , University of Manchester, UK Bio

· Professor George Wilmers School of Mathematics , University of Manchester, UK Bio

Tutorial Workshop on

Formal and Resilient Methods in Aerospace - FoRMA

Saturday, 28^th May 2011

Programme

Wednesday 25^th of May, 2011

12:00-13:30 Lunch and Registration

13:30:13:40 Introduction by Professor Peter Duck, Head of School of Mathematics

Plenary session: Formal Methods I. Chair: Manuela Bujorianu

13:40-14:30 Howard Barringer

Modelling of Supervised Component-based Systems ABSTRACT

14:30-15:20 Mohsen Torabzadeh-Tari

Modelica and OpenModelica–its Open Source Environment ABSTRACT

15:20-15:30 Interactive session

15:30-15:50 Coffee Break

Plenary session: Dependable Cyber-physical systems; Chair: Margarita Korovina

15:50-16:40 John Brooke

Parameterization and control of cyber-physical systems ABSTRACT

16:40-17:20 John Moriarty – cancelled!

Hysteretic Regime Switching Diffusions, And Applications In The Theory Of Real Options ABSTRACT

17:20-17:30 Interactive session

Thursday 26^th of May, 2011

Plenary session: Probabilistic Model Checking. Chair: Howard Barringer

9:10-10:00 Joost-Pieter Katoen

Observing Markov Chain Behaviour by Timed Automata ABSTRACT

10:00-10:40 Tingting Han

Synthesis for PCTL in Parametric Markov Decision Processes ABSTRACT

10:40-11:00 Coffee Break

11:00-11:30 Alexandru Mereacre

Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems ABSTRACT

11:30-11:45 Interactive session

Plenary session: Embedded Systems I. Chair: Steve Furber

11:45-12:35 Marco Bozzano (joint work with Alessandro Cimatti and Marco Roveri)

A Model-Based Approach to the Synthesis of FDIR for Aerospace Systems ABSTRACT

12:35-13:35 Lunch

13:35-14:25 Antoine Girard

Symbolic Approaches to Control via Approximate Bisimulations ABSTRACT

14:25-15:15 Giordano Pola

Symbolic Controller Design for Continuous Systems ABSTRACT

15:15-15:35 Coffee break

15:35-15:50 Interactive session

Plenary session: Formal Methods II. Chair: Michael Fisher

15:50-16:40 Margarita Korovina

Reachability In One-Dimensional Controlled Polynomial Dynamical Systems ABSTRACT

16:40-17:30 George Wilmers

Probabilistic logic

17:10-17:30 Interactive session

Friday 27^th of May, 2011

Plenary session: Massive parallelism. Chair: John Moriarty

9:10-10:00 Steve Furber

Real-Time Brain Modelling with Massively-Parallel Embedded Processors ABSTRACT

10:00-10:30 Marius Bujorianu

Brain Inspired Hybrid Computation in a Stochastic Cyber-Physical System Model ABSTRACT

10:30-10:50 Coffee Break

10:50-11:30 Clare Dixon

Towards Verifying Emergent Properties of Robot Swarms ABSTRACT

11:30-11:40 Interactive session

Plenary session: Embedded Systems II. Chair: John Brooke

11:40-12:30 Richard Banach

Formal Control System Design across the Continuous/Discrete Modeling Interface: A Simple Train Stopping Application ABSTRACT

12:30-13:30 Lunch

13:30-14:20 Agung Julius

Control Synthesis Using Video Games ABSTRACT

14:20-15:00 William Parnell

Smart Materials For Acoustic And Elastic Wave Filtering ABSTRACT

15:00-15:10 Interactive session

15:10-15:30 Coffee Break

Plenary session: Autonomous Cyber-physical Systems. Chair: Manuela Bujorianu

15:30-16:20 Michael Fisher

Autonomy Verification ABSTRACT

16:20-17:20 Pieter Mosterman

A Model of Time to Characterize a Computational Framework for the Design of Cyber-Physical Systems ABSTRACT

17:20-17:35 Interactive session

17:35-17:40 Closure

Book corner

The publishing house Springer UK will kindly organize a book corner, from 26^th to 27^th of May. The most recent research advances related to the event topics will be available for immediate sale. As well, text books on Modelica, cyber physical systems, and other topics.

Registration

Online registration
Registration can be also made on the site, or by email to (Sebastian.Rees-@-manchester.ac.uk). The number of available p laces is limited – therefore, make sure that you have secured your place well in advance.
Due to generous funding from EPSRC, Cicada and the School, the registration is FREE for all students and the Cicada members. Otherwise, the fee is quite reasonable: 25 GBP, covering the cost of lunches and beverages that will be served on site.
Please contact Helen Harper (Helen.Harper at Manchester.ac.uk) in case of inquires.

Location and accommodation

Frank Adams rooms, Alan Turing Building.
There are several hotels near to the Alan Turing Building. Directions to the Alan Turing Building can be found here . A convenient hotel can be booked here. The organisers are happy to help you on request.

Manchester

Manchester is situated in the north west of England, about equidistant between Liverpool and Leeds. The city proper has a population of around half a million, while the larger conurbation, referred to as either Greater Manchester or Manchester City Region, has over 2.6 million inhabitants

Manchester is known by some for its influence on the histories of industry and music, and for its sporting connections. It has a large number of students. It is seen by many as the "capital" of the north of England, the second city of the United Kingdom and is home to the UK's largest airport outside London, which is owned by the ten local authorities of Greater Manchester, and is amongst the 50 largest airports in the world.

Although it has the image of being very wet the rainfall and number of rainy days in Manchester are less than the UK average. The city has a vibrant, exciting air. Investment in the city's regeneration following the 1996 IRA bomb and 2002 Commonwealth Games has paid off and Manchester is well worth a visit, even if just for a couple of days, or for longer, if you plan to use it as a base to explore northern England and North Wales.

The adjective associated with Manchester is Mancunian or simply Manc. The distinctive linguistic accent of the city's indigenous inhabitants is much more closely related to that of Liverpool with its strong north-Waleian (Welsh) roots than it is to the Lancastrian or Cestrian of the neighbouring cotton towns.

Places to visit

The University of Manchester, on Oxford Road, where amongst other things, the atom was first probed by Rutherford, the first computer was built, and where radio astronomy was pioneered. It was here too that the element Vanadium was first isolated. The architectural style of the new curved visitor's centre contrasts with the old buildings on the opposite side of Oxford Road, within which Manchester Museum is to be found. John Rylands Library, on Deansgate. The bequest to the people of Manchester by who was once the world's richest widow, Henriquetta Rylands, in memory of her husband John, but now administered by the University of Manchester. It Contains the 'Manchester Fragment' the earliest known fragment of the New Testament, part of St. John's gospel found near Alexandria and dating from the first part of the second century, shortly after the gospel itself was first written. Tours can be booked around lunchtime. The library was designed by Basil Champneys and is the last building built in the perpendicular gothic style. There is a good cafe on the ground floor.

Manchester Cathedral, in the Millennium Quarter. The widest cathedral in England with important carved choir stalls (school of Lincoln) and pulpitum. The recently finished Visitor's Centre provides an intimate experience for newcomers to the cathedral. This is near to Harvey Nichols, Urbis and Victoria Station.

Manchester Town Hall, on Albert Square. This imposing and beautiful neo-Gothic masterpiece by Alfred Waterhouse is a symbol of the wealth and power of Manchester during the Industrial Revolution. Free tours can be arranged and the state rooms are generally open to visitors when not otherwise in use. The Great Hall contains a series of pre-Raphaelite wall paintings by Ford Maddox Brown depicting historical scenes (some rather fanciful) from Manchester's past. The corridors are often seen on television dramas standing in for the Palace of Westminster, although the Commons chamber itself is usually depicted in a permanent set at Granada TV studios. The Town Hall is on the wide cobbled area of Albert Square, which is all accessible from St Peter's Square Metrolink station. There is now a tea rooms in the sculpture hall overlooking the square. It is directly to the right as you enter the building.

Castlefield is the site of the original Roman settlement Mamucium and has been known as Castlefield since Medieval times. The walls that still stand over two metres high are from as late as the 16th Century. It is the centre of Manchester's canal network and a transport nexus of unique historical importance. The Castlefield Basin joins the Rochdale and Bridgewater canals, the latter being the first cut canal in Britain. The nearby Museum of Science and Industry contains Liverpool Road station, the first passenger railway station in the world. Very important in industrial times, it became run down in post-war times until it was completely regenerated in the 1990s and designated Britain's first Urban Heritage site. These days the area is like a small country oasis in the heart of the city, with regular events and a handful of great pubs around the canals and the neighbouring streets. It is also the only place to see wildlife in Manchester's centre