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
Déposer
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Sous-domaine niveau 1 ×
Auteur : Nom complet ×
Tous ×
17 résultats
enregistrer la recherche
Type de document
Article dans une revue
(9)
Communication dans un congrès
(4)
Documents associés à des manifestations scientifiques -- Hal-inria+
(2)
Pré-publication, Document de travail
(2)
Auteur
Robert Baier
(17)
Elza Farkhi
(5)
Matthias Gerdts
(5)
Ilaria Xausa
(4)
Lars Grüne
(3)
Sigurđur Freyr Hafstein
(3)
Fabian Wirth
(2)
Huijuan Li
(2)
Olivier Bokanowski
(2)
Vera Roshchina
(2)
Christian Wegwerth
(1)
Daniel Toepfer
(1)
Gilbert Perria
(1)
Mark Gonter
(1)
Qamar Din
(1)
Sigurdur Hafstein
(1)
Tzanko D. Donchev
(1)
Tzanko Donchev
(1)
Discipline
Mathématiques [math]
(17)
Structure
Mathematisches Institut [Bayreuth]
(17)
Institut für Mathematik und Rechneranwendung [Munchen]
(5)
Raymond and Beverly Sackler Faculty of Exact Sciences
(5)
Reykjavík University
(4)
Institut für Mathematik
(2)
Department of Computer Science and Engineering
(1)
Group Research: Integrated Safety and Light
(1)
Laboratoire Jacques-Louis Lions
(1)
UFR de Mathématiques
(1)
Unité de Mathématiques Appliquées
(1)
Collection
INSMI
(17)
SADCO
(17)
TDS-MACS
(16)
OPENAIRE
(12)
SADCO_PUBLI
(7)
SADCO_WP
(7)
SADCO_WP2
(6)
SADCO_FELLOWS
(4)
SADCO_WP1
(4)
UNIV-PARIS7
(2)
USPC
(2)
CNRS
(1)
ENSTA
(1)
LJLL
(1)
NETCO2014
(1)
SADCO_KICK_OFF
(1)
SADCO_WP3
(1)
UMA_ENSTA
(1)
UPMC
(1)
UPMC_POLE_1
(1)
Langue
anglais
(17)
Type de dépôt
Notice
(10)
Document
(7)
Année
2015
(1)
2014
(5)
2013
(3)
2012
(6)
2011
(2)
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 17 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00585724
v1
Documents associés à des manifestations scientifiques -- Hal-inria+
Matthias Gerdts
,
Robert Baier
.
Optimal control techniques for reachable set computations
SADCO Kick off
, Mar 2011, Paris, France
hal-01067206
v1
Article dans une revue
Robert Baier
,
Elza Farkhi
.
Regularity of set-valued maps and their selections through set differences. Part 1: Lipschitz continuity
Serdica Mathematical Journal
, Bulgarian Academy of Sciences, 2013, Special volume dedicated to the 65th Anniversary of Professor Asen L. Dontchev and to the 60th Anniversary Professor Vladimir M. Veliov, 39 (3-4), pp.365-390
hal-01067207
v1
Article dans une revue
Robert Baier
,
Elza Farkhi
.
Regularity of set-valued maps and their selections through set differences. Part 2: One-sided Lipschitz properties
Serdica Mathematical Journal
, Bulgarian Academy of Sciences, 2013, Special volume dedicated to the 65th Anniversary of Professor Asen L. Dontchev and to the 60th Anniversary Professor Vladimir M. Veliov, 39 (3-4), pp.391-422
hal-00724865
v1
Article dans une revue
Robert Baier
,
Gilbert Perria
.
Set-valued Hermite interpolation
Journal of Approximation Theory
, Elsevier, 2011, 163 (10), pp.1349-1372.
<10.1016/j.jat.2010.11.004>
hal-01101284
v1
Pré-publication, Document de travail
Huijuan Li
,
Robert Baier
,
Lars Grüne
,
Sigurdur Hafstein
,
Fabian Wirth
.
Computation of local ISS Lyapunov functions with low gains via linear programming
Submitted, 17 pages. 2015
hal-00712878
v1
Communication dans un congrès
Ilaria Xausa
,
Robert Baier
,
Matthias Gerdts
,
Mark Gonter
,
Christian Wegwerth
.
Avoidance trajectories for driver assistance systems via solvers for optimal control problems
20th International Symposium on Mathematical Theory of Networks and Systems
, 2012, Melbourne, Australia. 2012
inria-00637880
v1
Article dans une revue
Robert Baier
,
Matthias Gerdts
,
Ilaria Xausa
.
Approximation of Reachable Sets using Optimal Control Algorithms
Numerical Algebra, Control and Optimization
, AIMS, 2013, 3 (3), pp.519 - 548.
<10.3934/naco.2013.3.519>
hal-00916547
v1
Article dans une revue
Elza Farkhi
,
Tzanko Donchev
,
Robert Baier
.
Existence of Solutions for Nonconvex Differential Inclusions of Monotone Type
Comptes rendus de l'Académie bulgare des Sciences
, Bulgarian Academy of Sciences, 2014, 67 (3), pp.323-330
hal-00916823
v1
Communication dans un congrès
Robert Baier
.
Set-valued Euler's method with interpolated distance functions and optimal control solvers, extended abstract
20th International Symposium on Mathematical Theory of Networks and Systems
, 2012, Melbourne, Australia. MTNS, 4 p., 2012, Proceedings of the 20th International Symposium on Mathematical Theory of Networks and Systems (CD-ROM).
<http://www.mtns2012.conference.net.au/Extended%20Abstract/MTNS2012_0085_paper.pdf>
hal-01068706
v1
Communication dans un congrès
Huijuan Li
,
Robert Baier
,
Lars Grüne
,
Sigurđur Freyr Hafstein
,
Fabian Wirth
.
Computation of Local ISS Lyapunov Functions Via Linear Programming
MTNS 2014
, 2014, Groningen, Netherlands. 2014, Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems
hal-01024587
v1
Documents associés à des manifestations scientifiques -- Hal-inria+
Ilaria Xausa
,
Robert Baier
,
Olivier Bokanowski
,
Matthias Gerdts
,
Daniel Toepfer
.
Software for verification of collision avoidance algorithms via Optimal Control Techniques
NETCO 2014 - New Trends on Optimal Control
, Jun 2014, Tours, France
hal-01098270
v1
Communication dans un congrès
Robert Baier
,
Sigurđur Freyr Hafstein
.
Numerical Computation of Control Lyapunov Functions in the Sense of Generalized Gradients
MTNS 2014
, 2014, Groningen, Netherlands. pp.1173-1180, Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems.
<https://fwn06.housing.rug.nl/mtns2014/>
hal-01123490
v1
Pré-publication, Document de travail
Ilaria Xausa
,
Robert Baier
,
Olivier Bokanowski
,
Matthias Gerdts
.
COMPUTATION OF SAFETY REGIONS FOR DRIVER ASSISTANCE SYSTEMS BY USING A HAMILTON-JACOBI APPROACH
2014
hal-00724867
v1
Article dans une revue
Robert Baier
,
Qamar Din
,
Tzanko D. Donchev
.
Higher order Runge-Kutta methods for impulsive differential systems
Applied Mathematics and Computation
, Elsevier, 2012, 218 (24), pp.11790-11798.
<10.1016/j.amc.2012.05.037>
hal-00724862
v1
Article dans une revue
Robert Baier
,
Elza Farkhi
,
Vera Roshchina
.
The directed and Rubinov subdifferentials of quasidifferentiable functions, Part I: Definition and examples
Nonlinear Analysis: Theory, Methods and Applications
, Elsevier, 2012, 75 (3), pp.1074-1088.
<10.1016/j.na.2011.04.074>
hal-00724863
v1
Article dans une revue
Robert Baier
,
Elza Farkhi
,
Vera Roshchina
.
The directed and Rubinov subdifferentials of quasidifferentiable functions, Part II: Calculus
Nonlinear Analysis: Theory, Methods and Applications
, Elsevier, 2012, 75 (3), pp.1058-1073.
<10.1016/j.na.2011.04.073>
hal-00724864
v1
Article dans une revue
Robert Baier
,
Lars Grüne
,
Sigurđur Freyr Hafstein
.
Linear programming based Lyapunov function computation for differential inclusions
Discrete and Continuous Dynamical Systems - Series B
, American Institute of Mathematical Sciences, 2012, 17 (1), pp.33-56.
<10.3934/dcdsb.2012.17.33>
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 17 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.