Filtrer vos résultats
- 55
- 38
- 15
- 1
- 1
- 46
- 12
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 3
- 4
- 6
- 7
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 43
- 12
- 54
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 55
- 20
- 13
- 8
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
55 résultats
|
|
|
triés par
|
|
|
Translating Grafcet specifications into Mealy machines for conformance test purposesControl Engineering Practice, 2010, pp.00. ⟨10.1016/j.conengprac.2010.10.001⟩
Article dans une revue
hal-00547891v1
|
||
|
|
Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement (IMdR-SdF) Oct 2016, Saint_Malo, France
Communication dans un congrès
hal-01378407v1
|
||
|
|
Un démonstrateur pour le test de conformité de contrôleurs logiques3èmes Journées Démonstrateurs 2010, Nov 2010, Angers, France
Communication dans un congrès
hal-00585235v1
|
||
|
|
Designing dependable logic controllers using the supervisory control theoryProceedings of the 16th IFAC World Congress, Jul 2005, Praha, Czech Republic. CDROM paper n°04427
Communication dans un congrès
hal-00344918v1
|
||
|
|
A method for design and valuation of manufacturing system control architecture1995 IEEE International conference on systems, man and cybernetics, Jan 1995, Vancouver, Canada. ⟨10.1109/icsmc.1995.538501⟩
Communication dans un congrès
hal-03745170v1
|
||
|
|
A formal semantics for Grafcet specifications7th IEEE Conference on Automation Science and Engineering (IEEE CASE 2011), Aug 2011, Trieste, Italy. pp.488-494
Communication dans un congrès
hal-00603189v1
|
||
|
|
Towards an unified definition of Minimal Cut Sequences4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°1
Communication dans un congrès
hal-00858391v1
|
||
|
|
Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), Jun 2009, Bari, Italy. pp.129-134
Communication dans un congrès
hal-00394459v1
|
||
|
|
Algebraic Determination of the Structure Function of Dynamic Fault TreesReliability Engineering and System Safety, 2011, 96 (2), pp. 267-277. ⟨10.1016/j.ress.2010.10.001⟩
Article dans une revue
hal-00536000v1
|
||
|
|
Contribution à la commande sûre des Systèmes à Événements DiscretsAutomatique / Robotique. ENS Cachan, 2014
HDR
tel-01162984v1
|
||
|
|
Qualitative analysis of a BDMP by finite automata20th European Safety & Reliability Conf. (ESREL'11), Sep 2011, Troyes, France. pp. 2055-2057
Communication dans un congrès
hal-00782748v1
|
||
|
|
Formalisation des scénarios de défaillance d'un BDMP par automate ni4èmes Journées Doctorales du GDR MACS, JDMACS'11, Jun 2011, Marseille, France. papier N° JD14-5, 6 p
Communication dans un congrès
hal-00782759v1
|
||
|
|
Quantitative Analysis of Dynamic Fault Trees based on the Structure FunctionQuality and Reliability Engineering International, 2014, 30 (1), pp. 143-156
Article dans une revue
hal-00954679v1
|
||
|
|
In Situ Real-Time Quantitative and Qualitative Monitoring of Molecular ContaminationJournal of Spacecraft and Rockets, 2017, 53 (6), p. 1166-1171. ⟨10.2514/1.A33505⟩
Article dans une revue
hal-01488099v1
|
||
|
|
Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare GatesEuropean Safety and Reliability Conference (ESREL 2010), Sep 2010, Rhodes, Greece. pp. 794-801
Communication dans un congrès
hal-00516893v1
|
||
|
|
A methodology to design and check a plant model3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Jun 2006, Rydzyna, Poland. pp. 246-250
Communication dans un congrès
hal-00351722v1
|
||
|
|
Safety properties verification of ladder diagram programsJournal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp. 905-917
Article dans une revue
hal-00356881v1
|
||
|
|
SIC-testability of sequential logic controllers10th International Workshop on Discrete Event Systems - WODES 2010, Aug 2010, Berlin, Germany. pp.203--208
Communication dans un congrès
hal-00512767v1
|
||
|
|
Validation and verification of grafcets using state machineIMACS-IEEE "CESA'96", Jul 1996, Lille, France. pp. 758-764
Communication dans un congrès
hal-00353188v1
|
||
|
|
Hierarchical approach to GRAFCET using forcing orderAutomatique Productique Informatique Industrielle, 1993, 27 (1), pp.25-38
Article dans une revue
hal-00347044v1
|
||
|
|
Algebraic approach for dependable logic control systems designInternational Journal of Production Research, 2004, 42 (14), pp. 2859-2876. ⟨10.1080/00207540410001705266⟩
Article dans une revue
hal-00344923v1
|
||
|
|
Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as StaticEuropean Safety and Reliability Conference (ESREL 2010), Sep 2010, Rhodes, Greece. pp. 845-851
Communication dans un congrès
hal-00516896v1
|
||
|
|
Towards automatic verification of ladder logic programsIMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", Jul 2003, Lille, France. CD ROM paper S2-I-04-0169
Communication dans un congrès
hal-00354468v1
|
||
|
|
Algebraic modelling of Fault Trees with Priority AND gates1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Jun 2007, Cachan, France. pp. 175-180
Communication dans un congrès
hal-00350495v1
|
||
|
|
Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits9th International Workshop On Discrete Event Systems (WODES'08), May 2008, Göteborg, Sweden. pp. 200-205
Communication dans un congrès
hal-00353636v1
|
||
|
|
Algebraic synthesis of logical controllers with optimization criteria6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECOS 2012, Aug 2012, Paris, France. pp. 103-114
Communication dans un congrès
hal-00734840v1
|
||
|
|
Dynamic Fault Tree Analysis Based On The Structure FunctionAnnual Reliability and Maintainability Symposium 2011 (RAMS 2011), Jan 2011, Lake Buena Vista, FL, United States. pp. 462-467
Communication dans un congrès
hal-00566334v2
|
||
|
|
Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformitéConférence Internationale Francophone d'Automatique (CIFA2012), Jul 2012, France. pp.907-912
Communication dans un congrès
hal-00719363v1
|
||
|
|
Testing Programmable Logic Controllers from Finite State Machines specification3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011, Jun 2011, Saarbrücken, Germany. pp.0--0
Communication dans un congrès
hal-00585242v1
|
||
|
|
Une algèbre de Boole pour l'approche événementielle des systèmes logiquesAutomatique Productique Informatique Industrielle, 1993, 27 (5), pp.541-560
Article dans une revue
hal-00347042v1
|
- 1
- 2