Consultez nos publications en libre accès sur HAL.
De 1980 à 2017
259 publication(s) :
Articles
- 51 -
-
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.
-
- 52 -
-
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.
-
-
- 53 -
-
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.
-
-
- 54 -
-
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.
-
-
- 55 -
-
On the formal vérification of hybrid systems
- Hervé Guéguen, J. Zaytoon
- Control Engineering Practice, 2004, 12 (10), pp.1253-1267.
-
-
- 56 -
-
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).
-
-
- 57 -
-
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).
-
-
- 58 -
-
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.
-
-
- 59 -
-
Hybrid Approximation for Continuous Systems
- Marie-Anne Lefebvre, Hervé Guéguen, Jean Buisson
- Modelling of reactive systems, 2002, 36 (7), pp.959-971.
-
-
- 60 -
-
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.
-
-
Autres
- 61 -
-
YALMIP: Optimization Made Easy!
- Pierre Haessig
- YALMIP: Optimization Made Easy!: and Modeling Languages/Layers for Optimization in general. 2017.
-
-
- 62 -
-
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.
-
-
- 63 -
-
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.
-
-
- 64 -
-
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.
-
-
- 65 -
-
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.
-
-
- 66 -
-
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.
-
-
- 67 -
-
Calculs d'atteignabilités pour les vérifications de sûreté des systèmes hybrides
- Hervé Guéguen
- 2008.
-
-
- 68 -
-
Systèmes dynamiques hybrides
- Jamal Daafouz, Hervé Guéguen
- 2007.
-
-
- 69 -
-
L'approche bond graph pour la modélisation et la commande des systèmes physiques en commutation
- Jean Buisson
- 2006.
-
-
- 70 -
-
Reachability computation for safety analysis: an approach based on linear inclusion abstraction
- Hervé Guéguen
- 2006.
-
-
Brevet
- 71 -
-
Procédé et dispositif de commande d'au moins un dispositif d'occultation d'au moins une ouverture d'une pièce d'un bâtiment
- Khang Le, Romain Bourdais, Hervé Guéguen, Jacques Plévin
- N° de brevet: FRA 1256500 FR 06.07.12. 2013.
-
-
- 72 -
-
Procédé et dispositif de commande d'au moins un dispositif d'occultation d'au moins une ouverture d'une pièce d'un bâtiment
- Khang Le, Romain Bourdais, Hervé Guéguen, Jacques Plévin
- N° de brevet: FRA 1256499 FR 06.07.12. 2013.
-
-
- 73 -
-
Système de régulation du glucose sanguin d'un sujet vivant diabétique et produit programme d'ordinateur correspondant
- Hervé Cormerais, Pierre-Yves Richard, Isabelle Guilhem, Jean-Yves Poirier, Marie-Anne Lefebvre
- N° de brevet: 0951146. 2009.
-
-
- 74 -
-
Procédé de pilotage d'un ouvrant de véhicule automobile
- Frédéric Mangonneaux, Cédric Nouillant, Hervé Guéguen, Pierre-Yves Richard
- France, N° de brevet: 40051/LA. 2009, 20 p. + 3 figures.
-
-
- 75 -
-
PROCEDE DE PILOTAGE D'UN OUVRANT DE VEHICULE AUTOMOBILE
- Frédéric Mangonneaux, Cédric Nouillant, Hervé Guéguen, Pierre-Yves Richard
- Italie, N° de brevet: 0954185. 2009.
-
-