المؤلفون: Baubekova, Marzhan M., van Eldik, Koen J., Van De Mortel-Fronczak, Joanna M., Fokkink, Wan J., Rooda, Jacobus E.

المصدر: Baubekova , M M , van Eldik , K J , Van De Mortel-Fronczak , J M , Fokkink , W J & Rooda , J E 2024 , ' SBE configurator : A model generation tool for synthesis of ship lock supervisors ' , IFAC-PapersOnLine , vol. 58 , no. 1 , pp. 288-293 . https://doi.org/10.1016/j.ifacol.2024.07.049

مصطلحات موضوعية: discrete-event systems, finite automata, parametrization, simulation, supervisory control, template design

وصف الملف: application/pdf

الاتاحة: https://research.tue.nl/en/publications/1097da3c-38bd-4726-a940-667dd235d30f
https://doi.org/10.1016/j.ifacol.2024.07.049
https://pure.tue.nl/ws/files/343946501/1-s2.0-S2405896324001277-main.pdf
http://www.scopus.com/inward/record.url?scp=85199488767&partnerID=8YFLogxK

المؤلفون: Goorden, Martijn, van de Mortel-Fronczak, Joanna, van Eldik, Koen, Fokkink, Wan, Rooda, Jacobus

المصدر: Goorden , M , van de Mortel-Fronczak , J , van Eldik , K , Fokkink , W & Rooda , J 2022 , ' Lessons learned in the application of formal methods to the design of a storm surge barrier control system ' , IFAC-PapersOnLine , vol. 55 , no. 28 , pp. 93-99 . https://doi.org/10.1016/j.ifacol.2022.10.329

وصف الملف: application/pdf

الاتاحة: https://research.tue.nl/en/publications/fa73a4c1-99a8-4518-98ad-b70f26f73270
https://doi.org/10.1016/j.ifacol.2022.10.329
https://pure.tue.nl/ws/files/265387348/1_s2.0_S2405896322023667_main.pdf
http://www.scopus.com/inward/record.url?scp=85144345906&partnerID=8YFLogxK

المؤلفون: Baubekova, Marzhan M., van Eldik, Koen J., Mortel-Fronczak, Joanna M. van de, Fokkink, Wan J., Rooda, Jacobus E.

المصدر: IFAC-PapersOnLine; January 2024, Vol. 58 Issue: 1 p288-293, 6p