FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Système linéaire »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Système inéquation < Système linéaire < Système linéaire par morceau  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
000908 (2001) Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis]Deciding stability and mortality of piecewise affine dynamical systems
000962 (2000) V. D. Blondel [Belgique] ; O. Bournez [France] ; P. Koiran [France] ; J. N. Tsitsiklis [États-Unis]The stability of saturated linear dynamical systems is undecidable
000A07 (2000) Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël]Effective synthesis of switching controllers for linear systems
000A70 (1999) A. Durand [France] ; M. Hermann [France] ; L. Juban [France]On the complexity of recognizing the Hilbert basis of a linear Diophantine system
000C41 (1997) F. Ajili [France] ; E. Contejean [France]Avoiding slack variables in the solving of linear diophantine equations and inequations

List of associated Author.i

Nombre de
documents		Descripteur
2Olivier Bournez
1A. Durand
1Amir Pnueli
1Christos H. Papadimitriou
1E. Contejean
1Eugene Asarin
1F. Ajili
1J. N. Tsitsiklis
1John N. Tsitsiklis
1L. Juban
1M. Hermann
1O. Bournez
1Oded Maler
1P. Koiran
1Pascal Koiran
1THAO DANG
1V. D. Blondel
1Vincent D. Blondel

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Système linéaire" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Système linéaire" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Système linéaire
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022