organised by
The Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA)
Cyber physical systems represent yet another attempt of engineers to radically change our life by embodying smart dust, micro and nano processors, and other forms of control intelligence in our physical environment. In the past, the same promise was made by systems engineering paradigms like embedded and pervasive systems ? so, what is new? The origin of the cyber physical systems paradigm can be traced to the cause of the tragic accident of the Ariane 5 on 4th June 1996. A software error triggered an explosion with lives toll and a 7 billion USD compromised project. How a piece of software that ran perfectly on Ariane 4 provoked this malfunction was a mystery that created the need of a new discipline. The answer to this question was found in the changed physical shell of the software. The cyber physical systems paradigm promotes the study of interactions between physics and computation and it spans over disciplines like hybrid systems, networked control systems, formal methods and applied mathematics. The modern applications of cyber physical systems vary largely, from aerospace systems to biology, nanoengineering, or energy systems. The progress in the area demands more interaction between the experts in these disciplines. The symposium will bring together experts from complementary disciplines and it will provide opportunities for fruitful interactions. The symposium is structured in two tracks: general modelling philosophies; and biological systems.
Topics of interest: stochastic modelling, stochastic hybrid systems, formal methods, formal design, reverse engineering, biochemical networks, retinal networks.
Gerold Baier (Manchester)
Richard Banach (Manchester)
John Brooke (Manchester)
Dave Broomhead (Manchester)
Manuela Bujorianu (Manchester)
Marius Bujorianu (Manchester)
Michael Butler (Southampton)
Rebekah Carter (Manchester)
Joseph Challenger (Manchester)
Daniel Coca (Sheffield)
Sourav Das (Manchester)
Michael Fisher (Liverpool)
Fei He (Manchester)
James Hook (Manchester)
Dean Jackson (Manchester)
Heinz Koeppl (EPFL)
Margarita Korovina (Manchester)
Pedro Mendes (Manchester)
Hitesh Mistry (Astra Zeneca)
Eva Navarro (Manchester)
Juergen Pahle (Manchester)
Prakash Panangaden (McGill)
Ebrahim Patel (Manchester)
Angela Pisco (Manchester)
Jon Shapiro (Manchester)
Pablo Shmerkin (Manchester)
Ben Small (Manchester)
Thomas Walker (Manchester)
Jujiang Wang (Manchester)
Chris Welshman (Manchester)
Verena Wolf (Saabrucken)
Xue-Feng Yuan (Manchester)