Simultaneous occurrences and false-positives analysis in discrete event dynamic systems
Simultaneous occurrences of events have been a crucial and hard problem since the beginning of the research about automaton and simulation theories of discrete event systems, for more than 50 years. This article addresses some diagnosis problems in industrial processes, situations such as simultanei...
- Autores:
-
Vásquez Capacho, John William
Perez-Zuñiga, Gustavo
Muñoz Maldonado, Yecid Alfonso
Ospino C., Adalberto
Ospino C., Adalberto
- Tipo de recurso:
- http://purl.org/coar/resource_type/c_816b
- Fecha de publicación:
- 2020
- Institución:
- Corporación Universidad de la Costa
- Repositorio:
- REDICUC - Repositorio CUC
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.cuc.edu.co:11323/6903
- Acceso en línea:
- https://hdl.handle.net/11323/6903
https://doi.org/10.1016/j.jocs.2020.101162
https://repositorio.cuc.edu.co/
- Palabra clave:
- Simultaneous analysis
V-nets
False positives results
Discrete time systems
Diagnosis
Chronicles
- Rights
- closedAccess
- License
- CC0 1.0 Universal
id |
RCUC2_1e47c4969486e9acb4707fe3e023cd87 |
---|---|
oai_identifier_str |
oai:repositorio.cuc.edu.co:11323/6903 |
network_acronym_str |
RCUC2 |
network_name_str |
REDICUC - Repositorio CUC |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
title |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
spellingShingle |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems Simultaneous analysis V-nets False positives results Discrete time systems Diagnosis Chronicles |
title_short |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
title_full |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
title_fullStr |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
title_full_unstemmed |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
title_sort |
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems |
dc.creator.fl_str_mv |
Vásquez Capacho, John William Perez-Zuñiga, Gustavo Muñoz Maldonado, Yecid Alfonso Ospino C., Adalberto Ospino C., Adalberto |
dc.contributor.author.spa.fl_str_mv |
Vásquez Capacho, John William Perez-Zuñiga, Gustavo Muñoz Maldonado, Yecid Alfonso Ospino C., Adalberto |
dc.contributor.author.none.fl_str_mv |
Ospino C., Adalberto |
dc.subject.spa.fl_str_mv |
Simultaneous analysis V-nets False positives results Discrete time systems Diagnosis Chronicles |
topic |
Simultaneous analysis V-nets False positives results Discrete time systems Diagnosis Chronicles |
description |
Simultaneous occurrences of events have been a crucial and hard problem since the beginning of the research about automaton and simulation theories of discrete event systems, for more than 50 years. This article addresses some diagnosis problems in industrial processes, situations such as simultaneity of events, false positives, and partial recognition of event sequences. V-nets are presented as a means to model dynamic processes without the state machine concept and, the robustness and capability to identify different sequences of discrete events. With the V-nets formalism, it is possible to identify the evolution of the discrete events, simultaneous occurrences of events, partial recognition, counting the number of times that each discrete event occurred in a temporal sequence and this formalism also has the capability to model sequences of sequences. An example of one industrial application is presented and a comparative analysis of the Time Petri Nets, Timed Automata, and Chronicles with the V-nets is exposed. |
publishDate |
2020 |
dc.date.accessioned.none.fl_str_mv |
2020-08-10T20:07:22Z |
dc.date.available.none.fl_str_mv |
2020-08-10T20:07:22Z |
dc.date.issued.none.fl_str_mv |
2020 |
dc.type.spa.fl_str_mv |
Pre-Publicación |
dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_816b |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/preprint |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ARTOTR |
dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
format |
http://purl.org/coar/resource_type/c_816b |
status_str |
acceptedVersion |
dc.identifier.uri.spa.fl_str_mv |
https://hdl.handle.net/11323/6903 |
dc.identifier.doi.spa.fl_str_mv |
https://doi.org/10.1016/j.jocs.2020.101162 |
dc.identifier.instname.spa.fl_str_mv |
Corporación Universidad de la Costa |
dc.identifier.reponame.spa.fl_str_mv |
REDICUC - Repositorio CUC |
dc.identifier.repourl.spa.fl_str_mv |
https://repositorio.cuc.edu.co/ |
url |
https://hdl.handle.net/11323/6903 https://doi.org/10.1016/j.jocs.2020.101162 https://repositorio.cuc.edu.co/ |
identifier_str_mv |
Corporación Universidad de la Costa REDICUC - Repositorio CUC |
dc.language.iso.none.fl_str_mv |
eng |
language |
eng |
dc.rights.spa.fl_str_mv |
CC0 1.0 Universal |
dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/publicdomain/zero/1.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/closedAccess |
dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_14cb |
rights_invalid_str_mv |
CC0 1.0 Universal http://creativecommons.org/publicdomain/zero/1.0/ http://purl.org/coar/access_right/c_14cb |
eu_rights_str_mv |
closedAccess |
dc.publisher.spa.fl_str_mv |
Corporación Universidad de la Costa |
institution |
Corporación Universidad de la Costa |
dc.source.url.spa.fl_str_mv |
https://www.sciencedirect.com/science/article/abs/pii/S1877750320304634#! |
bitstream.url.fl_str_mv |
https://repositorio.cuc.edu.co/bitstreams/5f8a7a5f-4e52-4093-88a8-1122977e3a54/download https://repositorio.cuc.edu.co/bitstreams/135a38a1-6563-4cc3-a2d6-52ff296365c0/download https://repositorio.cuc.edu.co/bitstreams/c6bbe3f1-e1f9-4151-bb32-01091add4d28/download https://repositorio.cuc.edu.co/bitstreams/41a20c18-2016-4ef6-afb8-d836cf79d400/download https://repositorio.cuc.edu.co/bitstreams/ea22a88d-aa96-4786-b86e-5455efe6af1f/download |
bitstream.checksum.fl_str_mv |
cc2197119ee8a86f103fda866bf46333 42fd4ad1e89814f5e4a476b409eb708c e30e9215131d99561d40d6b0abbe9bad 616bf365e18dc082fbd5979eb3847171 bc60d35ed6c477272c7dd076d389f9c3 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio de la Universidad de la Costa CUC |
repository.mail.fl_str_mv |
repdigital@cuc.edu.co |
_version_ |
1828166807131783168 |
spelling |
Vásquez Capacho, John WilliamPerez-Zuñiga, GustavoMuñoz Maldonado, Yecid AlfonsoOspino C., AdalbertoOspino C., Adalbertovirtual::913-12020-08-10T20:07:22Z2020-08-10T20:07:22Z2020https://hdl.handle.net/11323/6903https://doi.org/10.1016/j.jocs.2020.101162Corporación Universidad de la CostaREDICUC - Repositorio CUChttps://repositorio.cuc.edu.co/Simultaneous occurrences of events have been a crucial and hard problem since the beginning of the research about automaton and simulation theories of discrete event systems, for more than 50 years. This article addresses some diagnosis problems in industrial processes, situations such as simultaneity of events, false positives, and partial recognition of event sequences. V-nets are presented as a means to model dynamic processes without the state machine concept and, the robustness and capability to identify different sequences of discrete events. With the V-nets formalism, it is possible to identify the evolution of the discrete events, simultaneous occurrences of events, partial recognition, counting the number of times that each discrete event occurred in a temporal sequence and this formalism also has the capability to model sequences of sequences. An example of one industrial application is presented and a comparative analysis of the Time Petri Nets, Timed Automata, and Chronicles with the V-nets is exposed.Vásquez Capacho, John WilliamPerez-Zuñiga, Gustavo-will be generated-orcid-0000-0001-5946-1395-600Muñoz Maldonado, Yecid Alfonso-will be generated-orcid-0000-0002-5151-1068-600Ospino C., Adalberto-will be generated-orcid-0000-0003-1466-0424-600engCorporación Universidad de la CostaCC0 1.0 Universalhttp://creativecommons.org/publicdomain/zero/1.0/info:eu-repo/semantics/closedAccesshttp://purl.org/coar/access_right/c_14cbSimultaneous analysisV-netsFalse positives resultsDiscrete time systemsDiagnosisChroniclesSimultaneous occurrences and false-positives analysis in discrete event dynamic systemsPre-Publicaciónhttp://purl.org/coar/resource_type/c_816bTextinfo:eu-repo/semantics/preprinthttp://purl.org/redcol/resource_type/ARTOTRinfo:eu-repo/semantics/acceptedVersionhttps://www.sciencedirect.com/science/article/abs/pii/S1877750320304634#!Publicationaf89e44d-2c08-45ae-b01c-cd941b86fa8avirtual::913-1af89e44d-2c08-45ae-b01c-cd941b86fa8avirtual::913-1https://scholar.google.es/citations?user=ODmDjToAAAAJ&hl=esvirtual::913-10000-0003-1466-0424virtual::913-1ORIGINALSIMULTANEOUS OCCURRENCES AND FALSE-POSITIVES ANALYSIS IN DISCRETE EVENT DYNAMIC SYSTEMS.pdfSIMULTANEOUS OCCURRENCES AND FALSE-POSITIVES ANALYSIS IN DISCRETE EVENT DYNAMIC SYSTEMS.pdfapplication/pdf6626https://repositorio.cuc.edu.co/bitstreams/5f8a7a5f-4e52-4093-88a8-1122977e3a54/downloadcc2197119ee8a86f103fda866bf46333MD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8701https://repositorio.cuc.edu.co/bitstreams/135a38a1-6563-4cc3-a2d6-52ff296365c0/download42fd4ad1e89814f5e4a476b409eb708cMD52LICENSElicense.txtlicense.txttext/plain; charset=utf-83196https://repositorio.cuc.edu.co/bitstreams/c6bbe3f1-e1f9-4151-bb32-01091add4d28/downloade30e9215131d99561d40d6b0abbe9badMD53THUMBNAILSIMULTANEOUS OCCURRENCES AND FALSE-POSITIVES ANALYSIS IN DISCRETE EVENT DYNAMIC SYSTEMS.pdf.jpgSIMULTANEOUS OCCURRENCES AND FALSE-POSITIVES ANALYSIS IN DISCRETE EVENT DYNAMIC SYSTEMS.pdf.jpgimage/jpeg61847https://repositorio.cuc.edu.co/bitstreams/41a20c18-2016-4ef6-afb8-d836cf79d400/download616bf365e18dc082fbd5979eb3847171MD54TEXTSIMULTANEOUS OCCURRENCES AND FALSE-POSITIVES ANALYSIS IN DISCRETE EVENT DYNAMIC SYSTEMS.pdf.txtSIMULTANEOUS OCCURRENCES AND FALSE-POSITIVES ANALYSIS IN DISCRETE EVENT DYNAMIC SYSTEMS.pdf.txttext/plain1383https://repositorio.cuc.edu.co/bitstreams/ea22a88d-aa96-4786-b86e-5455efe6af1f/downloadbc60d35ed6c477272c7dd076d389f9c3MD5511323/6903oai:repositorio.cuc.edu.co:11323/69032025-02-25 11:44:59.77http://creativecommons.org/publicdomain/zero/1.0/CC0 1.0 Universalopen.accesshttps://repositorio.cuc.edu.coRepositorio de la Universidad de la Costa CUCrepdigital@cuc.edu.coQXV0b3Jpem8gKGF1dG9yaXphbW9zKSBhIGxhIEJpYmxpb3RlY2EgZGUgbGEgSW5zdGl0dWNpw7NuIHBhcmEgcXVlIGluY2x1eWEgdW5hIGNvcGlhLCBpbmRleGUgeSBkaXZ1bGd1ZSBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsLCBsYSBvYnJhIG1lbmNpb25hZGEgY29uIGVsIGZpbiBkZSBmYWNpbGl0YXIgbG9zIHByb2Nlc29zIGRlIHZpc2liaWxpZGFkIGUgaW1wYWN0byBkZSBsYSBtaXNtYSwgY29uZm9ybWUgYSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBxdWUgbWUobm9zKSBjb3JyZXNwb25kZShuKSB5IHF1ZSBpbmNsdXllbjogbGEgcmVwcm9kdWNjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSwgZGlzdHJpYnVjacOzbiBhbCBww7pibGljbywgdHJhbnNmb3JtYWNpw7NuLCBkZSBjb25mb3JtaWRhZCBjb24gbGEgbm9ybWF0aXZpZGFkIHZpZ2VudGUgc29icmUgZGVyZWNob3MgZGUgYXV0b3IgeSBkZXJlY2hvcyBjb25leG9zIHJlZmVyaWRvcyBlbiBhcnQuIDIsIDEyLCAzMCAobW9kaWZpY2FkbyBwb3IgZWwgYXJ0IDUgZGUgbGEgbGV5IDE1MjAvMjAxMiksIHkgNzIgZGUgbGEgbGV5IDIzIGRlIGRlIDE5ODIsIExleSA0NCBkZSAxOTkzLCBhcnQuIDQgeSAxMSBEZWNpc2nDs24gQW5kaW5hIDM1MSBkZSAxOTkzIGFydC4gMTEsIERlY3JldG8gNDYwIGRlIDE5OTUsIENpcmN1bGFyIE5vIDA2LzIwMDIgZGUgbGEgRGlyZWNjacOzbiBOYWNpb25hbCBkZSBEZXJlY2hvcyBkZSBhdXRvciwgYXJ0LiAxNSBMZXkgMTUyMCBkZSAyMDEyLCBsYSBMZXkgMTkxNSBkZSAyMDE4IHkgZGVtw6FzIG5vcm1hcyBzb2JyZSBsYSBtYXRlcmlhLg0KDQpBbCByZXNwZWN0byBjb21vIEF1dG9yKGVzKSBtYW5pZmVzdGFtb3MgY29ub2NlciBxdWU6DQoNCi0gTGEgYXV0b3JpemFjacOzbiBlcyBkZSBjYXLDoWN0ZXIgbm8gZXhjbHVzaXZhIHkgbGltaXRhZGEsIGVzdG8gaW1wbGljYSBxdWUgbGEgbGljZW5jaWEgdGllbmUgdW5hIHZpZ2VuY2lhLCBxdWUgbm8gZXMgcGVycGV0dWEgeSBxdWUgZWwgYXV0b3IgcHVlZGUgcHVibGljYXIgbyBkaWZ1bmRpciBzdSBvYnJhIGVuIGN1YWxxdWllciBvdHJvIG1lZGlvLCBhc8OtIGNvbW8gbGxldmFyIGEgY2FibyBjdWFscXVpZXIgdGlwbyBkZSBhY2Npw7NuIHNvYnJlIGVsIGRvY3VtZW50by4NCg0KLSBMYSBhdXRvcml6YWNpw7NuIHRlbmRyw6EgdW5hIHZpZ2VuY2lhIGRlIGNpbmNvIGHDsW9zIGEgcGFydGlyIGRlbCBtb21lbnRvIGRlIGxhIGluY2x1c2nDs24gZGUgbGEgb2JyYSBlbiBlbCByZXBvc2l0b3JpbywgcHJvcnJvZ2FibGUgaW5kZWZpbmlkYW1lbnRlIHBvciBlbCB0aWVtcG8gZGUgZHVyYWNpw7NuIGRlIGxvcyBkZXJlY2hvcyBwYXRyaW1vbmlhbGVzIGRlbCBhdXRvciB5IHBvZHLDoSBkYXJzZSBwb3IgdGVybWluYWRhIHVuYSB2ZXogZWwgYXV0b3IgbG8gbWFuaWZpZXN0ZSBwb3IgZXNjcml0byBhIGxhIGluc3RpdHVjacOzbiwgY29uIGxhIHNhbHZlZGFkIGRlIHF1ZSBsYSBvYnJhIGVzIGRpZnVuZGlkYSBnbG9iYWxtZW50ZSB5IGNvc2VjaGFkYSBwb3IgZGlmZXJlbnRlcyBidXNjYWRvcmVzIHkvbyByZXBvc2l0b3Jpb3MgZW4gSW50ZXJuZXQgbG8gcXVlIG5vIGdhcmFudGl6YSBxdWUgbGEgb2JyYSBwdWVkYSBzZXIgcmV0aXJhZGEgZGUgbWFuZXJhIGlubWVkaWF0YSBkZSBvdHJvcyBzaXN0ZW1hcyBkZSBpbmZvcm1hY2nDs24gZW4gbG9zIHF1ZSBzZSBoYXlhIGluZGV4YWRvLCBkaWZlcmVudGVzIGFsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwgZGUgbGEgSW5zdGl0dWNpw7NuLCBkZSBtYW5lcmEgcXVlIGVsIGF1dG9yKHJlcykgdGVuZHLDoW4gcXVlIHNvbGljaXRhciBsYSByZXRpcmFkYSBkZSBzdSBvYnJhIGRpcmVjdGFtZW50ZSBhIG90cm9zIHNpc3RlbWFzIGRlIGluZm9ybWFjacOzbiBkaXN0aW50b3MgYWwgZGUgbGEgSW5zdGl0dWNpw7NuIHNpIGRlc2VhIHF1ZSBzdSBvYnJhIHNlYSByZXRpcmFkYSBkZSBpbm1lZGlhdG8uDQoNCi0gTGEgYXV0b3JpemFjacOzbiBkZSBwdWJsaWNhY2nDs24gY29tcHJlbmRlIGVsIGZvcm1hdG8gb3JpZ2luYWwgZGUgbGEgb2JyYSB5IHRvZG9zIGxvcyBkZW3DoXMgcXVlIHNlIHJlcXVpZXJhIHBhcmEgc3UgcHVibGljYWNpw7NuIGVuIGVsIHJlcG9zaXRvcmlvLiBJZ3VhbG1lbnRlLCBsYSBhdXRvcml6YWNpw7NuIHBlcm1pdGUgYSBsYSBpbnN0aXR1Y2nDs24gZWwgY2FtYmlvIGRlIHNvcG9ydGUgZGUgbGEgb2JyYSBjb24gZmluZXMgZGUgcHJlc2VydmFjacOzbiAoaW1wcmVzbywgZWxlY3Ryw7NuaWNvLCBkaWdpdGFsLCBJbnRlcm5ldCwgaW50cmFuZXQsIG8gY3VhbHF1aWVyIG90cm8gZm9ybWF0byBjb25vY2lkbyBvIHBvciBjb25vY2VyKS4NCg0KLSBMYSBhdXRvcml6YWNpw7NuIGVzIGdyYXR1aXRhIHkgc2UgcmVudW5jaWEgYSByZWNpYmlyIGN1YWxxdWllciByZW11bmVyYWNpw7NuIHBvciBsb3MgdXNvcyBkZSBsYSBvYnJhLCBkZSBhY3VlcmRvIGNvbiBsYSBsaWNlbmNpYSBlc3RhYmxlY2lkYSBlbiBlc3RhIGF1dG9yaXphY2nDs24uDQoNCi0gQWwgZmlybWFyIGVzdGEgYXV0b3JpemFjacOzbiwgc2UgbWFuaWZpZXN0YSBxdWUgbGEgb2JyYSBlcyBvcmlnaW5hbCB5IG5vIGV4aXN0ZSBlbiBlbGxhIG5pbmd1bmEgdmlvbGFjacOzbiBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gRW4gY2FzbyBkZSBxdWUgZWwgdHJhYmFqbyBoYXlhIHNpZG8gZmluYW5jaWFkbyBwb3IgdGVyY2Vyb3MgZWwgbyBsb3MgYXV0b3JlcyBhc3VtZW4gbGEgcmVzcG9uc2FiaWxpZGFkIGRlbCBjdW1wbGltaWVudG8gZGUgbG9zIGFjdWVyZG9zIGVzdGFibGVjaWRvcyBzb2JyZSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBkZSBsYSBvYnJhIGNvbiBkaWNobyB0ZXJjZXJvLg0KDQotIEZyZW50ZSBhIGN1YWxxdWllciByZWNsYW1hY2nDs24gcG9yIHRlcmNlcm9zLCBlbCBvIGxvcyBhdXRvcmVzIHNlcsOhbiByZXNwb25zYWJsZXMsIGVuIG5pbmfDum4gY2FzbyBsYSByZXNwb25zYWJpbGlkYWQgc2Vyw6EgYXN1bWlkYSBwb3IgbGEgaW5zdGl0dWNpw7NuLg0KDQotIENvbiBsYSBhdXRvcml6YWNpw7NuLCBsYSBpbnN0aXR1Y2nDs24gcHVlZGUgZGlmdW5kaXIgbGEgb2JyYSBlbiDDrW5kaWNlcywgYnVzY2Fkb3JlcyB5IG90cm9zIHNpc3RlbWFzIGRlIGluZm9ybWFjacOzbiBxdWUgZmF2b3JlemNhbiBzdSB2aXNpYmlsaWRhZA== |