Preuves assistées par ordinateur pour l’atteignabilité en théorie du contrôle linéaire avec contraintes

Fiche du document

Auteur
Date

13 juin 2024

Discipline
Types de document
Périmètre
Identifiant
Source

Les carnets de la fondation des Treilles

Relations

Ce document est lié à :
info:eu-repo/semantics/reference/issn/2681-0980

Collection

Hypothèses : carnets de recherches en Sciences humaines et sociales

Organisation

OpenEdition

Licence

info:eu-repo/semantics/openAccess

Sujets proches Fr En

République française Royaume de France Royaume de France (987-1791) French Republic

Citer ce document

ldiebold, « Preuves assistées par ordinateur pour l’atteignabilité en théorie du contrôle linéaire avec contraintes », Les carnets de la fondation des Treilles, ID : 10.58079/11ti7

Métriques

Partage / Export

Résumé 0

Petit séjour d'étude organisé par Camille Pouchol, du 11 au 16 mars 2023. Participants Ivan HASENOHR (Université 1 Paris Cité, France), Camille POUCHOL (Université Paris Cité, France), Yannick PRIVAT (MSHS Poitiers - Université de Poitiers, France), Christophe ZHANG (INRIA Nancy, France) Résumé Notre méthode repose sur une idée géométrique simple : pour montrer qu’un point (ici en rouge) ne peut être atteint par le système contrôlé, il suffit de trouver un hyperplan (ici en rouge pâle) qui l...

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en