Jean-Jacques Lesage

Reliab. Eng. Syst. Saf., 2017

Smart placement of motion sensors in a home environment.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Recognition of human activity based on probabilistic finite-state automata.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Towards alarm flood reduction.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes.

[BibT_eX]

[DOI]

Mickaël Danancher

IEEE Trans Autom. Sci. Eng., 2016

Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation.

[BibT_eX]

[DOI]

Qual. Reliab. Eng. Int., 2016

Special issue on "New approaches for DES modeling, analysis and synthesis".

[BibT_eX]

[DOI]

José E. R. Cury

Discret. Event Dyn. Syst., 2016

Overview of discrete event systems opacity: Models, validation, and quantification.

[BibT_eX]

[DOI]

Romain Jacob

Jean-Marc Faure

Annu. Rev. Control., 2016

Motion detector placement optimization in smart homes for inhabitant location tracking.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Ubiquitous Computing and 8th Communications and International Symposium on Cyberspace Safety and Security, 2016

2015

A stepwise method for identification of controlled discrete manufacturing systems.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2015

Identification of discrete event systems unobservable behaviour by petri nets using language projections.

[BibT_eX]

[DOI]

Jérémie Saives

Gregory Faraut

Proceedings of the 14th European Control Conference, 2015

2014

Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function.

[BibT_eX]

[DOI]

Guillaume Merle

Qual. Reliab. Eng. Int., 2014

Input-output identification of controlled discrete manufacturing systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2014

Petri net discovery of discrete event processes by computing t-invariants.

[BibT_eX]

[DOI]

Tonatiuh Tapia-Flores

Agostino Marcello Mangini

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A Petri net model of an integrated system for the Health Care At Home management.

[BibT_eX]

[DOI]

Maria Pia Fanti

Walter Ukovich

Kevin Viard

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013

Online Location Tracking of a Single Inhabitant Based on a State Estimator.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Identification of partially observable discrete event manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Automated modelling of reactive discrete event systems from external behavioural data.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Electronics, 2013

A Discrete event model for multiple inhabitants location tracking.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012

Fault detection and isolation in manufacturing systems with an identified discrete event model.

[BibT_eX]

[DOI]

Stefan Marco Schneider

Int. J. Syst. Sci., 2012

Networked conflicting timed event graphs representation in (Max, +) algebra.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2012

Algebraic synthesis of logical controllers despite inconsistencies in specifications.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Preface.

[BibT_eX]

[DOI]

Antonio Ramírez-Treviño

Manuel Silva Suárez

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Indoor Location Tracking Based on a Discrete Event Model.

[BibT_eX]

[DOI]

Mickaël Danancher

Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

Determination of timed transitions in identified discrete-event models for fault detection.

[BibT_eX]

[DOI]

Stefan Marco Schneider

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

A Virtual-Queuing-Based Algorithm for Delay Evaluation in Networked Control Systems.

[BibT_eX]

[DOI]

Saïd Amari

IEEE Trans. Ind. Electron., 2011

Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2011

Algebraic determination of the structure function of Dynamic Fault Trees.

[BibT_eX]

[DOI]

Guillaume Merle

Reliab. Eng. Syst. Saf., 2011

Genetic algorithms for delays evaluation in networked automation systems.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2011

Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering.

[BibT_eX]

Jean-Marc Faure

Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

Stepwise identification of automated discrete manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Measures vs. analytic evaluation of response time of Networked Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2010

Analytic Calculus of Response Time in Networked Automation Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2010

Linear time-varying (max, +) representation of conflicting timed event graphs.

[BibT_eX]

[DOI]

Saïd Amari

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Identification of Discrete Event Systems - Implementation Issues and Model Completeness.

[BibT_eX]

Proceedings of the ICINCO 2010, 2010

An identification method for PLC-based automated Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

2009

Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

Distributed identification of concurrent discrete event systems for fault detection purposes.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

2007

Formal verification of redundant media extension of Ethernet PowerLink.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Performance Verification of discrete Event Systems using Hybrid Model-Checking.

[BibT_eX]

[DOI]

Bruno Denis

Jaime C. L. Ferreira da Silva

Zulema Juárez-Orozco

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2002

Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Modelling and implementing the control of automated production systems using statecharts and PLC programming languages.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

2000

Towards the automatic verification of PLC programs written in Instruction List.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

1999

Formal validation of PLC programs: A survey.

[BibT_eX]

[DOI]

S. Lampérière-Couffin

O. Rossi