IM-CPS 2011 - 2nd International Symposium on Interdisciplinary Modelling of Cyber-Physical Systems

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.

http://personalpages.manchester.ac.uk/staff/Manuel...