Pascale Marangé
58
Documents
Publications
|
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
Conference papers
hal-04053210v1
|
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
hal-02415927v1
|
|
Conception d'un système de vérification de la diagnosticabilité par model checking à partir du modèle du systèmeConférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), 2018, Toulouse, France
Conference papers
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
Conference papers
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
Conference papers
hal-01652140v1
|
|
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
Conference papers
hal-01652138v1
|
|
Regeneration management tool for industrial ecosystem20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France
Conference papers
hal-01563099v1
|
|
Maintenance best way for meeting the challenge of regeneration3rd IFAC Workshop on Advanced Maintenance Engineering, Service and Technology, AMEST'16, Oct 2016, Biarritz, France
Conference papers
hal-01402481v1
|
|
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
Conference papers
hal-01431221v1
|
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
Conference papers
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⟩
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
hal-01087888v1
|
|
Checking models based on an iterative co-specification process of a critical systemInternational Conference on Industrial Informatics, INDIN 2014, Jul 2014, Porto Alegre, Brazil
Conference papers
hal-00702417v3
|
|
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
Conference papers
hal-01087867v1
|
|
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
Conference papers
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
Conference papers
hal-01061929v2
|
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
hal-00401680v1
|
|
Human-Machine Systems concepts applied to Control Engineering Education7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference poster
hal-01226195v1
|
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⟩
Book sections
hal-02479424v1
|
|
Disassembly process planning under end-of-life product qualityClément Fortin and Louis Rivest and Alain Bernard and Abdelaziz Bouras. Product Lifecycle Management in the Digital Twin Era, 565, Springer, pp.325-335, 2019, IFIP Advances in Information and Communication Technology book series, 978-3-030-42250-9. ⟨10.1007/978-3-030-42250-9_31⟩
Book sections
hal-02497934v1
|
|
Conduire à l'objectifL'avenir se construit aujourd'hui, 2016
Book sections
hal-01366363v1
|
Démonstration d’un service d’aide à la préparation des plannings de conduite[Rapport de recherche] L3.1.4c, Cnrs. 2016
Reports
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
Reports
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 : ⟩
Theses
tel-00353654v1
|