Pascale Marangé
Publications
Publications
Module de formation : Intégrer la sécurité lors de la conception d'applications de robotique collaborativeColloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France |
|
|
|
Évaluation de stratégies de régénération dans un modèle de vente de services : une approche par réseaux de Petri à coûtModélisation des Systèmes Réactifs (MSR'25), CReSTIC, LICIIS, Nov 2025, Reims, France |
|
|
Spécification de la synchronisation des jumeaux numériques à l'aide d'automates temporisés et stochastiquesModélisation des Systèmes Réactifs (MSR'25), CReSTIC, LICIIS, Nov 2025, Reims, France |
|
|
Les écosystèmes de regénération: une approche holistique pour dépasser les verrous de l'économie circulaireColloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France |
|
|
The Role of Remanufacturing in Sustainable Decision-Making for Reducing Pressure on Recycling Processes: The Case of EV Batteries in the EU11th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2025, IFAC : The International Federation of Automatic Control, Jun 2025, Trondheim, Norway. pp.1712-1717, ⟨10.1016/j.ifacol.2025.09.288⟩ |
|
|
Usine École du pôle AIP-PRIMECA Lorraine : un projet collaboratif, multi-dimensionsColloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France |
|
|
Contributions of digital twins services to the implementation of the circular economy25th Working Conference on Virtual Enterprises (PRO-VE), Oct 2024, Albi, France. ⟨10.1007/978-3-031-71743-7_10⟩ |
Review of methods for synchronizing a digital twin in an industrial context14th International Workshop on Service-Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, SOHOMA 2024, Sep 2024, Augsburg, Germany |
|
|
|
Conception d'un écosystème de régénération adaptif au produit et à ses évolutionsCongrès annuel de la SAGIP, INSA Lyon, May 2024, Lyon, France |
Current trends and future challenges to put Circular Manufacturing in practice5th International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2024, Nov 2024, Porto, Portugal |
|
|
|
Requirements structure for system requirements formal modelling, verification and validation18th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2024, Aug 2024, Vienne, Austria. ⟨10.1016/j.ifacol.2024.09.194⟩ |
|
|
Transition réglementaire en Europe: Vers une économie circulaire dans le secteur des batteries lithium-ion pour les véhicules électriquesCongrès Interdisciplinaire sur l’Economie Circulaire CIEC-2024, Jun 2024, Montpellier, France |
Systems engineering for industrial circular economy: a literature review15th Complex Systems Design & Management conference, CSD&M 2024, Dec 2024, Paris, France |
|
|
|
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 |
University education adapts to Industry 4.0 topic20th International Conference on Remote Engineering and Virtual Instrumentation, Mar 2023, Thessaloniki, France |
|
|
|
A technical and systematic characterization of circular strategy processes20th International Conference on Product Lifecycle Management, PLM23, Jul 2023, Montréal, Canada |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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 |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
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 |
|
|
|
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⟩ |
|
|
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 |
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 |
|
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
Regeneration management tool for industrial ecosystem20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France |
|
|
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 |
|
|
Maintenance best way for meeting the challenge of regeneration3rd IFAC Workshop on Advanced Maintenance Engineering, Service and Technology, AMEST'16, Oct 2016, Biarritz, France |
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 |
|
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
Vérification de la diagnosticabilité par model-checking10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France |
|
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Checking models based on an iterative co-specification process of a critical systemInternational Conference on Industrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil |
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 |
|
|
|
Implementation of diagnosis approach for Discrete Event SystemsInternational Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM |
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 |
|
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Human-Machine Systems concepts applied to Control Engineering Education7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD |
|
|
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 |
|
|
Control validation of D.E.S systems: Application to remote laboratoriesWorkshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD |
|
|
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 |
|
|
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 |
|
|
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 |
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⟩ |
|
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 |
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⟩ |
|
Conduire à l'objectifL'avenir se construit aujourd'hui, 2016 |
|
|
Description of conceptual model of requirements2023 |
|
|
État de l'art sur la gestion circulaire des débris spatiaux et ses perspectivesCRAN; Université de lorraine; CNES - Centre national d'études spatiales. 2024 |
|
|
Vers une industrie spatiale circulaire : cadre méthodologique pour la régénération des satellites et de leurs composantsCRAN; Université de lorraine; CNES - Centre national d'études spatiales. 2024 |
Démonstration d’un service d’aide à la préparation des plannings de conduite[Rapport de recherche] L3.1.4c, Cnrs. 2016 |
|
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 |
|
|
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 : ⟩ |