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
|
|||
|
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
|
||
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
|
|||
|
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
|
||
|
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
|
||
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
|
||
|
Consistency Checking of Safety Constraints for Manufacturing Systems with Graph AnalysisIFAC World Congress, 2017, Tolouse, France. pp.1193-1198, ⟨10.1016/j.ifacol.2017.08.273⟩
Communication dans un congrès
hal-01780730v1
|
||
Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviairesJournées STP du GDR MACS, 2018, Clermont-Ferrand, France
Communication dans un congrès
hal-02151107v1
|
|||
Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing SystemInternational Afro-European Conference for Industrial Advancement (AECIA), 2016, Marrakesh, Morocco. pp.18-27, ⟨10.1007/978-3-319-60834-1_3⟩
Communication dans un congrès
hal-03297240v1
|
|||
|
Experience feedback and innovative pedagogical applications with HOME I/OIFAC World Congress, 2020, Berlin, Germany. pp.17610-17615, ⟨10.1016/j.ifacol.2020.12.2676⟩
Communication dans un congrès
hal-02968156v1
|
||
Comparison of diagnosis approaches for Discrete Event Systems *International Conference on Industrial Engineering and Systems Management IESM'2011, May 2011, METZ, France
Communication dans un congrès
hal-02337697v1
|
|||
|
IEC 61499 : Retour d'expérience sur l'application de la norme en pédagogieJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2023, 22, pp.1033. ⟨10.1051/j3ea/20231033⟩
Article dans une revue
hal-04191096v1
|
||
|
Retour d'expérience sur la réalisation du jumeau numérique d'une Cellule Flexible avec Emulate3D17e Colloque National S-mart, Mar 2021, Distanciel, France
Communication dans un congrès
hal-03427269v1
|