Filtrer vos résultats
- 30
- 14
- 29
- 15
- 37
- 6
- 1
- 3
- 1
- 5
- 2
- 1
- 5
- 1
- 2
- 5
- 2
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 25
- 19
- 41
- 8
- 4
- 3
- 2
- 1
- 1
- 44
- 26
- 20
- 18
- 12
- 10
- 8
- 8
- 7
- 4
- 4
- 4
- 4
- 4
- 3
- 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
44 résultats
|
|
triés par
|
Sur le comportement cyclique des systèmes dynamiques hybrides : Application aux convertisseurs statiques N°10, pp 67-72.La Revue de l'électricité et de l'électronique, 2000
Article dans une revue
hal-02339354v1
|
|||
|
Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par GrafcetJournal Européen des Systèmes Automatisés (JESA), 2008, 42 (1), pp.63-94. ⟨10.3166/jesa.42.63-94⟩
Article dans une revue
hal-02111008v1
|
||
|
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-01145738v1
|
||
|
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-00385512v1
|
||
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
|
|||
|
HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation educationEuropean Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE), 2017, Grenoble, France. ⟨10.1109/EAEEIE.2017.8768639⟩
Communication dans un congrès
hal-01882572v1
|
||
|
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
|
||
|
Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control ArchitectureInternational Conference on Control and Fault-Tolerant Systems (SysTol), 2021, Saint-Raphaël, France. ⟨10.1109/SysTol52990.2021.9596041⟩
Communication dans un congrès
hal-03427345v1
|
||
|
CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEMMOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France
Communication dans un congrès
hal-01166614v1
|
||
|
La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvreModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224261v1
|
||
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
|
|||
|
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-00385501v1
|
||
|
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
|
||
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
|
|||
|
Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par GrafcetJournal Européen des Systèmes Automatisés (JESA), 2008, 42 (1), pp.63-94
Article dans une revue
hal-00385483v1
|
||
|
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
|
||
|
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
|
||
|
Approach to detection and explanation of control by a robust filterJournal Européen des Systèmes Automatisés (JESA), 2014, 48 (4-5-6), pp.339-372. ⟨10.3166/JESA.48.339-372⟩
Article dans une revue
hal-03511676v1
|
||
|
Application of the control validation to the D.E.S. teachingInternational Journal of Online Engineering, 2008, pp.1
Article dans une revue
hal-00385479v1
|
||
Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary TalkInternational Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea
Communication dans un congrès
hal-02950934v1
|
|||
|
HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatiqueColloque consacré à l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), 2017, Le Mans, France
Communication dans un congrès
hal-01882591v1
|
||
|
Formal Verification for Validation of PSEEL's PLC Program14th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jul 2017, Madrid, Spain
Communication dans un congrès
hal-03427253v1
|
||
|
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systemsComputers in Industry, 2020, 123, pp.103328. ⟨10.1016/j.compind.2020.103328⟩
Article dans une revue
hal-02974729v1
|
||
|
Système Cyber-Physique de Production ModulaireJournées des Démonstrateurs en Automatique, 2022, Angers, France
Communication dans un congrès
hal-03766854v1
|
||
HOME I/O and FACTORY I/O: a house simulator and a plant simulator for automatic control educationThe 27th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference, Jun 2017, Grenoble, France
Communication dans un congrès
hal-02969579v1
|
|||
|
REMOTE CONTROL OF AUTOMATION SYSTEMS FOR D.E.S COURSESIEEE Transactions on Industrial Electronics, 2007, 54 (6), pp.3103-3133
Article dans une revue
hal-00385474v1
|
||
|
Model-based engineering for designing cyber-physical systems from product specificationsComputers in Industry, 2023, 145, pp.103808. ⟨10.1016/j.compind.2022.103808⟩
Article dans une revue
hal-03887847v1
|
||
|
Synthèse d'une commande supervisée à base de contraintes booléennese-STA Sciences et Technologies de l’Automatique, 2007, pp.0
Article dans une revue
hal-00385485v1
|
||
PETRILAM : atelier logiciel d'analyse et de simulation de réseaux de Petri vol 8, n°4, pp 543-563Revue d'automatique et de productique appliquées [1988-1995], 1995
Article dans une revue
hal-02339238v1
|
|||
|
Développement d'un connecteur logiciel pour l'apprentissage de l'automatismeColloque 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-03427264v1
|
- 1
- 2