Call for Papers
Contributions are invited in all areas pertaining to the engineering of hybrid dynamic systems including: modelling, specification, analysis, verification, control synthesis, simulation, and implementation. Contributions on applications of hybrid methods in various fields, such as process industry, transportation systems, communication networks, safety systems, are particularly encouraged. Synthetic presentations of hybrid-system problems in these fields are also encouraged.
Deadline: November 15, 2011 December 5, 2011
A flier for the conference (with CFP) can be found here