Formal Methods in Manufacturing
Javier Campos
Vendu par AHA-BUCH GmbH, Einbeck, Allemagne
Vendeur AbeBooks depuis 14 août 2006
Neuf(s) - Couverture rigide
Etat : Neuf
Quantité disponible : 2 disponible(s)
Ajouter au panierVendu par AHA-BUCH GmbH, Einbeck, Allemagne
Vendeur AbeBooks depuis 14 août 2006
Etat : Neuf
Quantité disponible : 2 disponible(s)
Ajouter au panierNeuware - Illustrated with real-life examples, this text provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first introduces the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each. It then employs the formalisms to solve specific problems, such as modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.
N° de réf. du vendeur 9781466561557
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.
Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Javier Campos, Ph.D is professor of computer science at the University of Zaragoza, Spain. He has supervised the completion of 100 master theses and three Ph.D theses. He has also been co-chair of the IEEE IES Technical Sub-Committee on Industrial Automated Systems and Controls and associate editor of IEEE Transactions on Industrial Informatics. His research interests include modeling and performance evaluation of distributed and concurrent systems, Petri nets, software performance engineering, and performance modeling of manufacturing and telecommunication systems. He has co-authored over 90 papers published in refereed journals and conferences across the world.
Carla Seatzu, Ph.D is associate professor of automatic control at the University of Cagliari, Italy. Her research interests include discrete-event systems, hybrid systems, Petri nets, and manufacturing and networked control systems. She has published over 150 papers and one textbook on these topics. She has also served as general co-chair of the 18th IEEE International Conference on Emerging Technology and Factory Automation, and is currently associate editor of IEEE Transactions on Automatic Control and Nonlinear Analysis: Hybrid, the Conference Editorial Board of the IEEE Control System Society, and the IEEE Robotics and Automation Society.
Xiaolan Xie, Ph.D is professor of industrial engineering, the head of the Department of Healthcare Engineering, and the head of the IEOR team of CNRS UMR 6158 LIMOS for Ecole Nationale Supérieure des Mines, Saint Etienne, France. He is also chair professor and director of the Center for Healthcare Engineering at the Shanghai Jiao Tong University, People's Republic of China. His recent work has focused on design, operations management, and performance evaluation of healthcare and manufacturing systems and their supply chains. He has authored/coauthored over 250 publications, including more than 90 journal articles and five books.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Visitez la page d’accueil du vendeur
Conditions générales et informations client
I. Conditions générales
§ 1 Dispositions de base
(1) Les conditions générales suivantes s?appliquent à tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l?inclusion de l?une de vos propres conditions générales que vous utilisez sera contestée
(2) Un consommateur au sens des règlements suivants est toute personne physique qui conclut une transact...
Si vous êtes un consommateur, vous pouvez vous rétracter du présent contrat dans les conditions indiquées ci-dessous. Etre un consommateur signifie être une personne physique qui agit à des fins qui n'entrent pas dans le cadre de son activité commerciale, industrielle, artisanale ou libérale.
Informations standardisées sur la rétractation
Droit de rétractation:
Vous avez le droit de vous rétracter du présent contrat sans donner de motif dans un délai de quatorze jours.
Pour exercer le droit de rétractation, vous devez nous AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039, notifier votre décision de rétractation du présent contrat au moyen d'une déclaration dénuée d'ambiguïté (par exemple, lettre envoyée par la poste, télécopie ou courrier électronique). Vous pouvez utiliser le modèle de formulaire de rétractation mais ce n'est pas obligatoire. Vous pouvez également remplir et transmettre une déclaration claire à cette fin sur notre site internet à «Vos commandes» dans «Votre compte». Si vous utilisez cette option, nous vous enverrons sans délai un accusé de réception de la rétractation sur un support durable (par exemple, par courriel).
Pour que le délai de rétractation soit respecté, il suffit que vous transmettiez votre communication relative à l'exercice du droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation :
En cas de rétractation de votre part du présent contrat, nous vous rembourserons tous les paiements reçus de vous, y compris les frais de livraison (à l'exception des frais supplémentaires découlant du fait que vous avez choisi, le cas échéant, un mode de livraison autre que le mode moins coûteux de livraison standard proposé par nous) sans retard excessif et, en tout état de cause, au plus tard quatorze jours à compter du jour où nous sommes informés de votre décision de rétractation du présent contrat. Nous procéderons au remboursement en utilisant le même moyen de paiement que celui que vous aurez utilisé pour la transaction initiale, sauf si vous convenez expressément d'un moyen différent; en tout état de cause, ce remboursement n'occasionnera pas de frais pour vous.
Nous pouvons différer le remboursement jusqu'à ce que nous ayons reçu le bien ou jusqu'à ce que vous ayez fourni une preuve d'expédition du bien, la date retenue étant celle du premier de ces faits.
Vous devrez renvoyer ou rendre le bien, à AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039, sans retard excessif et, en tout état de cause, au plus tard quatorze jours après que vous nous aurez communiqué votre décision de rétractation du présent contrat. Ce délai est réputé respecté si vous renvoyez le bien avant l'expiration du délai de quatorze jours. Vous devrez prendre en charge les frais directs de renvoi du bien. Votre responsabilité n'est engagée qu'à l'égard de la dépréciation du bien résultant de manipulations autres que celles nécessaires pour établir la nature, les caractéristiques et le bon fonctionnement de ce bien.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à :
Formulaire de rétractation
(A compléter et renvoyer seulement si vous souhaitez-vous rétracter du présent contrat)
A l'attention de : (AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039)
Je vous notifie par la présente ma rétractation du contrat portant sur la vente des produits suivants :
numéro de commande :
Commandé le/reçu le :
Mon nom et mon adresse :
Signature (seulement si ce formulaire est notifié en version papier) :
Date
Nous expédions votre commande après les avoir reçues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas où nous devons commander un article auprès de notre fournisseur, notre délai d’expédition dépend de la date de réception des articles, mais les articles seront expédiés le jour même.
Notre objectif est d’envoyer les articles commandés de la manière la plus rapide, mais aussi la plus efficace et la plus sécurisée à nos clients.
| Quantité commandée | 30 à 40 jours ouvrés | 7 à 14 jours ouvrés |
|---|---|---|
| Premier article | EUR 67.03 | EUR 77.03 |
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.