Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Rechercher
Déposer
Consulter
Services
Par structure de recherche UGA
Par collection de laboratoire UGA
Par auteur
Par discipline
Par type de publication
Par année
2017
2016
2015
2014
2013
2012
2011
2010
Par décennie
Les derniers dépôts
Créer sa page web
Rechercher
Filtres
Auteur : IdHal (chaîne de caractères) ×
Tous ×
13 résultats
enregistrer la recherche
Type de document
Communication dans un congrès
(6)
Article dans une revue
(5)
Direction d'ouvrage, Proceedings
(1)
Rapport
(1)
Auteur
Antoine Girard
(13)
Christophe Prieur
(4)
Majid Zamani
(2)
Pierre-Jean Meyer
(2)
Pierre-Olivier Lamare
(2)
Ying Tang
(2)
Alessandro Abate
(1)
Emmanuel Witrant
(1)
Jun-Ichi Imura
(1)
Kazuyuki Aihara
(1)
Kenji Kashima
(1)
Luonan Chen
(1)
Mohammad Al Khatib
(1)
Sriram Sankaranarayanan
(1)
Takayuki Ishizaki
(1)
Thao Dang
(1)
Emmanuel Witrant
(1)
Romain Postoyan
(1)
Domaine
Informatique [cs]
(10)
Mathématiques [math]
(9)
Sciences de l'ingénieur [physics]
(8)
Laboratoire
Laboratoire Jean Kuntzmann
(12)
Grenoble Images Parole Signal Automatique
(6)
Centre de Recherche en Automatique de Nancy
(1)
Department of Computer Science [Colorado]
(1)
EDF Division Recherche et Développement [Clamart]
(1)
Graduate School of Information Science and Technology [Osaka]
(1)
Institute of Industrial Science
(1)
Laboratoire de Recherche en Informatique
(1)
Laboratoire des signaux et systèmes
(1)
Langue
anglais
(13)
Type de dépôt
Document
(9)
Notice
(4)
Année
2015
(13)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 13 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
hal-01492955
v1
Communication dans un congrès
Pierre-Jean Meyer
,
Antoine Girard
,
Emmanuel Witrant
.
Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings
18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
, Apr 2015, Seattle, United States. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.1817 - 1819, 2015,
<10.1145/2728606.2728637>
hal-01204815
v1
Communication dans un congrès
Romain Postoyan
,
Antoine Girard
.
Triggering mechanism using freely selected sensors for linear time-invariant systems
54th IEEE Conference on Decision and Control
, Dec 2015, Osaka, Japan. IEEE, pp.4812-4817, 2015,
<10.1109/CDC.2015.7402970>
hal-01170573
v1
Direction d'ouvrage, Proceedings
Antoine Girard
,
Sriram Sankaranarayanan
.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
18th International Conference on Hybrid Systems: Computation and Control
, Apr 2015, Seattle, United States. 2015
hal-01214441
v1
Communication dans un congrès
Pierre-Olivier Lamare
,
Antoine Girard
,
Christophe Prieur
.
Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings
1st IFAC Workshop on Linear Parameter Varying Systems (LPVS 2015 )
, Oct 2015, Grenoble, France.
<http://www.gipsa-lab.grenoble-inp.fr/LPVS2015/>
hal-01180975
v1
Communication dans un congrès
Pierre-Jean Meyer
,
Antoine Girard
,
Emmanuel Witrant
.
Safety control with performance guarantees of cooperative systems using compositional abstractions
5th IFAC Conference on Analysis and Design of Hybrid Systems
, Oct 2015, Atlanta, United States. Elsevier, 48 (27), pp.317-322, 2015, IFAC-PapersOnLine.
<10.1016/j.ifacol.2015.11.194>
hal-01175825
v2
Rapport
Ying Tang
,
Christophe Prieur
,
Antoine Girard
.
Singular perturbation approximation of linear hyperbolic systems of balance laws (full version)
[Research Report] Gipsa-Lab. 2015
hal-01203715
v1
Communication dans un congrès
Majid Zamani
,
Antoine Girard
.
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach
ACC 2015 - American Control Conference
, Jul 2015, Chicago, United States. IEEE, pp.1923-1928,
<10.1109/ACC.2015.7171014>
hal-01276237
v1
Communication dans un congrès
Mohammad Al Khatib
,
Antoine Girard
,
Thao Dang
.
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis
Analysis and Design of Hybrid Systems
, Oct 2015, Atlanta, United States. 48 (27), pp.358-363, 2015, IFAC-PapersOnLine.
<10.1016/j.ifacol.2015.11.200>
hal-01276233
v1
Article dans une revue
Takayuki Ishizaki
,
Kenji Kashima
,
Antoine Girard
,
Jun-Ichi Imura
,
Luonan Chen
et al.
Clustered model reduction of positive directed networks
Automatica
, Elsevier, 2015, 59, pp.238-247.
<10.1016/j.automatica.2015.06.027>
hal-01064805
v1
Article dans une revue
Ying Tang
,
Christophe Prieur
,
Antoine Girard
.
Tikhonov theorem for linear hyperbolic systems
Automatica
, Elsevier, 2015, 57, pp.1-10.
<10.1016/j.automatica.2015.03.028>
hal-01170568
v1
Article dans une revue
Majid Zamani
,
Alessandro Abate
,
Antoine Girard
.
Symbolic models for stochastic switched systems: a discretization and a discretization-free approach
Automatica
, Elsevier, 2015, 55, pp.183-196.
<10.1016/j.automatica.2015.03.004>
hal-01165967
v1
Article dans une revue
Pierre-Olivier Lamare
,
Antoine Girard
,
Christophe Prieur
.
Switching rules for stabilization of linear systems of conservation laws
SIAM Journal on Control and Optimization
, Society for Industrial and Applied Mathematics, 2015, 53 (3), pp.1599-1624.
<10.1137/140953952>
hal-01170560
v1
Article dans une revue
Antoine Girard
.
Dynamic triggering mechanisms for event-triggered control
IEEE Transactions on Automatic Control
, Institute of Electrical and Electronics Engineers, 2015, 60 (7), pp.1992-1997.
<10.1109/TAC.2014.2366855>
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 13 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.