
Pascale Marangé
85
Documents
Publications
Publications
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
Communication dans un congrès
hal-04841402
v1
|
|
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
Communication dans un congrès
hal-04838259
v1
|
|
|
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
Communication dans un congrès
hal-04831535
v1
|
Contributions of digital twins services to the implementation of the circular economy25th IFIP/SOCOLNET Working Conference on Virtual Enterprises, PRO-VE 2024, Oct 2024, Albi, France. ⟨10.1007/978-3-031-71743-7_10⟩
Communication dans un congrès
hal-04791820
v1
|
|
|
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⟩
Communication dans un congrès
hal-04790540
v1
|
|
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
Communication dans un congrès
hal-04969275
v1
|
Systems engineering for industrial circular economy: a literature review15th Complex Systems Design & Management conference, CSD&M 2024, Dec 2024, Paris, France
Communication dans un congrès
hal-04829016
v1
|
|
|
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-04397914
v1
|
|
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-04335223
v1
|
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-04496059
v1
|
|
|
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-03337509
v1
|
|
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-03479492
v1
|
|
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-04053210
v1
|
|
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-03479703
v1
|
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-03449949
v1
|
|
|
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-02336445
v1
|
|
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-02497934
v1
|
|
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-02415927
v1
|
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-02984732
v1
|
|
|
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-01849606
v1
|
|
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-02114024
v1
|
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-01652409
v1
|
|
|
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-01652140
v1
|
|
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-01565631
v1
|
|
Regeneration management tool for industrial ecosystem20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France
Communication dans un congrès
hal-01563099
v1
|
|
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-01652138
v1
|
|
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-01431221
v1
|
|
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-01402481
v1
|
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-01313344
v1
|
|
|
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-01145738
v1
|
|
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-01149786
v1
|
|
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-01236850
v1
|
|
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-01132733
v1
|
Vérification de la diagnosticabilité par model-checking10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France
Communication dans un congrès
hal-01094963
v1
|
|
|
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-01087888
v1
|
|
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-01061929
v2
|
|
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-01094950
v1
|
|
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-01094956
v1
|
|
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-00702417
v3
|
|
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-01087867
v1
|
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-03470903
v1
|
|
|
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-00767444
v1
|
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-00653767
v1
|
|
|
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-00492194
v1
|
|
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-00401680
v1
|
|
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-00438902
v1
|
|
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-00385501
v1
|
|
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-00385512
v1
|
|
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-00385503
v1
|
|
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-00385519
v1
|
|
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-00385496
v1
|
|
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-01226195
v1
|
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-04374746
v1
|
|
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-01377542
v1
|
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-02479424
v1
|
|
Conduire à l'objectifL'avenir se construit aujourd'hui, 2016
Chapitre d'ouvrage
hal-01366363
v1
|
|
Description of conceptual model of requirements2023
Pré-publication, Document de travail
(working paper)
hal-04267031
v1
|
|
É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
Rapport
hal-04984886
v1
|
|
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
Rapport
hal-04985037
v1
|
Démonstration d’un service d’aide à la préparation des plannings de conduite[Rapport de recherche] L3.1.4c, Cnrs. 2016
Rapport
(rapport de recherche)
hal-01338531
v1
|
|
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
(rapport de recherche)
hal-01140593
v1
|
|
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-00353654
v1
|
Chargement...
Chargement...