|
|
|
 |
2009 |
|
|
Guéguen H., Lefebvre M.-A., Zaytoon
J., Nasri O., (2009) «Safety verification
and reachability analysis for hybrid systems»,
Annual Reviews in Control, 33 1 25-36
- Le Rolle V., Carrault G., Richard P.-Y.,
Pibarot P., Durand L.-G., Hernández A.,
(2009) «A Tissue-Level Electromechanical
Model of the Left Ventricle: Application to
the Analysis of Intraventricular Pressure.»,
Acta Biotheoretica, 57 457–478
- Sadou N., Demmou H., (2009) «Reliability
analysis of discrete event dynamic systems
with Petri nets», Reliability Engineering &
System Safety, Vol.94 11 pp. 1848-1861
- Somda F., Cormerais H., Buisson J.,
(2009) «Intelligent Transportation Systems:
A Safe, Robust, and Comfortable Strategy for
Longitudinal Monitoring», IET Intelligent
Transport Systems, Vol. 3 Issue 2 pp.
188-197
- Guéguen H., Zaytoon J., (2009)
«Abstraction of hybrid systems for
verification», Fourth international
conference on control sciences Moscou Russie
-
Ali M., Buisson J., Sabry W., (2009) «PSS
tuning to extinguish the spatial propagation
of electromechanical disturbance in power
system», NAPS 2009 Proceedings, NC NAPS 2009
Starkville, Mississippi États-Unis
- Guillerm R., Demmou H., Sadou N., (2009)
«ESA PetriNet version Hybride : Outil
d'Analyse de Fiabilité des Systèmes
Hybrides», Actes de : Evaluation des
performances et maîtrise des risques
technologiques pour les systèmes industriels
et énergétiques, NC Evaluation des
performances et maîtrise des risques
technologiques pour les systèmes industriels
et énergétiques Le Havre France
- Guillerm R., Demmou H., Sadou N., (2009)
«System engineering approach for safety
management of complex systems», Proceedings
of ESM'2009, CD Rom Proceedings ESM'2009
Leicester Royaume-Uni
- Guillerm R., Sadou N., Demmou H., (2009)
«Discrete and Hybrid Systems Dependability
Analysis with ESA PetriNet», Proceedings of
the 12th European Workshop on Dependable
Computing, EWDC 2009, 4 pages 12th European
Workshop on Dependable Computing, EWDC 2009
Toulouse France
- Lehouche H., Guéguen H., Mendil B.,
(2009) «Supervisory control based on
closed-loop adaptive control approach of
nonlinear continuous stirred tank reactor
process (NCSTRP)», Proceedings of 10th
European Control Conference, ECC'09, CD-Rom
10th European Control Conference, ECC'09
Budapest Hongrie
- Mangonneaux F., Guéguen H., Richard
P.-Y., Nouillant C., (2009) «Comparaison
d'algorithmes de détection assurant la
sécurité de l'utilisateur, lors du
déplacement d'un ouvrant piloté
automobile.», Actes des Journées Doctorales
MACS, 6 pages (CD Rom) Journées Doctorales
MACS Angers France
- Morosan D.-P., Bourdais R., Guéguen H.,
(2009) «Apports de la commande prédictive
pour la régulation thermique des bâtiments»,
Actes STIC et Environnement 2009, NC STIC et
Environnement 2009 Calais France
- Patino D., Bâja M., Riedinger P.,
Cormerais H., Buisson J., (2009) «Hybrid
control methods for a Single Ended Primary
Inductor Converter (SEPIC)», 10th European
Control Conference, ECC'09, CDROM 10th
European Control Conference, ECC'09 Budapest
Hongrie
- Sadou N., Demmou H., Guillerm R.,
Alloula K., (2009) «Hybrid Approach for
Deriving Feared Scenarios in Industrial
Systems», 7th IFAC Symposium on Fault
Detection, Supervision and Safety of
Technical Processes Proceedings, CDRom 7th
IFAC Symposium on Fault Detection,
Supervision and Safety of Technical
Processes Barcelone Espagne
- Somda F., Cormerais H., (2009)
«Excellent String Stability Property for a
Safe Longitudinal Control», Proceedings of
ITS World Congress 2009, Paper ID 3661 -
Proceedings on CD-Rom ITS World Congress
2009 Stockholm Suède
- Somda F., Cormerais H., (2009) «Traffic
Data Extraction for Road Safety Improvement»,
Proceedings of ITS World Congress 2009,
Paper ID 3673 - Proceedings on CD-Rom ITS
World Congress 2009 Stockholm Suède
- Somda F., Cormerais H., (2009)
«Extraction de données visant à caractériser
les situations de conduite pour
l'amélioration de la sécurité», Proceedings
of ATEC/ITS France 2009, Proceedings on
CD-ROM - 7 pages ATEC/ITS France 2009
Versailles France
- Thomas J., Olaru S., Buisson J., Dumur
D., (2009) «Attainability and Set Analysis
for Uncertain PWA Systems with Parameter
Variations and Bounded Disturbance»,
Proceeding of 21st Chinese Control and
Decision Conference, 4238-4244 21st Chinese
Control and Decision Conference Guilin Chine
-
Cormerais H., Richard P.-Y., Lefebvre M.-A.,
Guilhem I., Poirier J.-Y., Bonnet F., (2009)
«Passivity based control of blood glucose:
an alternative closed-loop strategy for the
treatment of type 1 diabetes», 2nd
international conference on Advanced
Technologies and Treatments for Diabetes
Athènes Grèce
- Kowalewski S., Garavello
M., Guéguen H., Herberich G., Langerak R.,
Piccoli B., Polderman M., Weise C., (2009) «Hybrid
Automata», Handbook of hybrid systems
control : theory, tools, applications, 57-85
- Zainea M., Guéguen H., Buisson J.,
(2009) «Un modèle formel pour les
interrupteurs en électronique de puissance»,
Automatique avancée et informatique
appliquée, pp. 235-239
|
|
|
2008 |
| |
- Richard P.-Y., Morarescu M., Buisson J., (2008)
Bond Graph modelling of hard nonlinearities in mechanics: A hybrid approach, Nonlinear Analysis Hybrid Systems, 922-951
- Stan G.-B., Belmudes F., Fonteneau R., Lefebvre M.-A., Michelet C., Ernst D., (2008)
Modelling the influence of activation-induced apoptosis of CD4+ and CD8+ T-cells on the immune system response of a HIV-infected patient,
IET Systems Biology, 2 pp. 94-102
- Bâja M., Cormerais H., Buisson J., (2008)
Modeling and Hybrid Control of a Four-Level Three-Cell DC-DC Converter,
CD-ROM Proceedings “IECON 08” (The 34th Annual Conference of the IEEE Industrial Electronics Society) États-Unis d’Amérique
- Ali M., Glavic M., Buisson J., Wehenkel L., Ernst D., (2008)
Analyzing transient instability phenomena beyond the classical stability boundary,
6 pages NAPS 2008 Canada
- Corona D., Buisson J., De Schutter B., (2008)
A hamiltonian approach for the optimal control of the switching signal for a DC-DC converter.,
7654-7659 (6 pages) 17th IFAC World Congress 2008 Corée, République de
-
Guéguen H., Lefebvre M.-A., Nasri O.,
Zaytoon J., (2008) Safety Verification and
reachability analysis for hybrid systems.,
8949-8959 (11 pages) 17th IFAC World
Congress 2008 Corée, République de
-
Richard P.-Y., Morarescu M., Buisson J., (2008)
Approche bond graph hybride pour la modélisation de non
linéarités dures en mécanique.», CD Rom 7
pages Conférence Internationale Francophone
d’Automatique (CIFA 2008) Roumanie
-
Somda F., Cormerais H., Buisson J., (2008)
A new safe and robust strategy for automotive cruise
control., 6 pages 7th European Congress and
Exhibition on Intelligent Transport Systems
and Services (ITS 2008) Suisse
-
Thomas J., Dumur D., Olaru S., Buisson J.,
(2008) Reachability and Robust Control of
PWA Systems with Parameter Variations and
Bounded Disturbance, 10190-10195 17th IFAC
World Congress 2008 Corée, République de
-
Zainea M., Guéguen H., Buisson J., (2008) Un modèle formel pour les
interrupteurs en électronique de
puissance., CD Rom 6 pages Conférence
Internationale Francophone d’Automatique
(CIFA 2008) Roumanie
-
Richard P.-Y., (2008) Approches fondées sur des
modèles énergétiques pour l’analyse formelle
et la commande des systèmes non linéaires
hybrides», (2008-03-10)HDR Université Rennes 1
-
Nouillant C., Mangonneaux F., Etienne F.,
Guéguen H., Richard P.-Y., (2008) Système de
contrôle commande d’ouvrant de véhicule, brevet 853443
|
|
|
2007 |
| |
- Bâja, M., H. Cormerais, et al. (2007).
Stabilizing control with commuttation frequency
limitations for a step up converter. IFAC 2007 -
Management and Control of Production and
Logistics, Sibiu - Roumanie.
- Bâja, M., D. Patino, et al. (2007). Hybrid
control of a three-level three-cell dc-dc
converter. 2007 American Control Conference.
- Beccuti, A. G., G. Papafotiou, et al. (2007).
Hybrid Control Techniques Applied to the Step-up
DC-DC Converter. 2007 American Control
Conference, New-York (USA).
- Beck, L. V., R. Cherkaoui, et al. (2007). Nash
equilibrium as the minimum of a function.
Application to electricity markets with large
number of actors. 7th IEEE Power Engineering
Society (PowerTech 2007), Lausanne, Switzerland.
- Busoniu, L., D. Ernst, et al. (2007).
Continuous-state reinforcement learning with
fuzzy approximation. Adaptive Learning Agents
and Multi-Agent Systems (ALAMAS-07) Symposium,
Maastricht, The Netherlands.
- Busoniu, L., D. Ernst, et al. (2007). Fuzzy
approximation for convergent model-based
reinforcement learning. 2007 IEEE International
Conference on Fuzzy Systems (FUZZ-IEEE-07),
London, UK.
- Capitanescu, F., M. Glavic, et al. (2007). "Interior-point
based algorithms for the solution of optimal
power flow problems." Electric Power Systems
Research 77(5-6): 508-517.
- Cormerais, H. (2007). Modélisation, analyse et
commande des systèmes physiques à commutations
basées sur une approche énergétique. IETR -
SUPELEC. Rennes, Université de Rennes 1.
- Cormerais, H., C. Valentin, et al. (2007).
"Modélisation des systèmes physiques à
commutations par approche énergétique.
Application à un convertisseur DC-DC." Journal
Européen des Systèmes Automatisés - JESA 41:
775-818.
- Corona, D., J. Buisson, et al. (2007). Switched
system optimal control: An application to
buck-boost converter. 2007 American Control
Conference.
- Ernst, D., M. Glavic, et al. (2007). "Model
predictive control and reinforcement learning as
two complementary frameworks." International
Journal of Tomography and Statistics 6: 122-128.
- Ernst, D., M. Glavic, et al. (2007). The
cross-entropy method for power system
combinatorial optimization problems. 7th IEEE
Power Engineering Society (PowerTech 2007),
Lausanne, Switzerland.
- Glavic, M., D. Ernst, et al. (2007). E-SIME- A
method for transient stability closed-loop
emergency control: achievements and prospects.
Bulk Power Systems Dynamics and Control - VII,
Charlestone, S. Carolina, USA.
- Meftah, T. (2007). Spécification et
structuration de la commande des machines : une
méthodologie intégrant l'aide à la reprise après
incidents. IETR - SUPELEC. Rennes, Université de
Rennes 1: 162.
|
|
|
2006 |
| |
- Buisson, J. (2006). l'approche bond
graph pour la modélisation et la commande
des systèmes physiques en commutation. Ecole
Francophone d'Automatique de l'Université
Politecthnique de Bucarest, Bucarest
(Roumanie).
- Ernst, D., G.-B. Stan, et al. (2006).
Clinical Data Based Optimal STI Strategies
for HIV: A Reinforcement Learning Approach.
CDC Conference on Decision and Control, San
Diego USA.
- Le Rolle, V. (2006). Modélisation
Multiformalisme du Système Cardiovasculaire
associant Bond Graph, Equations
Différentielles et Modèles Discrets.
IETR-Supelec
LTSI. Rennes, Univ Rennes 1.
- Le Rolle, V., P.-Y. Richard, et al.
(2006). A Model of the ventricular activity
using bond graphs. IFAC MCBMS'06: IFAC
Symposium on Modelling and Control in
Biomedical Systems, Reims (France).
- Lefebvre, M.-A. and H. Guéguen (2006). "Hybrid
Abstraction of Affine Systems." Nonlinear
Analysis 65(6): 1150-1167.
- Leirens, S. and J. Buisson (2006).
commande prédictive des systèmes PWA avec
entrées mixtes. CIFA 2006 : Conférence
Internationale Francophone d'Automatique,
Bordeaux.
- Leirens, S. and J. Buisson (2006). An
efficient algorithm for predictive control
of piecewise affine systems with mixed
inputs. ADHS06: 2nd IFAC Conference on
Analysis and Design of Hybrid Systems,
Alghero (Italy), Elsevier.
- Leirens, S. and J. Buisson (2006). La
commande prédictive des systèmes hybrides.
La commande prédictive : avancées et
perspectives. P. Boucher and D. Dumur.
Paris, Hermès Science Publications: 119-154.
- Ligeret, C., E. Godoy, et al. (2006).
Analysis and savings of energy consumed by
production cell control. Energy saving
control in plants and buildings, Bansko
Bulgaria.
- Nasri, O., M.-A. Lefebvre, et al.
(2006). Abstraction Based Reachability
Computation for Affine Systems with Bounded
Input. CDC Conference on Decision and
Control, San Diego USA.
- Nasri, O., M.-A. Lefebvre, et al.
(2006). Reachability computation for
uncertain planar affine systems using linear
abstractions. ADHS06: 2nd IFAC Conference on
Analysis and Design of Hybrid Systems,
Alghero (Italy), Elsevier.
- Richard, P.-Y., H. Cormerais, et al.
(2006). "A generic design methodology for
sliding mode control of switched systems."
Nonlinear Analysis 65(9): 1751-1772.
- Thomas, J., S. Olaru, et al. (2006).
Robust model predictive control for
piecewise affine systems subject to bounded
disturbances. ADHS06: 2nd IFAC Conference on
Analysis and Design of Hybrid Systems,
Alghero (Italy), Elsevier.
- Zainea, M., E. Godoy, et al. (2006). The
Open-loop Control for the Start-up of a
Double Resonance Converter Using a Hybrid
Systems Approach. IEEE CCA06: Conference on
Control Application, Munich (Germany).
|
|
|
2005 |
| |
- Buisson, J. (2005). Application des
Systèmes Dynamiques Hybrides au domaine de
l'énergie électrique. Ecole de Printemps en
Automtique, Ecole Polytechnique de Tunisie :
Les SDH, Modélisation, Analyse, Commande et
Applications Industrielles, La Marsa
Tunisie.
- Buisson, J., P.-Y. Richard, et al.
(2005). On the Stabilisation of Switching
Electrical Power Converters. HSCC2005,
Zürich (Switzerland), Springer-Verlag.
- Cormerais, H., P.-Y. Richard, et al.
(2005). A Generic Passivity Based Control
for Multicellular Serial Converters. 16th
IFAC World Congress, Prague (Czech Republic).
- Le Rolle, V., J. Buisson, et al. (2005).
Modélisation Bond graph du système
cardio-vasculaire. JDMACS2005, Lyon.
- Le Rolle, V., A. Hernandez, et al.
(2005). "A bond graph model of the
cardiovascular system." Acta Biotheoretica
53: 295-312.
- Le Rolle, V., A. Hernandez, et al.
(2005). Modélisation du Système
Cardiovasculaire à Base de Bond Graph. FRGBM,
Nancy.
- Le Rolle, V., P.-Y. Richard, et al.
(2005). A Model of the cardiovascular system
using bond graphs. 16th IFAC World Congress,
Prague (Czech Republic).
- Lefebvre, M.-A. and H. Guéguen (2005).
Hybrid Abstraction of Affine Systems. 16th
IFAC World Congress, Prague (Czech Republic).
- Leirens, S., J. Buisson, et al. (2005).
An Efficient Algorithm for Solving Model
Predictive Control of Switched Affine
Systems. 17th IMACS world Congress, Paris
(France).
- Leirens, S., J. Buisson, et al. (2005).
A hybrid approach for voltage stability of
power systems. 15th Power Systems
Computation Conference, Liège (Belgique).
- Meftah, T., H. Guéguen, et al. (2005).
Constraint specification of the control
logic of automated manufacturing systems.
ETFA 2005 : 10th IEEE International
Conference on Emerging Technologies and
Factory Automation, Catania (Italy), IEEE.
- Meftah, T., H. Guéguen, et al. (2005).
Spécification par contraintes de la commande
des systèmes automatisés. JDMACS 2005, Lyon.
- Nasri, O., M.-A. Lefebvre, et al.
(2005). Hybridization based reachability of
uncertain planar affine systems. ETFA 2005 :
10th IEEE International Conference on
Emerging Technologies and Factory
Automation, Catania (Italy), IEEE.
- Richard, P.-Y., H. Cormerais, et al.
(2005). Boolean Sliding Mode Control of
Multilevel Power Converters. 16th IFAC World
Congress, Prague (Czech Republic).
- Stanica, M. (2005). Modélisation
comportementale des composants et des
applications de contrôle-commande IEC 61499.
Supélec-IETR. Rennes, Université de Rennes
1.
- Thomas, J., D. Dumur, et al. (2005).
Steam Generator Water Level Control : A
Hybrid System Approach. 16th IFAC World
Congress, Prague (Czech Republic).
- Thomas, J., S. Olaru, et al. (2005).
Genetic Algorithm – Quadratic based
predictive control for MLD systems. 15th
international Conference on control Systems
and Computer Science, Bucarest.
- Zainea, M., J. Buisson, et al. (2005).
Automatic Simulink Model Building for
Physical Switching Systems. 17th IMACS World
Congress Scientific Computation, Applied
Mathematics and Simulation, Paris (France).
- Zainea, M., H. Cormerais, et al. (2005).
Analyse des commutations dans un système
avec des interrupteurs de l'électronique de
puissance par une approche automate hybride.
JDMACS 2005, Lyon.
- Zainea, M., E. Godoy, et al. (2005). A
double resonance generator simulation using
a hybrid approach. 11th European Conference
on Power Electronics and Applications,
Dresden (Germany).
|
|
|
2004 |
| |
- Buisson, J., H. Cormerais, et al.
(2004). A formal approach to compute hybrid
automata models for linear physical systems
with ideal switches. 2004 IEEE CACSD, Taipei
(Taiwan), IEEE.
- Cormerais, H., P.-Y. Richard, et al.
(2004). Notion of commutation cells for the
modelling of hybrid systems using ideal
switch representation. IMAACA 2004, Gène
(Italie).
- Guéguen, H. and J. Zaytoon (2004).
Abstractions événementielles et
approximations pour la vérification des
systèmes dynamiques hybrides. CIFA04 :
Conférence Internationale Francophone
d'Automatique, Douz (Tunisie).
- Guéguen, H. and J. Zaytoon (2004). les
Systèmes Dynamiques Hybrides : un cadre
formel privilégié pour la
pluridisciplinarité. Journées Automatique et
Informatique 2004, ENS Cachan.
- Guéguen, H. and J. Zaytoon (2004). "On
the formal verification of hybrid systems."
Control Engineering Practice 12(10):
1253-1267.
- Guéguen, H. and J. Zaytoon (2004). Sur
le calcul de l'espace atteignable des
systèmes dynamiques hybrides. CIFA04 :
Conference Internationale Francophone
d'Automatique, Douz (Tunisie).
- Guéguen, H. and J. Zaytoon (2004).
"Vérification des systèmes hybrides."
Journal Européen des Systèmes Automatisés -
JESA 38(1-2): 145-176.
- Lefebvre, M.-A. (2004). Abstractions
pour la vérification de sûreté des systèmes
hybrides. IETR-Supelec. Rennes, Univ Rennes
1.
- Morvan, C. (2004). analyse et commande
des systèmes physiques à commutations en
electronique de puissance. Supélec - IETR.
Rennes, Univ. Rennes 1.
- Morvan, C., H. Cormerais, et al. (2004).
Extending passivity based control to DAE
systems with boolean inputs. IFAC NOLCOS
2004, Stuttgart (Allemagne).
- Morvan, C., P.-Y. Richard, et al.
(2004). Sliding mode control of switching
systems with boolean inputs. IFAC NOLCOS
2004, Stuttgart (Allemagne).
- Olaru, S., J. Thomas, et al. (2004).
Algorithmes Génétiques pour la commande
prédictive de systèmes hybrides sous forme
MLD. CIFA04 :Conférence Internationale
Francophone d'Automatique, Douz (Tunisie).
- Olaru, S., J. Thomas, et al. (2004). "Genetic
Algorithm Based Model Predictive Control for
Hybrid Systems Under a Modified MLD Form."
International Journal on Hybrid Systems
4(1-2).
- Richard, P.-Y., C. Morvan, et al.
(2004). Continuous versus discrete
approaches in sliding mode control of
switching systems with boolean Inputs
modeled in bond graph. IMAACA 2004, Gène
(Italie).
- Stanica, M. and H. Guéguen (2004). Using
timed automata for the verification of IEC
61499 applications. IFAC WODES04: Workshop
on discrete event systems, Reims (France),
Elsevier.
- Stanica, M. and H. Guéguen (2004).
"Utilisation des automates temporisés pour
la vérification des applications autour de
l'IEC 61499." e-STA volume 1.
- Thomas, J. (2004). Commande Prédictive.
Supélec, Paris XI.
- Thomas, J., D. Dumur, et al. (2004).
Predictive control of hybrid systems under a
Multi-MLD formalism with state space
polyhedral partition. ACC04 : American
Control Conference, Boston (USA).
- Thomas, J., D. Dumur, et al. (2004).
Model predictive control for hybrid systems
under a state partition based MLD approach (SPMLD).
ICINCO, Setubal (Portugal).
- Zaytoon, J. and H. Guéguen (2004).
Analysis of hybrid systems: state of the
art. IFAC INCOM04: symposium on Information
Control Problems in Manufacturing, Salvador
(Brazil), Elsevier.
|
|
|
2003 |
| |
- Altet, O., C. Nouillant, et al. (2003).
Stability of the hydractive CRONE
suspension. IFAC ADHS03 : Analysis and
Design of Hybrid Systems, Saint-Malo
(France), Elsevier.
- Guéguen, H. (2003). Problématique et
enjeux de l'approche des SDH par les calculs
d'atteignabilité. JNA 2003 : Journées
Nationales d'Automatique, Valencienne
(France).
- Leirens, S. and J. Pierquin (2003).
Modeling and control of an aluminium strip
unwinder-rewinder. ECC03 : European Control
Conference, Cambridge (UK).
- Morvan, C., H. Cormerais, et al. (2003).
Bond graph formalism and linear
complementarity problem for hybrid systems
with ideal diodes. IFAC ADHS03 : Analysis
and Design of Hybrid Systems, Saint-Malo
(France), Elsevier.
- Morvan, C., H. Cormerais, et al. (2003).
Deriving asymptotic stability of linear
switching physical systems from analysis of
bond-graph observability. CESA 2003, Lille
(France).
- Olaru, S., J. Thomas, et al. (2003).
Évolution du formalisme MLD en vue d'une
optimisation discrète des systèmes hybrides.
JDA03 : Journées Doctorales d'Automatique,
Valencienne (France).
- Richard, P.-Y., C. Morvan, et al.
(2003). Sliding mode control of hybrid
systems modeled using bond graph with ideal
switches. ICGBM2003, Orlando (USA).
- Stanica, M. and H. Guéguen (2003). A
Timed Automata Model of IEC 61499 Basic
Function Blocks Semantic. EUROMICRO, Porto
(Portugal).
- Thomas, J., J. Buisson, et al. (2003).
Predictive control of hybrid systems under a
multi-MLD formalism. IFAC ADHS03: Conference
an Analysis and Design of Hybrid Systems,
Saint-Malo (France), Elsevier.
- Thomas, J., D. Dumur, et al. (2003).
Moving horizon state estimation of hybrid
systems. Application to fault detection of
sensors of a steam generator. IEEE CCA03,
Istanbul (Turkey).
|
| |
|
|
|
|
|
| |
| |
|
