Avis des lecteurs
Résumé:Ce livre présente un traitement clair et complet des systèmes cyber-physiques, le rendant accessible aux ingénieurs de divers horizons, en particulier les ingénieurs en aéronautique et en mécanique. Il est bien écrit et fait efficacement le lien entre les concepts théoriques et la mise en œuvre pratique.
Avantages:⬤ Rédaction claire
⬤ bon niveau d'abstraction
⬤ soutien à la mise en oeuvre pratique
⬤ utile pour les ingénieurs de différentes disciplines
⬤ couvre une gamme de sujets incluant les automates, les systèmes de contrôle et la dynamique.
Certains lecteurs peuvent trouver le contenu trop chargé en informatique s'ils viennent d'un milieu autre que l'informatique.
(basé sur 4 avis de lecteurs)
Titre original :
Principles of Cyber-Physical Systems
Contenu du livre :
Un texte fondamental qui offre une introduction rigoureuse aux principes de conception, de spécification, de modélisation et d'analyse des systèmes cyber-physiques.
Un système cyber-physique consiste en un ensemble de dispositifs informatiques communiquant entre eux et interagissant avec le monde physique par le biais de capteurs et d'actionneurs dans une boucle de rétroaction. De plus en plus, ces systèmes sont omniprésents, qu'il s'agisse de bâtiments intelligents, d'appareils médicaux ou d'automobiles. Ce manuel propose une introduction rigoureuse et complète aux principes de conception, de spécification, de modélisation et d'analyse des systèmes cyber-physiques. Le livre s'appuie sur un ensemble diversifié de sous-disciplines, y compris la conception basée sur les modèles, la théorie de la concurrence, les algorithmes distribués, les méthodes formelles de spécification et de vérification, la théorie du contrôle, les systèmes en temps réel et les systèmes hybrides, expliquant les idées fondamentales de chacune d'entre elles qui sont pertinentes pour la conception et l'analyse des systèmes.
Le livre explique comment les modèles formels fournissent des abstractions mathématiques pour gérer la complexité de la conception d'un système. Il couvre à la fois les modèles synchrones et asynchrones pour le calcul concurrent, les modèles à temps continu pour les systèmes dynamiques et les systèmes hybrides pour l'intégration de l'évolution discrète et continue. Le rôle des exigences de correction dans la conception de systèmes fiables est illustré par une série de formalismes de spécification et les techniques associées de vérification formelle. Les sujets incluent les exigences de sécurité et de pérennité, la logique temporelle, le model checking, la vérification déductive, l'analyse de stabilité des systèmes linéaires et les algorithmes de programmation en temps réel. Les principes de modélisation, de spécification et d'analyse sont illustrés par la construction de solutions à des problèmes de conception représentatifs des algorithmes distribués, des protocoles de réseau, de la conception de contrôle et de la robotique.
Ce livre fournit au domaine en pleine expansion des systèmes cyber-physiques un texte de base nécessaire depuis longtemps, rédigé par une autorité reconnue. Il convient à une utilisation en classe ou comme référence pour les professionnels.
Autres informations sur le livre :
| ISBN : | 9780262548922 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
