Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Manel Khlif-Bouassida"'
Publikováno v:
Lecture Notes in Control and Information Sciences-Proceedings ISBN: 9783030853174
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ddafef3e8257844c9c55f73796b07265
https://doi.org/10.1007/978-3-030-85318-1_69
https://doi.org/10.1007/978-3-030-85318-1_69
Publikováno v:
IEEE Transactions on Automation Science and Engineering
IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2020, 17 (2), pp.1061-1069. ⟨10.1109/TASE.2019.2933230⟩
IEEE Transactions on Automation Science and Engineering, 2020, 17 (2), pp.1061-1069. ⟨10.1109/TASE.2019.2933230⟩
IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2020, 17 (2), pp.1061-1069. ⟨10.1109/TASE.2019.2933230⟩
IEEE Transactions on Automation Science and Engineering, 2020, 17 (2), pp.1061-1069. ⟨10.1109/TASE.2019.2933230⟩
This article addresses the combinatorial explosion problem for diagnosability analysis of discrete event systems (DESs) using bounded labeled Petri nets (LPNs). Some reduction rules are given to simplify a priori the LPN model before analyzing the di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0f03893a0db7106575df26ddb52fd8f
https://hal.archives-ouvertes.fr/hal-03514573
https://hal.archives-ouvertes.fr/hal-03514573
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 28, Iss 2, Pp 269-281 (2018)
International Journal of Applied Mathematics and Computer Science
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2018, 28 (2), pp.269-281. ⟨10.2478/amcs-2018-0019⟩
International Journal of Applied Mathematics and Computer Science
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2018, 28 (2), pp.269-281. ⟨10.2478/amcs-2018-0019⟩
This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or unbounded with no deadlock after firing any fault transition. Our approach is novel a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7824dd183e6516825f72c3b6876f850a
https://doi.org/10.2478/amcs-2018-0019
https://doi.org/10.2478/amcs-2018-0019
Publikováno v:
IFAC-Papers
IFAC-PapersOnLine, Elsevier, 2020, 53 (4), pp.173-179. ⟨10.1016/j.ifacol.2021.04.017⟩
IFAC-PapersOnLine, 2020, 53 (4), pp.173-179. ⟨10.1016/j.ifacol.2021.04.017⟩
IFAC-PapersOnLine, Elsevier, 2020, 53 (4), pp.173-179. ⟨10.1016/j.ifacol.2021.04.017⟩
IFAC-PapersOnLine, 2020, 53 (4), pp.173-179. ⟨10.1016/j.ifacol.2021.04.017⟩
This paper presents a deadlock control policy for a class of Petri nets with partial controllability and observability. This method is applied to Systems of Simple Sequential Process with Multiple Resources (S3PMR). This class of Petri nets is used t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99c1b3c901646e040393dc82f53a9e62
https://hal.archives-ouvertes.fr/hal-03514596
https://hal.archives-ouvertes.fr/hal-03514596
Publikováno v:
CoDIT
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1923-1928, ⟨10.1109/CoDIT.2019.8820580⟩
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1923-1928, ⟨10.1109/CoDIT.2019.8820580⟩
This paper presents a collisions avoidance and a deadlocks prevention method for automatic trains routing in railway nodes. This method allows controlling train routing which depends on the position of other trains in the node. This control is based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fed16bb0377c0e01d42a351207347da3
https://doi.org/10.1109/codit.2019.8820580
https://doi.org/10.1109/codit.2019.8820580
Publikováno v:
The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress
The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, Jul 2017, Toulouse, France. pp.13618-13623, ⟨10.1016/j.ifacol.2017.08.2387⟩
The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, Jul 2017, Toulouse, France. pp.13618-13623, ⟨10.1016/j.ifacol.2017.08.2387⟩
This paper addresses the modular diagnosability verification of discrete event system (DES). We assume that the language generated by each automaton module can have deadlocks and that the common events among modules are observable. A new algorithm is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cce75fc68ee783635509cc958c755a40
https://hal.archives-ouvertes.fr/hal-01740392
https://hal.archives-ouvertes.fr/hal-01740392
Publikováno v:
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol)
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol), Sep 2016, Barcelona, France. ⟨10.1109/SYSTOL.2016.7739768⟩
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol), Sep 2016, Barcelona, France. ⟨10.1109/SYSTOL.2016.7739768⟩
In this paper, the on-the-fly diagnosability analysis using Verifier Nets (VN) is developed. The objective is to improve the VN approach by using on-the-fly diagnosability analysis technique. The diagnosability is analyzed in the framework of bounded
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1eae91cd20a2ec03425333295d30f056
https://hal.archives-ouvertes.fr/hal-01740398
https://hal.archives-ouvertes.fr/hal-01740398
Publikováno v:
WODES
2016 13th International Workshop on Discrete Event Systems (WODES)
2016 13th International Workshop on Discrete Event Systems (WODES), May 2016, Xi'an, France. ⟨10.1109/WODES.2016.7497844⟩
2016 13th International Workshop on Discrete Event Systems (WODES)
2016 13th International Workshop on Discrete Event Systems (WODES), May 2016, Xi'an, France. ⟨10.1109/WODES.2016.7497844⟩
This paper addresses the combinatorial explosion problem for diagnosability analysis of discrete event systems (DESs). Some reduction rules are given to simplify a priori the labeled Petri net (LPN) model before analyzing the diagnosability. When the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6288b89354d425c49d9aae9865271b1a
https://doi.org/10.1109/wodes.2016.7497844
https://doi.org/10.1109/wodes.2016.7497844
Publikováno v:
5th IFAC International Workshop on Dependable Control of Discrete Systems DCDS 2015
5th IFAC International Workshop on Dependable Control of Discrete Systems DCDS 2015, May 2015, Cancun, Mexico. pp.64-70, ⟨10.1016/j.ifacol.2015.06.474⟩
5th IFAC International Workshop on Dependable Control of Discrete Systems DCDS 2015, May 2015, Cancun, Mexico. pp.64-70, ⟨10.1016/j.ifacol.2015.06.474⟩
Diagnosability is a key property at the design stage that refers the ability to indicate unambiguously a failure behavior only from system available observations in finite time after the fault occurrence. Diagnosability has a significant impact on th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::668e94f71747505a590e7adb37c2b7dd
https://hal.archives-ouvertes.fr/hal-01740386
https://hal.archives-ouvertes.fr/hal-01740386