Vérification de la sûreté des systèmes hybrides

Othman Nasri (Auteur)
voir tout
media/pim/TITELIVE/49_9783838171975_1_75.jpg

ajouter
Vérification de la sûreté des systèmes hybrides
49,00€

Vendu et expédié par : Cultura

État : Neuf

INDISPONIBLE EN LIGNE

 

Plus que pour profiter de la promotion
Plus que pour profiter de la livraison dès demain en magasin

stock en magasin

Retrouvez le produit près de chez vous.

*hors livres expédiés à domicile ou en point relais, hors remise et promotion au panier
Réservez en ligne &
retirez sous 2h
Livraison gratuite en
magasin
Retour en magasin
sous 30 jours

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Les systèmes dynamiques hybrides sont des systèmes dynamiques faisant intervenir explicitement et simultanément des phénomènes ou des modèles de type dynamique continu et événementiel. Dans cette thèse, nous proposons des techniques algorithmiques de vérification formelle de propriétés pour ces systèmes. Ces techniques de vérification se basent sur le calcul de l'espace atteignable à partir d'une région initiale pour déterminer si l'intersection de cet espace avec le domaine à éviter est bien vide. Notre méthode consiste à partitionner l'espace d'état du système complexe en régions et à approximer pour chacune de ces régions la dynamique du système étudié par une dynamique plus simple. Nous présentons des extensions à une proposition précédente afin de prendre en compte des incertitudes dans les dynamiques affines. Dans un premier temps cette incertitude est considérée comme invariante. Dans un second temps nous la considérons variante. Cette deuxième extension permet de considérer l'atteignabilité des systèmes non-linéaires.
 
Vérification de la sûreté des systèmes hybrides

Vérification de la sûreté des systèmes hybrides

Othman Nasri
On vous recommande avec votre achat
Vérification de la sûreté des systèmes hybrides

Vérification de la sûreté des systèmes hybrides

49,00€
+
voir mon panier

Découvrez aussi

Livre science et culture scientifique Livre Sciences Humaines Livre

Livre Sciences Humaines

Livre Religions et Spiritualité • Livre Sociologie • Livre Philosophie • Livre Pédagogie • Livre Psychologie • Livre science et culture scientifique • Ecologie • Coups de cœur : Sciences humaines • Livres éthnologie • Livres Anthropologie ...

... Livre Psychanalyse • Esotérisme

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Dicobat visuel, dictionnaire illustré du bâtiment (5e édition) • Atlas Netter d'anatomie humaine • Le corps n'oublie rien : Le cerveau, l'esprit, le corps dans la guérison du traumatisme • Éléments de physique nucléaire ...

... L'A.B.C. du froid - je monte, j'entretiens, je dépanne... (3e édition) • Traité de construction horlogère • Anatomie pour le mouvement : introduction à l'analyse des techniques corporelles • Anthropologie des violences faite aux femmes au XXIe siècle ...

... La Terre entre nos mains • Biologie des croyances - comment affranchir la puissance de la conscience, de la matière et des miracles • Anatomie à colorier Netter (3e édition) • Microbiologie de Prescott

retour haut de page
retour haut de page
Réservez en ligne &
retirez en magasin sous 2h
Livraison gratuite en
magasin dès le lendemain
Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire
Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Veuillez saisir une adresse e-mail valide.
Par exemple : [email protected]

Félicitations, votre inscription a bien été prise en compte !

Vous pouvez à tout moment vous désinscrire via le lien de désabonnement présent dans la newsletter.
En savoir plus sur notre politique de protection des données personnelles, cliquez ici

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.