Revenir à la liste complète des publications pour l'année en cours


Consultez nos publications en libre accès sur HAL.

De 1980 à 2018


274 publication(s) :

Articles

51 - 
Modelling the influence of activation-induced apoptosis of CD4+ and CD8+ T-cells on the immune system response of a HIV-infected patient
Guy-Bart Stan, F. Belmudes, R. Fonteneau, Marie-Anne Lefebvre, C. Michelet, Damien Ernst
IET Systems Biology, 2008, 2, pp. 94-102.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
52 - 
Interior-point based algorithms for the solution of optimal power flow problems
Florin Capitanescu, Damien Ernst, Mevludin Glavic, Louis Wehenkel
Electric Power Systems Research, 2007, pp.508-517.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
53 - 
Modélisation des systèmes physiques à commutations par approche énergétique. Application à un convertisseur DC-DC
Hervé Cormerais, Claire Valentin, Marius Zainea, Miguel Magos-Rivera, Jean Buisson
Journal Européen des Systèmes Automatisés (JESA), 2007, 41 (n°7-8), pp.775-818.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
54 - 
Model predictive control and reinforcement learning as two complementary frameworks
Damien Ernst, Mevludin Glavic, Florin Capitanescu, Louis Wehenkel
International Journal of Tomography and Statistics, 2007, 6, pp.122-128.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
55 - 
A tissue-level model of the left ventricle for the analysis of regional myocardial function.
Virginie Le Rolle, Alfredo I. Hernandez, Pierre-Yves Richard, Erwan Donal, Guy Carrault
A tissue-level model of the left ventricle for the analysis of regional myocardial function. Conference proceedings Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference, 2007, 1, pp.1172-1175.
DOI : https://doi.org/10.1109/IEMBS.2007.4352505
Pubmed : 18002171
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
56 - 
Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art
Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen, J. Zaytoon
Journal Européen des Systèmes Automatisés (JESA), 2007, 41 (n°7-8), pp.855-912.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
57 - 
Hybrid Abstraction of Affine Systems
Marie-Anne Lefebvre, Hervé Guéguen
Nonlinear Analysis: Theory, Methods and Applications, 2006, 65, pp.1150-1167.
DOI : https://doi.org/10.1016/j.na.2005.12.016
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
58 - 
A generic design methodology for sliding mode control of switched systems
Pierre-Yves Richard, Hervé Cormerais, Jean Buisson
Nonlinear Analysis: Theory, Methods and Applications, 2006, 65 (9), pp.1751-1772.
DOI : https://doi.org/10.1016/j.na.2005.10.048
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
59 - 
Model predictive control for hybrid systems under a state partition based MLD approach (SPMLD)
Jean Thomas, Didier Dumur, Jean Buisson, Hervé Guéguen
Informatics in Control, Automation and Robotics, 2006, pp.217-224.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
60 - 
On the Stabilisation of Switching Electrical Power Converters
Jean Buisson, Pierre-Yves Richard, Hervé Cormerais
Lecture Notes in Computer Science, 2005, 3414, pp.184-197.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
61 - 
A bond graph model of the cardiovascular system
Virginie Le Rolle, Alfredo Hernandez, Pierre-Yves Richard, Jean Buisson, Guy Carrault
Acta Biotheoretica, 2005, 53, pp.295-312.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
62 - 
Vérification des Systèmes Hybrides, état de l'art
Hervé Guéguen, J. Zaytoon
Journal Européen des Systèmes Automatisés (JESA), 2004, 38 (1-2), pp.145-175.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
63 - 
On the formal vérification of hybrid systems
Hervé Guéguen, J. Zaytoon
Control Engineering Practice, 2004, 12 (10), pp.1253-1267.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
64 - 
Genetic Algorithm Based Model Predictive Control for Hybrid Sytems Under a Modified MLD Form
Sorin Olaru, J. Thomas, Didier Dumur, Jean Buisson
International Journal of Hybrid Systems, 2004, 4 (1&2).
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
65 - 
Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499
Marius-Petru Stanica, Hervé Guéguen
e-STA Sciences et Technologies de l’Automatique, 2004, 1 (3).
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
66 - 
Analysis of the Bond Graph Model of Hybrid Physical Systems with Ideal Switches
Jean Buisson, Hervé Cormerais, Pierre-Yves Richard
Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, 2002, 216 (l1), pp.47-72.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
67 - 
Hybrid Approximation for Continuous Systems
Marie-Anne Lefebvre, Hervé Guéguen, Jean Buisson
Modelling of reactive systems, 2002, 36 (7), pp.959-971.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
68 - 
Using Trees to Build Non Singular Bond Graphs from Electric Circuit Graphs
Pierre-Yves Richard, Jean Buisson, Hervé Cormerais
Journal of The Franklin Institute, 2000.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability

Autres

69 - 
YALMIP: Optimization Made Easy!
Pierre Haessig
YALMIP: Optimization Made Easy!: and Modeling Languages/Layers for Optimization in general. 2017.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
70 - 
Stabilité du réseau de distribution électrique - Analyse du point de vue automatique d'un système complexe, Journée des doctorants de 2ème année L2S Stabilité du réseau de distribution électrique. Analyse du point de vue automatique de la stabilité d'un système complexe
Marjorie Cosson, Hervé Guéguen, Gilles Malarange, Didier Dumur, Vincent Gabrion, Cristina Stoica Maniu
Stabilité du réseau de distribution électrique - Analyse du point de vue automatique d'un système complexe, Journée des doctorants de 2ème année L2S. 2015.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
71 - 
Analyse du point de vue automatique de la stabilité d'un système complexe
Marjorie Cosson, Cristina Stoica Maniu, Didier Dumur, Hervé Guéguen, Gilles Malarange, Vincent Gabrion
2014.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
72 - 
On the stability study of local reactive power regulations with respect to the voltage
Marjorie Cosson, Cristina Stoica Maniu, Didier Dumur, Hervé Guéguen, Gilles Malarange, Vincent Gabrion
2014.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
73 - 
Insulin pump-rt advisor: a decision support software for diabetic patients treated by insulin pump and using continuous glucose monitoring
Isabelle Guilhem, Marie-Anne Lefebvre, Y. Assayag, E. Lam, Jean-Yves Poirier
2013.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
74 - 
Performance of the closed loop Error Dynamics Shapping face to disruption of food : In silico study a week
Isabelle Guilhem, Jean-Yves Poirier, Hervé Cormerais, Frédéric Bonnet, Pierre-Yves Richard
2011, pp.A35-A35.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
75 - 
Calculs d'atteignabilités pour les vérifications de sûreté des systèmes hybrides
Hervé Guéguen
2008.
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability


Exporter les données affichées en CSV Exporter les données affichées en RTF