Titre original :
A New Framework for Discrete-Event Systems
Contenu du livre :
Les problèmes du monde réel sont souvent formulés sous la forme de diverses propriétés de différents types de systèmes dynamiques. C'est pourquoi la vérification et la synthèse des propriétés font l'objet d'un intérêt de longue date dans la recherche.
Le cadre de contrôle de surveillance développé dans les années 1980 fournit un cadre d'application des propriétés en boucle fermée pour les systèmes à événements discrets qui consistent généralement en des états discrets et des transitions entre états causées par des occurrences spontanées d'événements étiquetés. Dans cette étude exhaustive, l'auteur développe un cadre d'application des propriétés en boucle ouverte pour les systèmes à événements discrets qui s'adapte mieux et peut être mis en œuvre dans un plus grand nombre de modèles. L'auteur démontre l'aspect pratique de ce cadre à l'aide d'un outil appelé composition concurrente, et utilise cet outil pour unifier de multiples propriétés basées sur l'inférence et des propriétés basées sur la dissimulation dans les systèmes à événements discrets.
Dans la deuxième partie, l'auteur présente un nouveau modèle appelé automates pondérés étiquetés sur des monoïdes (LWAM). Les LWAM constituent une généralisation naturelle des automates à états finis étiquetés dans le sens où chaque transition y porte un poids provenant d'un monoïde, le poids d'une exécution étant le produit des poids des transitions de l'exécution.
Ce livre introduit le lecteur à un nouveau paradigme dans les systèmes dynamiques à événements discrets. Il fournit aux chercheurs, aux étudiants et aux praticiens la théorie de base et un ensemble d'outils applicables qui auront un impact significatif sur les systèmes du futur.
Autres informations sur le livre :
| ISBN : | 9781638281528 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
