1. Recherche
19 résultats  enregistrer la recherche
...
hal-01145738v1  Communication dans un congrès
Pascale Marangé, Alexandre Philippot, Jean-Francois Pétin, François Gellot. Diagnosability evaluation by model-checking
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. 48 (21), pp.308-313, 2015, IFAC-PapersOnLine, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS 2015. <10.1016/j.ifacol.2015.09.545>
...
hal-01226195v1  Poster
Pascale Marangé, Alexis Aubry, Jean-François Pétin. Ordonnancement d'ateliers à partir de patrons de modélisation basés sur des automates communicants
Stephan Merz and Jean-François Pétin. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. 2015
...
hal-01061929v2  Communication dans un congrès
Fabien Bouffaron, Pascale Marangé, Gérard Morel. Checking models based on an iterative co-specification process of a critical system
12th International Conference on Indusrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil. 2014
...
hal-01402481v1  Communication dans un congrès
Laëtitia Diez, Pascale Marangé, Éric Levrat. Maintenance best way for meeting the challenge of regeneration
3rd IFAC Workshop on Advanced Maintenance Engineering, Service and Technology, AMEST'16, Oct 2016, Biarritz, France
hal-01313344v1  Communication dans un congrès
Mohand Lounes Bentaha, Olga Battaïa, Alexandre Dolgui, Pascale Marangé, Alexandre Voisin. Prise en compte des incertitudes pour une conception efficace d'une ligne de désassemblage
17e Congrès de la société française de recherche opérationnelle et aide à la décision, ROADEF’2016, Feb 2016, Compiègne, France. <http://roadef2016.utc.fr/>
...
hal-00702417v3  Communication dans un congrès
Fabien Bouffaron, Pascale Marangé, Gérard Morel. Checking models based on an iterative co-specification process of a critical system
International Conference on Industrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil. 2014
...
hal-01087888v1  Communication dans un congrès
Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Prise en compte de l'état réel d'un système complexe pour l'aide à la décision de séquences de conduite
10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France
...
hal-01087867v1  Communication dans un congrès
Gérard Morel, Fabien Bouffaron, Olivier Nartz, Frédérique Mayer, Pascale Marangé et al.  Vers un apprentissage itératif à l'ingénierie système basée sur des modèles
10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France. 2014
hal-01132733v1  Communication dans un congrès
Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Health checkup indicators-based safety criteria for operating sequences ranking of critical systems.
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. 48 (21), pp.808-813, 2015, IFAC-PapersOnLine, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS 2015. <10.1016/j.ifacol.2015.09.626>
...
hal-01236850v1  Communication dans un congrès
Laëtitia Diez, Pascale Marangé, Frédérique Mayer, Eric Levrat. Maintenance as a cornerstone for the application of regeneration paradigm in systems lifecycle
Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Nov 2015, Paris, France. pp.185-197, 2015, <10.1007/978-3-319-26109-6_14>
...
hal-01149786v1  Communication dans un congrès
Mohammed-Farouk Bouaziz, Pascale Marangé, Alexandre Voisin, Jean-François Pétin. Utilisation de critères sécuritaires pour le choix de séquences de conduite de systèmes critiques
11ème Congrès International Pluridisciplinaire en Qualité, Sûreté de Fonctionnement et Développement Durable, QUALITA 2015, Mar 2015, Nancy, France
hal-01366363v1  Chapitre d'ouvrage
David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Pascale Marangé et al.  Conduire à l'objectif
L'avenir se construit aujourd'hui, 2016
...
hal-00870135v1  Article dans une revue
Alexandre Philippot, Pascale Marangé, François Gellot, Bernard Riera. Decentralized diagnosis and diagnosability by model checking
Universal Journal of Control and Automation, 2013, 1 (2), pp.28-33. <10.13189/ujca.2013.010202>
...
hal-01431221v1  Communication dans un congrès
Pascale Marangé, Alexis Aubry, Jean-François Pétin. Ordonnancement d'ateliers à partir de patrons de modélisation basés sur des automates communicants
11th International Conference on Modeling, Optimization and Simulation, Aug 2016, Montréal, Canada. 2016
...
hal-01094950v1  Communication dans un congrès
Emmanuelle Jacquet, Bernard Gaume, Yves Gaillard, Eric Descourvières, Pascale Marangé et al.  Pédagogie renouvelée pour des cursus d'ingénierie à l'université
Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, CETSIS 2014, Oct 2014, Besançon, France. 2014
...
hal-01094983v1  Article dans une revue
Pascale Marangé, Debernard Serge, Gellot François, Pacaux-Lemoine Marie-Pierre, Philippot Alexandre et al.  Approche de détection et d'explication d'erreur de commande par filtrage robuste
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2014, 48 (4-6), pp.339-372. <10.3199/JESA.45.1-n>

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD