| The importance of modelling and simulation for the design of high quality industrial systems in a limited amount of time is generally acknowledged. The importance of correctness of the models used goes without saying. yet, exchange of ideas and results between the research fields of simulation and verification is limited. The aim of the project is to integrate the knowledge and demands from both fields. The results will be new methods, techniques, language constructs and tools that can be used in combination with the existing x formalism for modelling, simulation and verification of hybrid industrial systems. Two PhD. students will be employed. One will deal with modelling and simulation techniques and the required language constructs for modelling of physical phenomena, (supervisory) control systems, and higher index systems- including initialization and optimization. The other PhD. student will deal with verification aspects. This includes 1) the development of a formal semantics of hybrid X , taking into account the implications for the X language,compiler and simulator; 2) study and development of analysis methods using process algebra, µCRL, and hybrid automa; and 3) development of verification tools. All developments will be put to the test in a number of industrial cases. |
