Pascale Marangé
76
Documents
Publications
|
A technical and systematic characterization of circular strategy processes20th International Conference on Product Lifecycle Management, PLM23, Jul 2023, Montréal, Canada
Communication dans un congrès
hal-04477469v1
|
|
RegEcoS : un écosystème de regénération de produits basé sur leurs usages18ème Colloque national Systems, Manufacturing, Academics, Resources, Technologies, S-MART 2023, Arts et Métiers Paristech ENSAM Aix-en-Provence, Université de Toulon [UTLN], Apr 2023, Carry-le-Rouet, France
Communication dans un congrès
hal-04397914v1
|
|
A technical and systematic characterization of circular strategy processes20th International Conference on Product Lifecycle Management, PLM23, Jul 2023, Montréal, Canada
Communication dans un congrès
hal-04335223v1
|
University education adapts to Industry 4.0 topic20th International Conference on Remote Engineering and Virtual Instrumentation, Mar 2023, Thessaloniki, France
Communication dans un congrès
hal-04496059v1
|
|
|
Product and process assessment of end-of-life product using generalized colored stochastic Petri nets17th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2021, Jun 2021, Budapest (virtual), Hungary. pp.677-682, ⟨10.1016/j.ifacol.2021.08.179⟩
Communication dans un congrès
hal-03479492v1
|
|
TABS v2.0 : Atelier logiciel d’ordonnancement et d’évaluation de la robustesse basé sur les automates temporisés13ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2021, CNAM Paris, Nov 2021, Paris, France
Communication dans un congrès
hal-04053210v1
|
|
Hybridization of mixed-integer linear program and discrete event systems for robust scheduling on parallel machinesInternational Conference on Advances in Production Management Systems, APMS 2021, Sep 2021, Nantes, France. pp.73-80, ⟨10.1007/978-3-030-85874-2_8⟩
Communication dans un congrès
hal-03337509v1
|
Supervision d’un système de transport par AGVs bidirectionnels dans un contexte de défauts de capteurs13e Colloque sur la Modélisation des Systèmes Réactifs, MSR 2021, Nov 2021, Paris, France
Communication dans un congrès
hal-03449949v1
|
|
|
A framework for robust scheduling under stochastic perturbations17th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2021, Jun 2021, Budapest (virtual), Hungary. ⟨10.1016/j.ifacol.2021.08.137⟩
Communication dans un congrès
hal-03479703v1
|
|
Checking diagnosability on centralized model of the systemInternational Conference on Control, Automation and Diagnosis, ICCAD'19, Jul 2019, Grenoble, France. ⟨10.1109/ICCAD46983.2019.9037869⟩
Communication dans un congrès
hal-02336445v1
|
|
Approche et cadre de modélisation pour l'évaluation de l'impact de perturbations sur un ordonnancement12ème Colloque sur la Modélisation des Systèmes Réactifs, MSR'19, Nov 2019, Angers, France
Communication dans un congrès
hal-02415927v1
|
|
Disassembly process planning under end-of-life product quality16th IFIP International Conference on Product Lifecycle Management, PLM 2019, Jul 2019, Moscow, Russia. pp.325-335, ⟨10.1007/978-3-030-42250-9_31⟩
Communication dans un congrès
hal-02497934v1
|
ProGreSS 4.0 : une plateforme pour l'enseignement de l'industrie du futur et pour la recherche associée16ème colloque national S-mart/AIP-PRIMECA, Apr 2019, Les Karellis, France
Communication dans un congrès
hal-02984732v1
|
|
Robust production scheduling under machine failures - A DES based evaluation approach14th IFAC Workshop on Discrete Event Systems, WODES 2018, May 2018, Sorrento Coast, Italy. ⟨10.1016/j.ifacol.2018.06.312⟩
Communication dans un congrès
hal-01849606v1
|
|
|
Conception d'un système de vérification de la diagnosticabilité par model checking à partir du modèle du système12ème Conférence Internationale de Modélisation, Optimisation et Simulation, MOSIM 2018, Jun 2018, Toulouse, France
Communication dans un congrès
hal-02114024v1
|
TABS : un outil logiciel d'ordonnancement de la production basé sur les automates temporisés11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
Communication dans un congrès
hal-01652409v1
|
|
|
Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France
Communication dans un congrès
hal-01652140v1
|
|
Modeling flexible workshops scheduling problems: evaluating a timed automata based approach vs MILP20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.346⟩
Communication dans un congrès
hal-01565631v1
|
|
Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
Communication dans un congrès
hal-01652138v1
|
|
Regeneration management tool for industrial ecosystem20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France
Communication dans un congrès
hal-01563099v1
|
|
Ordonnancement d'ateliers à partir de patrons de modélisation basés sur des automates communicants11th International Conference on Modeling, Optimization and Simulation, Aug 2016, Montréal, Canada
Communication dans un congrès
hal-01431221v1
|
|
Maintenance best way for meeting the challenge of regeneration3rd IFAC Workshop on Advanced Maintenance Engineering, Service and Technology, AMEST'16, Oct 2016, Biarritz, France
Communication dans un congrès
hal-01402481v1
|
Prise en compte des incertitudes pour une conception efficace d'une ligne de désassemblage17e Congrès de la société française de recherche opérationnelle et aide à la décision, ROADEF’2016, Feb 2016, Compiègne, France
Communication dans un congrès
hal-01313344v1
|
|
|
Diagnosability evaluation by model-checking9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. pp.308-313, ⟨10.1016/j.ifacol.2015.09.545⟩
Communication dans un congrès
hal-01145738v1
|
|
Utilisation de critères sécuritaires pour le choix de séquences de conduite de systèmes critiques11ème Congrès International Pluridisciplinaire en Qualité, Sûreté de Fonctionnement et Développement Durable, QUALITA 2015, Mar 2015, Nancy, France
Communication dans un congrès
hal-01149786v1
|
|
Maintenance as a cornerstone for the application of regeneration paradigm in systems lifecycleSixth International Conference on Complex Systems Design & Management, CSD&M 2015, Nov 2015, Paris, France. pp.185-197, ⟨10.1007/978-3-319-26109-6_14⟩
Communication dans un congrès
hal-01236850v1
|
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. pp.808-813, ⟨10.1016/j.ifacol.2015.09.626⟩
Communication dans un congrès
hal-01132733v1
|
|
|
Prise en compte de l'état réel d'un système complexe pour l'aide à la décision de séquences de conduite10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France
Communication dans un congrès
hal-01087888v1
|
|
Fault tolerant control for manufacturing discrete systems by filter and diagnoser interactionsAnnual Conference of the Prognostics and Health Management Society, PHM Conference 2014, Sep 2014, Dallas, United States
Communication dans un congrès
hal-01094956v1
|
|
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
Communication dans un congrès
hal-01094950v1
|
|
Checking models based on an iterative co-specification process of a critical system12th International Conference on Indusrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil
Communication dans un congrès
hal-01061929v2
|
|
Vers un apprentissage itératif à l'ingénierie système basée sur des modèles10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, CRAN, UMR 7039, Université de Lorraine, Nov 2014, Nancy, France
Communication dans un congrès
hal-01087867v1
|
|
Checking models based on an iterative co-specification process of a critical systemInternational Conference on Industrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil
Communication dans un congrès
hal-00702417v3
|
A support tool for assisting human diagnoses of command errors detected by a robust filter10. Berliner Werkstatt Mensch-Maschine-Systeme, Oct 2013, Berlin, Germany. pp. 66-74
Communication dans un congrès
hal-03470903v1
|
|
|
Implementation of diagnosis approach for Discrete Event SystemsInternational Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM
Communication dans un congrès
hal-00767444v1
|
Approche de détection et d'explication d'erreur de commande par filtrage robuste4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes", Oct 2011, Valenciennes, France. pp.CDROM
Communication dans un congrès
hal-00653767v1
|
|
|
Formalisation et vérification de contraintes fonctionnelles dans le cadre d'un contrôle par le produitSixième Conférence Internationale Francophone d'Automatique, CIFA 2010, Jun 2010, Nancy, France. pp.CDROM
Communication dans un congrès
hal-00492194v1
|
|
Evaluation de l'influence d'un réseau de communication sans fil sur la commande d'un SEDModélisation des systèmes réactifs, Nov 2009, nantes, France. pp.855-870
Communication dans un congrès
hal-00438902v1
|
|
Verification of functional constraints for safe product driven control2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320
Communication dans un congrès
hal-00401680v1
|
|
Human-Machine Systems concepts applied to Control Engineering Education7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD
Communication dans un congrès
hal-00385501v1
|
|
REMOTE CONTROL OF AUTOMATION SYSTEMS FOR TRAININGIFAC/IFIP/IFORS/IEA Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), Sep 2007, Séoul, South Korea. pp.CD
Communication dans un congrès
hal-00385512v1
|
|
Control validation of D.E.S systems: Application to remote laboratoriesWorkshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD
Communication dans un congrès
hal-00385503v1
|
|
SYNTHESIS OF SUPERVISED CONTROLLER BASED ON BOOLEAN CONSTRAINTS AND BOOLEAN AUTOMATA12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006), May 2006, France. pp.CD
Communication dans un congrès
hal-00385519v1
|
|
REQUIREMENT AND USE FOR REMOTE TEACHING OF DISCRETE EVENTS SYSTEMS7th IFAC Symposium on Advances in Control Education (ACE'06), Jun 2006, Madrid, Spain. pp.CD
Communication dans un congrès
hal-00385496v1
|
|
Ordonnancement d'ateliers à partir de patrons de modélisation basés sur des automates communicantsStephan 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
Poster de conférence
hal-01226195v1
|
Open Science in Engineering: University Education Adapts to Industry 4.0 TopicSpringer Nature Switzerland, 763, 2023, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-031-42467-0⟩
Ouvrages
hal-04496148v1
|
|
Open Science in EngineeringSpringer Nature Switzerland, 763, pp.689-1125, 2023, Lecture Notes in Networks and Systems, Michael E. Auer; Reinhard Langmann; Thrasyvoulos Tsiatsos, 978-3-031-42466-3. ⟨10.1007/978-3-031-42467-0⟩
Ouvrages
hal-04374746v1
|
|
Préface du numéro spécial - Prise en compte des aléas tout au long du cycle de vie d'un système49 (4-5), pp.399-402, 2016, Journal Européen des Systèmes Automatisés
Ouvrages
hal-01377542v1
|
Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0Boris Sokolov and Dmitry Ivanov and Alexandre Dolgui. Scheduling in Industry 4.0 and Cloud Manufacturing, 289, Springer International Publishing, 2020, International Series in Operations Research & Management Science, 978-3-030-43176-1. ⟨10.1007/978-3-030-43177-8_6⟩
Chapitre d'ouvrage
hal-02479424v1
|
|
Conduire à l'objectifL'avenir se construit aujourd'hui, 2016
Chapitre d'ouvrage
hal-01366363v1
|
|
Description of conceptual model of requirements2023
Pré-publication, Document de travail
hal-04267031v1
|
Démonstration d’un service d’aide à la préparation des plannings de conduite[Rapport de recherche] L3.1.4c, Cnrs. 2016
Rapport
hal-01338531v1
|
|
Spécification d’un service d’aide à la préparation des plannings de conduite[Rapport de recherche] Centre National de la Recherche Scientifique. 2015, pp.L3.1.2b
Rapport
hal-01140593v1
|
|
Synthèse et filtrage robuste de la commande pour des système manufacturiers sûrs de fonctionnementAutomatique / Robotique. Université de Reims - Champagne Ardenne, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00353654v1
|