A New Framework For Discrete-Event Systems Format Broché

A New Framework for Discrete-Event Systems - Zhang, Kuize

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur A New Framework For Discrete - Event Systems Format Broché - Livre Sciences de la vie et de la terre

Note : 0 0 avis sur A New Framework For Discrete - Event Systems Format Broché - Livre Sciences de la vie et de la terre

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation A New Framework For Discrete - Event Systems Format Broché
- Livre Sciences de la vie et de la terre

Livre Sciences de la vie et de la terre - Zhang, Kuize - 01/02/2023 - Broché - Langue : Anglais

Auteur(s) : Zhang, Kuize

Editeur : Now Publishers

Langue : Anglais

Parution : 01/02/2023

Format : Moyen, de 350g à 1kg

Nombre de pages : 194

Expédition : 304

Dimensions : 23.4 x 15.6 x 1.1

ISBN : 9781638281528

Résumé :
Real-world problems are often formulated as diverse properties of different types of dynamical systems. Hence property verification and synthesis have been long-standing research interests. The supervisory control framework developed in the 1980s provides a closed-loop property enforcement framework for discrete-event systems which usually consist of discrete states and transitions between states caused by spontaneous occurrences of labeled events. In this comprehensive review, the author develops an open-loop property enforcement framework for discrete event systems which scales better and can be implemented in more models. The author demonstrates the practicality of this framework using a tool called concurrent composition, and uses this tool to unify multiple inference-based properties and concealment-based properties in discrete-event systems. In the second part, the author introduces a new model called labeled weighed automata over monoids (LWAMs). LWAMs provide a natural generalization of labeled finite-state automata in the sense that each transition therein carries a weight from a monoid, the weight of a run is the product of the weights of the run's transitions. This book introduces the reader to a new paradigm in discrete event dynamic systems. It provides researchers, students and practitioners with the basic theory and a set on implementable tools that will have a significant impact on systems of the future....

A New Framework for Discrete-Event Systems - Zhang, Kuize

Avis sur A New Framework For Discrete - Event Systems Format Broché - Livre Sciences de la vie et de la terre

Présentation A New Framework For Discrete - Event Systems Format Broché - Livre Sciences de la vie et de la terre

Présentation A New Framework For Discrete - Event Systems Format Broché
- Livre Sciences de la vie et de la terre