Design and operation of manufacturing systems and their supply chains is a domain of significant research worldwide. The complexity of this domain stems from the large dimension of such systems that are highly parallel and distributed, from significant sources of uncertainties and from the degrees of flexibility. Formal methods are mathematical techniques,often supported by tools, for developing man-made systems. Formal methods and mathematical rigor enable manufacturing engineers to handle fundamental design principles, such as abstraction or modular and hierarchical development, and to deal with typical engineering problems and quality goals, like reliability, flexibility, and maintainability. Formal methods can provide both a deep ...
Get Formal Methods in Manufacturing now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
