Complexite algorithmique des systemes dynamiques continus et hybrides

par Olivier Bournez

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Cosnard.

Soutenue en 1999

à École normale supérieure (Lyon) .

    mots clés mots clés


  • Résumé

    Dans cette these, nous presentons une etude de la decidabilite de la verification automatique de proprietes pour les systemes dynamiques continus et hybrides. Nous prouvons que le probleme de la stabilite est indecidable pour les reseaux de neurones a fonction d'activation lineaire seuillee. Nous etudions la decidabilite du probleme de la mortalite pour les matrices deux par deux. Nous proposons des representations des polyedres orthogonaux et temporises par leurs sommets. Enfin nous caracterisons la puissance de calcul des systemes dynamiques definis par une equation differentielle constante par morceaux.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 159 P.
  • Annexes : 85 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.