In the past few years two research groups of Politecnico di Milano, whose activities were centered on Formal Methods for the production of critical software and on industrial manufacturing systems, respectively, have carried out a joint research project that, among other things, aimed at introducing the use of formal methods in the design and analysis phases of industrial production systems (and especially of so-called Flexible Manufacturing Systems, FMSs) as a complementary tool to the ones used in the current practice of the field. This paper reports on the challenges that the research groups faced during the project, and on the lessons that have been learned in the process. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Matta, A., Rossi, M., Spoletini, P., Mandrioli, D., Semeraro, Q., & Tolio, T. (2007). FM for FMS: Lessons learned while applying formal methods to the study of flexible manufacturing systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4711 LNCS, pp. 366–380). Springer Verlag. https://doi.org/10.1007/978-3-540-75292-9_25
Mendeley helps you to discover research relevant for your work.