Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici
(+33) 02 47 61 20 22 Du lundi au vendredi de 10H à 16H30

Modélisation des systèmes réactifs
MSR 2007

Modélisation des systèmes réactifs - hermès / lavoisier - 9782746219571 -
Modélisation des systèmes réactifs 
Livre Epuisé, voir article similaire
La Langue des Signes Française (LSF)
Année : 02/2016 0

Auteur : 

Editeur : HERMES / LAVOISIER

Date parution :


La synergie des disciplines de l'automatique et de l'informatique se révèle dans notre actualité d'autant plus prépondérante et justifiée qu'émergent des systèmes pour lesquels les couches physiques et logicielles sont de plus en plus imbriquées, entraînant une complexité de mise en oeuvre et de validation croissante. Les contraintes de performance, de dimensionnement et de criticité liées aux usages, aux normes et au développement durable posent de nouvelles problématiques qui ne peuvent plus être résolues localement. Pour relever ces nouveaux défis, les méthodes et les outils de la conception et de l'analyse de tels systèmes sont à définir selon des approches croisées de l'automatique et de l'informatique. La 6e édition du colloque francophone Modélisation des Systèmes Réactifs, « MSR », se place résolument dans ce contexte.


En suivant ce lien, retrouvez tous les livres dans la spécialité Automatique - Robotique.
Reliure : Broché
Nbr de pages : 314
Dimension : 16 x 24 cm
ISBN 10 : 2746219573
ISBN 13 : 9782746219571
91,28 €
Epuisé , cet ouvrage n'est plus commercialisé par l'éditeur (en savoir plus)

Voir article similaire

Nouvelle édition La Langue des Signes Française (LSF)
48,00 €

Avis clients sur Modélisation des systèmes réactifs - hermès / lavoisier -

(Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
Donnez votre avis

Avant-propos. Conférence invitée 1. Construction de systèmes à base de composants en BIP. Session 1. Vérification formelle 1. Test de vacuité pour automates de Büchi ensemblistes avec tests d'inclusion. Une approche efficace pour le traitement des données dans RT-LOTOS. Session 2. Synthèse de contrôleurs. Conditions structurelles dans le contrôle modulaire de SED concurrents. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. Validation de commande des systèmes à événements discrets. Session 3. Diagnostic. Construction de moniteurs pour la surveillance de propriétés de sécurité. Démarche globale de diagnostic décentralisé des SED. Application à un système de transfert de pièces. Conférence invitée 2. Systèmes embarqués et compilation. Session 4. Applicatifs. Modèle multi-agent pour le pilotage temps réel d'un voilier. Systèmes réactifs pour modéliser la décision en production agricole. Exemples à propos des traitements phytosanitaires. Application de la commande par platitude pour le contrôle de trafic Internet. Session 5. Vérification formelle 2. Vérification paramétrée de la cohérence des processus workflow. Spécification et vérification des propriétés de vivacité en B événementiel. Session 6. Multiparadigme. Sur certains liens entre comparaison stochastique et traitement du signal. Stabilité des systèmes à commutation caractérisés par un réseau de Petri temporel. Conférence invitée 3. Diagnostic des systèmes à événements discrets. Session 7. Approche temporelle des RdP. Réseaux de Petri à chronomètres post et pré-initialisés. Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés. Index des auteurs.
Dernières parutions sur Automatique - Robotique, Métaheuristiques pour la robotique, volume 4
64,80 €
Dernières parutions sur Automatique - Robotique, Automates programmables industriels
69,00 €
Dernières parutions sur Automatique - Robotique, Régulation industrielle
85,00 €
Dernières parutions sur Automatique - Robotique, Machine Learning avec Scikit-Learn
34,00 €
Dernières parutions sur Automatique - Robotique, 36 activités avec le robot mBot
15,00 €
Dernières parutions sur Automatique - Robotique, 24 heures d'innovations
24,00 €
Dernières parutions sur Automatique - Robotique, LabVIEW  Programmation et applications
79,00 €
Dernières parutions sur Automatique - Robotique, Introduction aux systèmes embarqués temps réel
29,90 €
Dernières parutions sur Automatique - Robotique, Intralog : la logistique à l'heure de l'automatisme et des robots
34,00 €
Dernières parutions sur Automatique - Robotique, Poincaré
10,00 €
Dernières parutions sur Automatique - Robotique, Qualification de mode opératoire de soudage robotisé (Réf : 9Q310)
60,00 €
Dernières parutions sur Automatique - Robotique, Synthèse de SER pour la technologie RFID sans puce à forte capacité de codage
69,60 €
Dernières parutions sur Automatique - Robotique, Automatique analogique et techniques de commande et régulation numérique
84,00 €
Dernières parutions sur Automatique - Robotique, Les machines à commande numérique
25,00 €
Dernières parutions sur Automatique - Robotique, Robots tueurs
13,50 €
Dernières parutions sur Automatique - Robotique, Une introduction aux lasers organiques
68,40 €
Dernières parutions sur Automatique - Robotique, Industrie x.0
40,00 €
Dernières parutions sur Automatique - Robotique, LFA 2017 - Rencontres francophones sur la Logique Floue et ses Applications
30,00 €

Rubriques associées pour Modélisation des systèmes réactifs :