Groupe Automatique et Communication. Equipe Automatique des Systèmes Hybrides

Transcription

1 Groupe Automatique et Communication Equipe Automatique des Systèmes Hybrides Thème 2 Vérification de sûreté et ingénierie système Publications ) Articles dans des revues avec comité de lecture - Internationales ACL06-AUT 1. LEFEBVRE M.-A., GUÉGUEN H., Hybrid Abstraction of Affine Systems Nonlinear Analysis: Theory, Methods, and Applications, ISSN: X, Vol. 65, Pp , DOI: /j.na , 15 septembre ACL09-AUT 1. GUÉGUEN H., LEFEBVRE M.-A., ZAYTOON J., NASRI O. Safety verification and reachability analysis for hybrid systems Annual Reviews in Control, ISSN: , Vol. 33, Num. 1, Pp , DOI: /j.arcontrol , avril ACL09-AUT 2. SADOU N., DEMMOU H. Reliability analysis of discrete event dynamic systems with Petri nets Reliability Engineering & System Safety, ISSN: , Vol. 94, Num.11, Pp , DOI: /j.ress , 1er novembre ACL09-AUT 3. SOMDA F., CORMERAIS H., BUISSON J. Intelligent Transportation Systems: A Safe, Robust, and Comfortable Strategy for Longitudinal Monitoring IET Intelligent Transport Systems, Vol. 3, Num. 2, Pp , 1er juin ACL08-AUT 1. SADOU N., DEMMOU H. Critical scenarios for dynamic system reliability. International Journal of Design and Innovation Research, Vol. 4, Num. 1, janvier Nationales ACLN07-AUT 1. NASRI O., LEFEBVRE M.-A., GUEGUEN H., ZAYTOON J. Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art JESA : Journal Européen des Systèmes Automatisés, Vol. 41, Num. 7-8, Pp , juillet-août Publications ASH Thème 2 UMR CNRS 6164 IETR 1

2 2) Conférences invitées INV09-AUT 1. GUÉGUEN H., ZAYTOON J. Abstraction of hybrid systems for verification Fourth international conference on control sciences, 12 pages, Moscou (Russie), 26 janvier ) Communications avec actes - internationales ACTI06-AUT 1. LIGERET C., GODOY E., GUEGUEN H., LORCET B., Analysis and savings of energy consumed by production cell control Dans Energy saving control in plants and buildings, International Federation of Automatic Control, Pp , Bansko (Bulgaria), 2-5 octobre ACTI06-AUT 2. NASRI O., LEFEBVRE M.-A., GUEGUEN H., Reachability computation for uncertain planar affine systems using linear abstractions Dans IFAC ADHS06 : Analysis and Design of Hybrid Systems, Elsevier (Ed.), Pp , Alghero (Sardaigne, Italie), 7-9 juin ACTI06-AUT 3. NASRI O., LEFEBVRE M.-A., GUEGUEN H., Abstraction Based Reachability Computation for Affine Systems with Bounded Input IEEE CDC Conference on Decision and Control, San-Diego (États-Unis d'amérique), ISBN: , Pp , /CDC , décembre ACTI08-AUT 1. GUEGUEN H., LEFEBVRE M.-A., NASRI O., ZAYTOON J. Safety Verification and reachability analysis for hybrid systems. 17th IFAC World Congress 2008, Pp , Séoul (République de Corée), juillet ACTI08-AUT 2. SOMDA F., CORMERAIS H., BUISSON J. A new safe and robust strategy for automotive cruise control 7th European Congress and Exhibition on Intelligent Transport Systems and Services (ITS 2008), 6 pages, Genève (Suisse), juin ACTI09-AUT 1. GUILLERM R., DEMMOU H., SADOU N. System engineering approach for safety management of complex systems ESM'2009, CDROM, Leicester (Royaume-Uni), octobre ACTI09-AUT 2. GUILLERM R., SADOU N., DEMMOU H. Discret and Hybrid Systems Dependability Analysis with ESA PetriNet 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse (France), 4 pages, mai ACTI09-AUT 3. SOMDA F., CORMERAIS H. Extraction de données visant à caractériser les situations de conduite pour l'amélioration de la sécurité ATEC/ITS France 2009, Versailles (France), CDROM, 7 pages, 4 février ACTI09-AUT 4. SOMDA F., CORMERAIS H. Excellent String Stability Property for a Safe Longitudinal Control ITS World Congress 2009, Stockholm (Suède), Paper ID Proceedings on CD-Rom, septembre ACTI09-AUT 5. SOMDA F., CORMERAIS H. Traffic Data Extraction for Road Safety Improvement Publications ASH Thème 2 UMR CNRS 6164 IETR 2

3 ITS World Congress 2009, Stockholm (Suède), Paper ID Proceedings on CD-Rom, septembre ACTI10-AUT 1. NASRI O., GUÉGUEN H., LEFEBVRE M.-A. Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties CIFA 2010 Conférence Internationale Francophone d'automatique, Nancy (France), 2-4 juin ACTI10-AUT 2. NASRI O., GUÉGUEN H., LEFEBVRE M.-A. Reachability Analysis for Nonlinear Systems by Guaranteed Piecewise Affine Approximation MED 2010 (MCCA : Mediterranean Conference on Control and Automation), Pp , 6 pages, Marrakech (Maroc), juin ACTI10-AUT 3. SADOU N., DEMMOU H., GUILLERM R. Safety Evaluation of complex system Integration in system engineering process 2010 IEEE International system conference Proceedings, ISBN: , Pp , San Diego (États-Unis), avril ACTI10-AUT 4. SADOU N., DEMMOU H., GUILLERM R. Engineering dependability requirements for complex systems A new information model definition 2010 IEEE International system conference Proceedings, ISBN: , Pp , San Diego (États-Unis), avril Personnel arrivé dans l UMR le 08/09/2008 (Romain BOURDAIS) ACTI07-AUT 1. BOURDAIS R., YIM P., PERRUQUETTI W. Time Petri Nets Based Switching Sequences of Hybrid Systems International Modeling and Simulation Multiconference, Buenos Aires (Argentine), février ACTI06-AUT 4. SADOU N., DEMMOU H. Hybrid simulation for critical scenarios derivation. European Simulation and Modelling Conference (ESM 2006), ISBN: , Pages: , Toulouse (France), octobre ACTI06-AUT 5. SADOU N., DEMMOU H. Minimality of critical scenarios in Petri net models IEEE International Conference on Systems, Man and Cybernetics, ISBN: , Vol. 1-6, Pp , Taipei (Taiwan), octobre ACTI06-AUT 6. SADOU N., DEMMOU H., PASCAL J.C., VALETTE R. Continuous dynamic abstraction for reliability and safety analysis of hybrid systems 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 6 p., Beijing (Chine), 29 août - 1 septembre ACTI07-AUT 2. DEMMOU H., MESSAADIA M., SADOU N., SAHRAOUI A.E.K. Intégration de la sûreté de fonctionnement dans les processus d'ingénierie Système 7ème Congres International de Génie Industriel, 11 p., Trois Rivières (Canada), 5-8 juin ACTI07-AUT 3. SADOU N. Multi-model approach for dependability analysis of hybrid system 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Pp , Edimbourg (Royaume-Uni), juin ACTI08-AUT 3. SADOU N., DEMMOU H. Pertinent scenarios in temporal Petri nets for critical system analysis The 17th IFAC World Congress, Séoul, Publications ASH Thème 2 UMR CNRS 6164 IETR 3

4 - nationales ACTN09-AUT 1. GUILLERM R., DEMMOU H., SADOU N. ESA PetriNet version Hybride : Outil d'analyse de Fiabilité des Systèmes Hybrides Evaluation des performances et maîtrise des risques technologiques pour les systèmes industriels et énergétiques, Le Havre (France), mai ACTN06-AUT 1. SADOU N., TAMZALIT D., OUSSALAH M. La problématique de l'évolution dans les architectures logicielles Deuxième journée sur l'ingénierie dirigée par les modèles (IDM'06), Lille (France), juin ) Ouvrages scientifiques OS09-AUT 1. KOWALEWSKI S., GARAVELLO M., GUÉGUEN H., HERBERICH G., LANGERAK R., PICCOLI B., POLDERMAN M., WEISE C. Hybrid Automata Dans Handbook of hybrid systems control: theory, tools, applications, J. Lunze and F. Lamnabhi- Lagarrigue (Ed.), ISBN : , Pp , octobre ) Autres publications AP06-AUT 1. GUÉGUEN H. Reachability computation for safety analysis: an approach based on linear inclusion abstraction Seminar of ECE school, Georgia Tech, Atlanta (USA), décembre AP08-AUT 1. GUÉGUEN H. Calculs d atteignabilités pour les verifications de sûreté des systèmes hybrides Ecole Francophone d'automatique de l'université "Politechnica" de Bucarest, Bucarest (Roumanie), 27 mai ) Valorisation : contrats de recherche, partenariat individuel, création d entreprise, brevets BRE08-AUT 1. MEFTHA T., BOUTIN V., GUÉGUEN H. Procédé de commande d'un système d'automatisme Déposé par Schneider Electric SAS, brevet français n , le 14 novembre 2006 et brevet européen n , le 21 mai ) Thèses THE07-AUT 1. MEFTAH T., Spécification et structuration de la commande des machines. Une méthodologie intégrant l aide à la reprise après incidents Supélec, 17 juillet Publications ASH Thème 2 UMR CNRS 6164 IETR 4

5 THE07-AUT 2. NASRI O. Vérification de la sûreté des systèmes hybrides : calcul d atteignabilité par abstractions linéaires Supélec, 18 décembre THE09-AUT 1. SOMDA F.H. Développement de stratégies de commande et de perception pour une régulation de vitesse intelligente Supelec, le 26 novembre Publications ASH Thème 2 UMR CNRS 6164 IETR 5