Identification of partially observable discrete event manufacturing systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2013, Pages

  Estrada Vargas, Ana Paula ^a   Lopez Mellado, Ernesto ^b   Lesage, Jean Jacques ^a  

^a Ecole Normale Superieure de Cachan   (France)

^b UNIDAD GUADALAJARA   (Mexico)

Author keywords

Automated manufacturing systems; Black box identification; Internal behaviour model; Interpreted Petri nets

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; BEHAVIOUR MODELS; BLACK-BOX IDENTIFICATION; COMPLEX INDUSTRIAL SYSTEMS; DISCRETE EVENT MANUFACTURING SYSTEMS; IDENTIFICATION METHOD; INTERPRETED PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS (PLC);

FACTORY AUTOMATION; FAULT TOLERANT COMPUTER SYSTEMS;

MANUFACTURE;

EID: 84890777522     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2013.6648052     Document Type: Conference Paper

References (18)

1. E. M. Gold, "Language Identification in the Limit", Information andControl, 10(5), pp. 447-474, 1967
2. D. Angluin, "Queries and Concept Learning", Machine Learning, 2(4),pp. 319-342, 1988
3. K. Hiraishi, "Construction of Safe Petri Nets by Presenting FiringSequences", Lectures Notes in Computer Sciences, Vol. 616, pp. 244-262, 1992
4. M. Meda-Campaña, E. López-Mellado, "A passive method for on-lineidentification of discrete event systems", Proc. of the IEEE Int. Conf. onDecision and Control, Orlando, FL, USA. pp. 4990-4995, Dec. 2001
5. M. Meda-Campaña, E. López-Mellado, "Identification of ConcurrentDiscrete Event Systems Using Petri Nets", Proc. of the IMACS 2005World Congress, Paris, France, pp. 1-7, July 2005
6. S. Klein, L. Litz, J.-J. Lesage, "Fault detection of Discrete EventSystems using an identification approach", Proc. of 16th IFAC WorldCongress, Paper n02643, 6 pages, Praha (Czech Republic), July 2005
7. M. Roth, J.-J. Lesage, L. Litz, "An FDI Method for ManufacturingSystems Based on an Identified Model", Proc. of IFAC Symposium onInformation Control Problems in Manufacturing (INCOM 2009),Moscow, Russia, pp. 1389-1394, June 2009
8. M. Roth, J.-J. Lesage, L. Litz, "Black-box identification of discreteevent systems with optimal partitioning of concurrent subsystems", Proc.of the American Control Conf. (ACC 2010), Baltimore, Maryland, USA,pp. 2601-2606, June 2010
9. A. Giua and C. Seatzu, "Identification of free-labeled Petri nets viainteger programming", Proc. of the 44th IEEE Conf. on Decision andControl, Seville, Spain, Dec. 2005
10. M. P. Cabasino, A. Giua and C. Seatzu, "Identification of Petri Nets fromKnowledge of Their Language", Discrete Event Dynamic Systems,17(4), pp. 447-474, 2007
11. M. Dotoli, M. P. Fanti, A. M. Mangini, "Real time identification ofdiscrete event systems using Petri nets", Automatica, 44(5), pp. 1209-1219, May 2008
12. Ould El Mehdi S., Bekrar R., Messai N., Leclercq E., Lefebvre D., RieraB., Design and identification of Stochastic and Deterministic- StochasticPetri Nets, Trans. IEEE-SMCA, Part A, 42( 4), pp. 931-946, July 2012
13. A. P. Estrada-Vargas, E. López-Mellado, J.-J. Lesage. "A ComparativeAnalysis of Recent Identification Approaches for Discrete- EventSystems", Mathematical Problems in Engineering, Vol. 2010, Hindawi.doi:10. 1155/2010/453254
14. M. P. Cabasino, P. Darondeau, M. P. Fanti, C. Seatzu, "Modelidentification and synthesis of discrete-event systems", ContemporaryIssues in System Science and Engineering, IEEE/Wiley Press BookSeries, M. Zhou, H.-X. Lim M. Weijnen (Eds), 2013.
15. W. Van der Aalst, "Process Mining: Discovery, Conformance andEnhancement of Business Processes". Springer-Verlag, Berlin 2011.
16. A. P. Estrada-Vargas, J.-J. Lesage, E. López-Mellado, "Identification ofIndustrial Automation Systems: Building Compact and Expressive PetriNet Models from Observable Behavior", Proc. of American ControlConference, pp. 6095-6101, Montréal (Canada), June 2012.
17. R. David and H. Alla, "Petri Nets for Modeling of Dynamic SystemsASurvey", Automatica, 30(2), pp. 175-202, 1994
18. A. P. Estrada-Vargas, "Black-box Identification of Automated DiscreteEvent Systems", Ph. D. Thesis, CINVESTAV Unidad Guadalajara,Guadalajara, Mexico. http://www. gdl. cinvestav. mx/dehs-2013/tae. pdf