Recherche - Université de Reims Champagne-Ardenne

Documentation
Français (FR)

Anglais (EN)

9 résultats

	Pour les 9 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Vérification de la diagnosticabilité par model-checking Pascale Marangé , Alexandre Philippot , Jean-François Pétin , François Gellot 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France Communication dans un congrès hal-01094963v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Decentralized diagnosis and diagnosability by model checking Philippot Alexandre , Pascale Marangé , François Gellot , Bernard Riera Universal Journal of Control and Automation, 2013, 1 (2), pp.28-33. ⟨10.13189/ujca.2013.010202⟩ Article dans une revue hal-00870135v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Mon projet en 5 minutes" : un concours national pour valoriser des compétences acquises par les étudiants dans le domaine de l'EEA Pascal Vrignat , Pascale Marangé , Alexandre Philippot , Laurent Autrique La Revue 3E.I, 2021, 106, pp.54-63 Article dans une revue hal-03387868v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Conception d'un système de vérification de la diagnosticabilité par model checking à partir du modèle du système Mehdi Chankate , Alexandre Philippot , Véronique Carré-Ménétrier , Pascale Marangé 12ème Conférence Internationale de Modélisation, Optimisation et Simulation, MOSIM 2018, Jun 2018, Toulouse, France Communication dans un congrès hal-02114024v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Checking diagnosability on centralized model of the system Mehdi Chankate , Alexandre Philippot , Véronique Carré-Ménétrier , Pascale Marangé International Conference on Control, Automation and Diagnosis, ICCAD'19, Jul 2019, Grenoble, France. ⟨10.1109/ICCAD46983.2019.9037869⟩ Communication dans un congrès hal-02336445v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Diagnosability evaluation by model-checking Pascale Marangé , Alexandre Philippot , Jean-Francois Pétin , François Gellot 9th 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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Approche de détection et d'explication d'erreur de commande par filtrage robuste Pascale Marangé , Serge Debernard , François Gellot , Marie-Pierre Pacaux-Lemoine , Alexandre Philippot , et al. Journal 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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Fault tolerant control for manufacturing discrete systems by filter and diagnoser interactions Alexandre Philippot , Pascale Marangé , François Gellot , Jean-François Pétin , Bernard Riera Annual Conference of the Prognostics and Health Management Society, PHM Conference 2014, Sep 2014, Dallas, United States Communication dans un congrès hal-01094956v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Implementation of diagnosis approach for Discrete Event Systems Philippot Alexandre , Pascale Marangé , Véronique Carré-Ménétrier , Bernard Riera International Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM Communication dans un congrès hal-00767444v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More