Filtrer vos résultats
- 50
- 46
- 2
- 71
- 21
- 2
- 1
- 1
- 1
- 1
- 2
- 82
- 17
- 2
- 1
- 7
- 7
- 7
- 3
- 10
- 8
- 11
- 6
- 3
- 6
- 3
- 5
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 1
- 69
- 29
- 93
- 11
- 9
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 97
- 41
- 39
- 30
- 13
- 11
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
98 résultats
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
|
|||
Centralised controller for manufacturing systems through liveness extraction approachInternational Journal of Systems, Control and Communications, 2013, 5 (3/4), pp.189. ⟨10.1504/IJSCC.2013.058175⟩
Article dans une revue
hal-02110977v1
|
|||
|
|
Automation for improve of mental workload of the systems engineerIFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS), 2016, Kyoto, Japan. pp.555-560, ⟨10.1016/j.ifacol.2016.10.624⟩
Communication dans un congrès
hal-03297116v1
|
||
Diagnosis and human behavior modeling in railway network using operating dataInternational Conference on Digital Image & Signal Processing (DISP), 2019, Oxford, United Kingdom
Communication dans un congrès
hal-02962823v1
|
|||
|
|
Distributed Supervisory Control Synthesis For Discrete Manufacturing SystemsIFAC Conference on Manufacturing Modelling, Management and Control (MIM), 2016, Troyes, France. pp.396-401, ⟨10.1016/j.ifacol.2016.07.637⟩
Communication dans un congrès
hal-03297197v1
|
||
|
|
Data Model Classification for Interoperability in the IndustryIFAC Conference on Manufacturing Modelling, Management and Control (MIM), 2022, Nantes, France. pp.2354-2359, ⟨10.1016/j.ifacol.2022.10.060⟩
Communication dans un congrès
hal-03716066v1
|
||
|
|
Approche de détection et d'explication d'erreur de commande par filtrage robusteJournal Européen des Systèmes Automatisés (JESA), 2014, 48 (4-6), pp.339-372. ⟨10.3166/jesa.48.339-372⟩
Article dans une revue
hal-01094983v1
|
||
|
|
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
|
||
Ordonnancement des blocs opératoires et chirurgie ambulatoireWorkshop du Groupe ROSa du GDR RO sur la Recherche Opérationnelle et Santé,, Jul 2022, Saint-Étienne, France
Communication dans un congrès
hal-03711700v1
|
|||
|
|
On-line synthesis approach based on a structured plant modelling vol 1, n°3e-revue des Sciences et Technologies de l'Automatique, 2004
Article dans une revue
hal-02114155v1
|
||
|
|
Design and application of a reconfigurable control to a cyber-physical systemInternational Conference on Informatics In Control, Automation and Robotics (ICINCO), 2020, Paris, France. pp.718-725, ⟨10.5220/0009896107180725⟩
Communication dans un congrès
hal-02965295v1
|
||
|
|
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
|
||
Méthodologie de modélisation dans le cadre de la synthèse formelle des SED vol 2, n°2.e-STA Sciences et Technologies pour lÁutomatique, 2005
Article dans une revue
hal-02339310v1
|
|||
|
|
A Metaheuristic Approach to Solve an Outpatient Surgery Scheduling ProblemEmerging optimization methods: from methaheuristics to quantum approaches (MEthaheuristics), Apr 2023, Troyes, France
Communication dans un congrès
hal-04062564v2
|
||
|
|
Ordonnancement d’un bloc opératoire en chirurgie ambulatoire par algorithme génétiqueCongrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision, (ROADEF), Feb 2023, Rennes, France
Communication dans un congrès
hal-03968337v1
|
||
|
|
Approche distribuée pour la reconfiguration de la commande des systèmes manufacturiersColloque sur la Modélisation des Systèmes Réactifs (MSR), 2019, Angers, France
Communication dans un congrès
hal-02432725v1
|
||
A synthesis approach to distributed supervisory control design for manufacturing systems with GRAFCET implementationInternational Journal of Production Research, 2016, 55 (15), pp.4283-4303. ⟨10.1080/00207543.2016.1235804⟩
Article dans une revue
hal-02983247v1
|
|||
|
|
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
|
||
IEC 61499 Control Architectures Evaluation for Automation Software Development22nd World Congress of the International Federation of Automatic Control (IFAC), Jul 2023, Yokohama, Japan
Communication dans un congrès
hal-04191132v1
|
|||
|
|
Model-based Engineering for Designing Cyber-Physical Systems Control Architecture and Improving Adaptability from RequirementsWorkshop on Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future (SOHOMA), 2021, Cluny, France
Communication dans un congrès
hal-03427348v1
|
||
Causal Temporal Signature from diagnoser model for online diagnosis of Discrete Event Systems2014 International Conference on Control, Decision and Information Technologies (CoDIT), Nov 2014, Metz, France. pp.551-556, ⟨10.1109/CoDIT.2014.6996954⟩
Communication dans un congrès
hal-02533803v1
|
|||
|
|
A Fault-Tolerant and a Reconfigurable Control Framework: Application to a Real Manufacturing SystemProcesses, 2022, 10, pp.1266. ⟨10.3390/pr10071266⟩
Article dans une revue
hal-03706049v1
|
||
|
|
Retour d'expérience et applications pédagogiques innovantes avec HOME I/OColloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Jun 2021, Valenciennes, France
Communication dans un congrès
hal-03427266v1
|
||
|
|
Time-Based Estimator for Control Reconfiguration of Discrete Event Systems (DES)International Conference on Control, Decision and Information Technologies (CoDIT), 2019, Paris, France. ⟨10.1109/CoDIT.2019.8820585⟩
Communication dans un congrès
hal-02114270v1
|
||
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-01094963v1
|
|||
|
|
From centralized to decentralized approach for optimal Controller of Discrete Manufacturing SystemsARPN Journal of Science and Technology, 2012
Article dans une revue
hal-02111032v1
|
||
Component Models Based Approach for Failure Diagnosis of Discrete Event SystemsIntelligent Industrial Systems: Modeling, Automation and Adaptive Behavior, pp.453-475, 2010, ⟨10.4018/978-1-61520-849-4.ch016⟩
Chapitre d'ouvrage
hal-02337735v1
|
|||
|
|
Vérification formelle des programmes automates de la SNCF par Model-Checking11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), Nov 2017, Marseille, France
Communication dans un congrès
hal-03427261v1
|
||
Diagnostic décentralisé des SED Application aux systèmes manufacturiersJournal Européen des Systèmes Automatisés (JESA), 2008, 42 (1), pp.31-62. ⟨10.3166/jesa.42.31-62⟩
Article dans une revue
istex
hal-02111003v1
|
|||
Safety of Manufacturing Systems Controllers by Logical Constraints With Safety FilterIEEE Transactions on Control Systems Technology, 2019, 27 (4), pp.1659-1667. ⟨10.1109/TCST.2018.2827329⟩
Article dans une revue
hal-01882604v1
|