Formal specification and analysis of production systems

References

• ALBERTS , W. T. M. and NAUMOSKI , G. 1998 . A discrete-event simulator for systems engineering , Technische Universiteit Eindhoven . PhD thesis
   Google Scholar
• ARENDS , N. W. A. 1996 . A system engineering specification formalism , Technische Universiteit Eindhoven . PhD thesis
   Google Scholar
• BAETEN , J. C. M. and MIDDLEBURG , C. A. 2001 . “ Process algebra with liming: real time and discrete time ” . In Handbook of Process Algebra , Edited by: Bergstra , J. A. , Ponse , A. and Smolka , S. A. 627 – 684 . Elsevier Science BV . chapter 10
   Google Scholar
• DE BAKKER , J. W. and ZUCKER , J. I. 1982 . Processes and the denotational semantics of concurrency . Information and Control , 54 (1/2) : 70 – 120 .
   Google Scholar
• VAN BEEK , D. A. , VAN DER HAM , A. and ROODA , J. E. Modelling and control of process industry butch production systems . Proceedings of the 2002 IFAC World Congress . Barcelona . to appear
   Google Scholar
• VAN BEEK , D. A. and ROODA , J. E. 2002 . Languages and applications in hybrid modelling and simulation: Positioning of \ . Control Engineering Practice , 8 (1) : 81 – 91 .
   Web of Science ®Google Scholar
• BOS , V. and KLEIJN , J. J. T. 2000 . Formalisation of a production system modelling language: the operational semantics of \ . core Fundamenta Informaticae , 41 (4) : 367 – 392 .
   Google Scholar
• BOS , V. and KLEIJN , J. J. T. 2001a . Automatic verification of a production system . Robotics and Computer-Integrated Manufacturing , 17 (3) : 185 – 198 .
   Web of Science ®Google Scholar
• BOS , V. and KLEIJN , J. J. T. Formal specification and analysis of production systems . Proceedings of the 16th International Conference on Production Research . Prague, Czech Republic . ICPR-16
   Google Scholar
• BOS , V. and KLEIJN , J. J. T. March 2002a . Formal specification and analysis of industrial systems , March , Technische Universiteit Eindhoven . PhD thesis
   Google Scholar
• BOS , V. and KLEIJN , J. J. T. Redesign of a systems engineering language -- formalisation of \ . Proceedings of the ETAPS 2002 Satellite Workshop: Semantic Foundations of Engineering Languages (SFEDI'02) . Edited by: Luettgen , G. , Maraninchi , F. and Mendier , M. pp. 110 – 118 .
   Google Scholar
• VAN CAMPEN , E. J. J. 2002 . Design of a multi-process multi-product wafer lab , Technische Universiteit Eindhoven . PhD thesis
   Google Scholar
• FÁBIÁN , G . 1999 . A language and simulator for hybrid systems , Technische Universiteit Eindhoven . PhD thesis
   Google Scholar
• FEY , J. J. H. 2002 . Design of a fruit juice blending and packing plant , Technische Universiteit Eindhoven . PhD thesis
   Google Scholar
• GOVAARTS , J. A. October 1997 . Efficiency in a lean assembly line: a case study at NedCar Born , October , Eindhoven : Stan Ackermans Institute . Master's thesis
   Google Scholar
• GROOTE , J. F. , LUTTIK , B. and VAN WAMEL , J. May 1998 . Third International Workshop on Formal Methods for Industrial Critical Systems, CWI Amsterdam May , The Netherlands
   Google Scholar
• HAAGH , P. A. M. , WILKENS , A. U. , RULKENS , H. J. A. , VAN CAMPEN , E. J. J. and ROODA , J. H. Application of a layout design method to the dielectric decomposition area in a 300mm wafer fab . Proceedings of the Seventh International Symposium on Semiconductor Manufacturing . October . pp. 69 – 72 . Tokyo , , Japan : ISSM, Ultra Clean Society .
   Google Scholar
• KLEIJN , J. J. T. , RENIERS , M. A. and ROODA , J. E. A process algebra based verification of a production system . Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98) . Edited by: Staples , J. , Hinchley , M. G. and Liu , S. December . pp. 90 – 99 . Brisbane , , Australia : IEEE Computer Society .
   Google Scholar
• LAMPORT , L. 1977 . Proving the correctness of multiprocess programs . IEEE Transactions on Software Engineering , 3 (2) : 125 – 143 .
   Web of Science ®Google Scholar
• MILNER , R. 1985 . Calculi for synchrony and asynchrony . Theoretical Computer Science , 25 (3) : 267 – 310 .
   Web of Science ®Google Scholar
• VAN DER MORTEL-FRONCZAK , J. M. and ROODA , J. E. Heterarchical control systems for production cells--a case study . Proceedings on MIM'97 . Vienna , Austria. pp. 243 – 248 .
   Google Scholar
• VAN DE MORTEL-FRONCZAK , J. M. and VAN DEN NIEUWELAAR , N. J. M. 1995 . Specification of a flexible manufacturing system using concurrent programming . The International Journal of Concurrent Engineering: Research & Applications , 3 (3) : 187 – 194 .
   Google Scholar
• VAN DE MORTEL-FRONCZAK , J. M. , SCHMITZ , J. P. M. and ROODA , J. E. 1999 . “ Experimental comparison of control architectures ” . In Proceedings of APMS'90 Edited by: Mertins , K. , Krause , O. and Shallock , B. 530 – 537 . Berlin , , Germany
   Google Scholar
• VAN DE MORTEL-FRONCZAK , J. M. , GORTER , R. J. A. and ROODA , J. E. A case study in simulation-based system specification design . Proceedings of ESM'2000 . May . pp. 232 – 238 . Ghent , , Belgium
   Google Scholar
• RULKENS , H. J. A. , VAN CAMPEN , E. J. J. , VAN HERK , J. and ROODA , J. E. Batch size optimization of a furnace and pre-clean area by using dynamic simulations . Proceedings of the Advanced Semiconductor Manufacturing Conference . September . pp. 439 – 444 . Boston
   Google Scholar
• RUSHBY , J. 1995 . Formal methods and their role in the certificate of critical systems , Technical Report CSL-95-01 Menlo Park, Ca 94024 , , USA : SRI International .
   Google Scholar