Avis des lecteurs
Résumé:Ce livre est très apprécié pour sa clarté et son accessibilité, en particulier lorsqu'il s'agit de présenter les systèmes cyber-physiques à des lecteurs issus de différentes formations d'ingénieurs. Il établit un équilibre efficace entre les concepts théoriques et les mises en œuvre pratiques.
Avantages:⬤ Clairement écrit et facile à comprendre
⬤ convient aux débutants et aux ingénieurs d'autres disciplines
⬤ introduction bien structurée aux systèmes cyber-physiques
⬤ couvre de nombreux sujets pertinents de manière cohérente.
Certains lecteurs peuvent trouver le contenu trop introductif s'ils sont à la recherche d'un matériel plus avancé ; il peut être perçu comme une lourdeur informatique pour ceux qui ne sont pas familiers avec la terminologie.
(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 : | 9780262029117 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2015 |
| Nombre de pages : | 464 |
Achat:
Actuellement disponible, en stock.
