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 hybride »
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 homme machine < Système hybride < Système incertain  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000123 (2011) Van Luong Le [France] ; Gérard Bloch [France] ; Fabien Lauer [France]Reduced-Size Kernel Models for Nonlinear Hybrid System Identification : DATA-BASED CONTROL MODELING AND OPTIMIZATION
000377 (2006) Olivier Bournez [France]How much can analog and hybrid systems be proved (super-)Turing
000638 (2004) Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]A multi-scale constraint programming model of alternative splicing regulation
000746 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
000763 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid concurrent constraint programming to model dynamic biological systems
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
000984 (2000) O. Bournez [France] ; O. Maler [France]On the representation of timed polyhedra
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
000A24 (2000) E. Asarin [France] ; O. Bournez [France] ; T. Dang [France] ; O. Maler [France]Approximate reachability analysis of piecewise-linear dynamical systems
000C62 (1996) J. Bouaud [France] ; R. Voyer [France]Langages à objets et langages de règles : étude critique et propositions d'intégration
000D68 (1990) J.-C. Junqua [France]Utilisation d'un modèle d'audition et de connaissances phonétiques en reconnaissance automatique de la parole

List of associated Author.i

Nombre de
documents		Descripteur
3Alexander Bockmayr
3O. Bournez
3Olivier Bournez
2Arnaud Courtois
2O. Maler
1Amir Pnueli
1Christiane Branlant
1Christos H. Papadimitriou
1Damien Eveillard
1Delphine Ropers
1E. Asarin
1Eugene Asarin
1Fabien Lauer
1Gérard Bloch
1Hidde De Jong
1J. Bouaud
1J. N. Tsitsiklis
1J.-C. Junqua
1John N. Tsitsiklis
1Oded Maler
1P. Koiran
1Pascal Koiran
1R. Voyer
1T. Dang
1THAO DANG
1V. D. Blondel
1Van Luong Le
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 hybride" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Système hybride" \
         | 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 hybride
}}
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