Eric Gascard

According to our database1, Eric Gascard authored at least 16 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Prognostic and predicting failures methods in complex systems.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2023

Modeling And Diagnosis of Avionic Systems by Hybrid Automata Using Stateflow.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2023

Application of fault trees and Bayesian networks for maintenance.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2023

2022
Méthodologies et algorithmes pour l'analyse de la sûreté de fonctionnement des systèmes industriels complexes.
, 2022

2021
Comparison of data driven algorithms for SoH estimation of Lithium-ion batteries.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2021

2020
Implementation of a cost optimization algorithm in a context of distributed maintenance.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2020

2019
Fault diagnosis method for timed discrete-event systems: Application to autonomous electric vehicle.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2019

Overcoming the Barriers in Diagnostics and Prognostics of the Circular Industrial System by Hidden Markov Model.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2019

2018
Quantitative Analysis of Dynamic Fault Trees by means of Monte Carlo Simulations: Event-Driven Simulation Approach.
Reliab. Eng. Syst. Saf., 2018

2017
Diagnostic and prognostic of hybrid dynamic systems: Modeling and RUL evaluation for two maintenance policies.
Reliab. Eng. Syst. Saf., 2017

2015
A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems.
Int. J. Adapt. Resilient Auton. Syst., 2015

2013
Modular Modeling for the Diagnostic of Complex Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2013

2007
Synthesis of Property Monitors for Online Fault Detection.
J. Circuits Syst. Comput., 2007

2003
Formal Proof of Applications Distributed in Symmetric Interconnection Networks.
Parallel Process. Lett., 2003

2002
Mechanical Verification of Hypercube Algorithms.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001
Induction-Oriented Formal Verification in Symmetric Interconnection Networks.
Proceedings of the Correct Hardware Design and Verification Methods, 2001


  Loading...