المؤلفون: Goorden, Martijn A., Larsen, Kim G., Legay, Axel, Lorber, Florian, Nyman, Ulrik, Wasowski, Andrzej

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2302.04529

المؤلفون: Goorden, Martijn A., Larsen, Kim G., Nielsen, Jesper E., Nielsen, Thomas D., Rasmussen, Michael R., Srba, Jiri

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2104.12509

المؤلفون: Goorden, Martijn, van de Mortel-Fronczak, Joanna, Reniers, Michel, Fabian, Martin, Fokkink, Wan, Rooda, Jacobus

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2007.05795

المؤلفون: Fokkink, Wan, Goorden, Martijn

المصدر: Fokkink , W & Goorden , M 2024 , ' Offline supervisory control synthesis : taxonomy and recent developments ' , Discrete Event Dynamic Systems: Theory and Applications , vol. 34 , no. 4 , pp. 605-657 . https://doi.org/10.1007/s10626-024-00408-z

مصطلحات موضوعية: Automata, Control system synthesis, Discrete-event systems, Supervisory control

الاتاحة: https://vbn.aau.dk/da/publications/1098398f-56af-4f47-b0ac-49a0ef966360
https://doi.org/10.1007/s10626-024-00408-z
http://www.scopus.com/inward/record.url?scp=85209065490&partnerID=8YFLogxK

المؤلفون: Kim, Esther H., Goorden, Martijn A., Larsen, Kim G., Nielsen, Thomas D.

المصدر: Journal of Logical and Algebraic Methods in Programming ; volume 141, page 100979 ; ISSN 2352-2208

الاتاحة: https://doi.org/10.1016/j.jlamp.2024.100979
https://api.elsevier.com/content/article/PII:S2352220824000336?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000336?httpAccept=text/plain

المؤلفون: Goorden, Martijn A., Reniers, Michel A.

المصدر: Goorden , M A & Reniers , M A 2024 , ' Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis ' , IFAC-PapersOnLine , vol. 58 , no. 1 , pp. 114-119 . https://doi.org/10.1016/j.ifacol.2024.07.020

مصطلحات موضوعية: discrete event systems, partial observation, supervisory control synthesis

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

الاتاحة: https://research.tue.nl/en/publications/447c4f04-0407-43bb-bb12-fecaf26f3710
https://doi.org/10.1016/j.ifacol.2024.07.020
https://pure.tue.nl/ws/files/335700236/1-s2.0-S2405896324000983-main.pdf
http://www.scopus.com/inward/record.url?scp=85199489008&partnerID=8YFLogxK

المؤلفون: Goorden, Martijn, Larsen, Kim Guldstrand, Nielsen, Jesper Ellerbæk, Nielsen, Thomas Dyhre, Qian, Weizhu, Rasmussen, Michael R., Srba, Jiri, Zhao, Guohan

المصدر: Goorden , M , Larsen , K G , Nielsen , J E , Nielsen , T D , Qian , W , Rasmussen , M R , Srba , J & Zhao , G 2024 , ' Optimal control strategies for stormwater detention ponds ' , Nonlinear Analysis: Hybrid Systems , vol. 53 , 101504 . https://doi.org/10.1016/j.nahs.2024.101504

مصطلحات موضوعية: Stochastic hybrid systems, Switching control, Safe and optimal control, Hydroinformatics, Stormwater detention ponds

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

الاتاحة: https://vbn.aau.dk/da/publications/771ecc4c-f8fa-4355-a573-ea24e0c273a5
https://doi.org/10.1016/j.nahs.2024.101504
https://vbn.aau.dk/ws/files/734738327/1-s2.0-S1751570X24000414-main.pdf
http://www.scopus.com/inward/record.url?scp=85192672817&partnerID=8YFLogxK

المؤلفون: Fokkink, Wan, Goorden, Martijn

المصدر: Discrete Event Dynamic Systems; Dec2024, Vol. 34 Issue 4, p605-657, 53p

المؤلفون: Fokkink, Wan J., Goorden, Martijn A., Hendriks, Dennis, van de Mortel-Fronczak, J.M. (Asia), Oortwijn, Wytse, Rooda, J.E. (Koos)

المصدر: Fokkink , W J , Goorden , M A , Hendriks , D , van de Mortel-Fronczak , J M , Oortwijn , W & Rooda , J E 2023 , ' Synthesis-based engineering of supervisory controllers ' , Mikroniek , vol. 2023 , no. 6 , pp. 22-26 .

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

الاتاحة: https://research.tue.nl/en/publications/c75ea025-b0b7-4b6a-a7b0-5fb9887ad494
https://pure.tue.nl/ws/files/317779797/Mikroniek_2023-6_-_SBE_Supervisory_Controllers.pdf

المؤلفون: Goorden, Martijn, Larsen, Kim Guldstrand, Nielsen, Jesper Ellerbæk, Nielsen, Thomas Dyhre, Qian, Weizhu, Rasmussen, Michael R., Zhao, Guohan

المصدر: Goorden , M , Larsen , K G , Nielsen , J E , Nielsen , T D , Qian , W , Rasmussen , M R & Zhao , G 2023 , Guaranteed safe controller synthesis for switched systems using analytical solutions . in 2023 IEEE Conference on Control Technology and Applications, CCTA 2023 . IEEE (Institute of Electrical and Electronics Engineers) , IEEE Conference on Control Technology and Applications (CCTA) - Proceedings , pp. 784-790 , 2023 Conference on Control Technology and Applications , Bridgetown , Barbados , 16/08/2023 . https://doi.org/10.1109/CCTA54093.2023.10252857

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

الاتاحة: https://vbn.aau.dk/da/publications/d728b269-93bf-402a-9aca-87e4c8ba18c7
https://doi.org/10.1109/CCTA54093.2023.10252857
https://vbn.aau.dk/ws/files/550208619/2023CCTA.pdf
http://www.scopus.com/inward/record.url?scp=85173855509&partnerID=8YFLogxK

المؤلفون: Zhao, Guohan, Rasmussen, Michael R., Larsen, Kim Guldstrand, Srba, Jiri, Nielsen, Thomas Dyhre, Goorden, Martijn, Qian, Weizhu, Nielsen, Jesper Ellerbæk

المصدر: Zhao , G , Rasmussen , M R , Larsen , K G , Srba , J , Nielsen , T D , Goorden , M , Qian , W & Nielsen , J E 2023 , ' Determine stormwater pond geometrics and hydraulics using remote sensing technologies: a comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS ' , Journal of Hydroinformatics , vol. 25 , no. 4 , 1257 , pp. 1256-1275 . https://doi.org/10.2166/hydro.2023.178

مصطلحات موضوعية: airborne-LiDAR, outflow discharges, stormwater ponds geometrics, stream protections, structure from motion, unmanned aerial vehicles

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

الاتاحة: https://vbn.aau.dk/da/publications/2e9bd482-7330-46b0-b07f-8c971c95ad67
https://doi.org/10.2166/hydro.2023.178
https://vbn.aau.dk/ws/files/545272952/jh0251256.pdf
http://www.scopus.com/inward/record.url?scp=85167991355&partnerID=8YFLogxK

المؤلفون: Fokkink, Wan, Goorden, Martijn, Hendriks, Dennis, van Beek, Bert, Hofkamp, Albert, Reijnen, Ferdie, Etman, Pascal, Moormann, Lars, van de Mortel-Fronczak, Joanna, Reniers, M.A., Rooda, Jacobus, van der Sanden, Bram, Schiffelers, Ramon, Thuijsman, Sander, Verbakel, Jeroen, Vogel, Han

المساهمون: Sankaranarayanan, Sriram, Sharygina, Natasha

المصدر: Fokkink , W , Goorden , M , Hendriks , D , van Beek , B , Hofkamp , A , Reijnen , F , Etman , P , Moormann , L , van de Mortel-Fronczak , J , Reniers , M A , Rooda , J , van der Sanden , B , Schiffelers , R , Thuijsman , S , Verbakel , J & Vogel , H 2023 , Eclipse ESCET : The Eclipse Supervisory Control Engineering Toolkit . in S Sankaranarayanan & N Sharygina (eds) , Tools and Algorithms for the Construction and Analysis of Systems ....

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

الاتاحة: https://vbn.aau.dk/da/publications/e49a6baa-6468-4a2e-b60c-ae470590d7a1
https://doi.org/10.1007/978-3-031-30820-8_6
https://vbn.aau.dk/ws/files/513036289/2023TACAS.pdf
https://vbn.aau.dk/ws/files/575416412/978-3-031-30820-8_6.pdf
http://www.scopus.com/inward/record.url?scp=85161450016&partnerID=8YFLogxK

المؤلفون: Goorden, Martijn A., Larsen, Kim G., Legay, Axel, Lorber, Florian, Nyman, Ulrik, Wasowski, Andrzej

المصدر: Goorden , M A , Larsen , K G , Legay , A , Lorber , F , Nyman , U & Wasowski , A 2023 ' Timed I/O Automata : It is never too late to complete your timed specification theory ' arXiv . https://doi.org/10.48550/ARXIV.2302.04529

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

الاتاحة: https://vbn.aau.dk/da/publications/e506413a-43d7-4b1f-bb7b-1dbe8b6b1bcf
https://doi.org/10.48550/ARXIV.2302.04529
https://vbn.aau.dk/ws/files/645428162/Timed_IO_Automata_It_is_never_too_late_to_complete.pdf

المؤلفون: Kim, Esther H., Larsen, Kim G., Goorden, Martijn A., Nielsen, Thomas D.

المساهمون: Innovation Fund Denmark

المصدر: 2024 European Control Conference (ECC)

الاتاحة: http://dx.doi.org/10.23919/ecc64448.2024.10591152
http://xplorestaging.ieee.org/ielx8/10590709/10590710/10591152.pdf?arnumber=10591152

المؤلفون: Fokkink, Wan J., Goorden, Martijn A., van de Mortel-Fronczak, J.M., Reijnen, Ferdie F.H., Rooda, J.E.

المصدر: Fokkink , W J , Goorden , M A , van de Mortel-Fronczak , J M , Reijnen , F F H & Rooda , J E 2022 , ' Supervisor Synthesis: Bridging Theory and Practice ' , Computer , vol. 55 , no. 10 , 9903886 , pp. 48-54 . https://doi.org/10.1109/MC.2021.313493

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

الاتاحة: https://research.tue.nl/en/publications/276527ba-2078-4dad-82a4-255ef4d3fd35
https://doi.org/10.1109/MC.2021.313493
https://pure.tue.nl/ws/files/267866973/Supervisor_Synthesis_Bridging_Theory_and_Practice.pdf

المؤلفون: 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

المؤلفون: Goorden, Martijn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Samusev, Mihhail, Srba, Jiri, Zhao, Guohan

المساهمون: Bouajjani, Ahmed, Holík, Lukáš, Wu, Zhilin

المصدر: Goorden , M , Jensen , P G , Larsen , K G , Samusev , M , Srba , J & Zhao , G 2022 , STOMPC : Stochastic Model-Predictive Control with Uppaal Stratego . in A Bouajjani , L Holík & Z Wu (eds) , International Symposium on Automated Technology for Verification and Analysis : Automated Technology for Verification and Analysis . Springer , Lecture Notes in Computer Science , pp. 327-333 , 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022 , Virtual, Online , 25/10/2022 . https://doi.org/10.1007/978-3-031-19992-9_21

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

Relation: urn:ISBN:9783031199912

الاتاحة: https://vbn.aau.dk/da/publications/50e183ee-d71c-4f8d-8cd4-3b9a89cbb448
https://doi.org/10.1007/978-3-031-19992-9_21
https://vbn.aau.dk/ws/files/489148447/main.pdf
http://www.scopus.com/inward/record.url?scp=85142731647&partnerID=8YFLogxK

المؤلفون: Kim, Esther Hahyeon, Nielsen, Thomas Dyhre, Larsen, Kim Guldstrand, Goorden, Martijn

المصدر: Kim , E H , Nielsen , T D , Larsen , K G & Goorden , M 2022 , Controlling Stormwater Detention Ponds under Partial Observability . in NWPT : 33rd Nordic Workshop on Programming Theory . Nordic Workshop on Programming Theory , pp. 1-3 , Nordic Workshop on Programming Theory , Bergen , Norway , 02/11/2022 . < http://nwpt.w.uib.no/files/2022/11/NWPT22_paper_7938.pdf >

مصطلحات موضوعية: Hybrid Markov Decision Process, Partial Observability, Strategy Synthesis

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

الاتاحة: https://vbn.aau.dk/da/publications/13af6dff-5434-4d32-8760-6e9e10f2b895
https://vbn.aau.dk/ws/files/519292683/NWPT22_paper_7938.pdf
http://nwpt.w.uib.no/files/2022/11/NWPT22_paper_7938.pdf

المؤلفون: Kim, Esther Hahyeon, Larsen, Kim Guldstrand, Nielsen, Thomas Dyhre, Goorden, Martijn

المصدر: Kim , E H , Larsen , K G , Nielsen , T D & Goorden , M 2024 , Data-driven Shielding of Online Reinforcement Learning: a Stormwater Pond case study . in In the proceeding .

الاتاحة: https://vbn.aau.dk/da/publications/f7199ca1-b193-4ced-b11b-be077c7e595e

المؤلفون: Kim, Esther Hahyeon, Nielsen, Thomas Dyhre, Larsen, Kim Guldstrand, Goorden, Martijn, Ghaffari, Mohsen, Wasowski, Andrzej, Høeg-Petersen, Andreas Holck

المصدر: Kim , E H , Nielsen , T D , Larsen , K G , Goorden , M , Ghaffari , M , Wasowski , A & Høeg-Petersen , A H 2024 , ' Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning ' , Journal - in the process , pp. 1-18 .

مصطلحات موضوعية: Stormwater management, Combined sewer overflows, Model predictive control, Control synthesis, Reinforcement learning, /dk/atira/pure/sustainabledevelopmentgoals/clean_water_and_sanitation, name=SDG 6 - Clean Water and Sanitation, /dk/atira/pure/sustainabledevelopmentgoals/industry_innovation_and_infrastructure, name=SDG 9 - Industry, Innovation, and Infrastructure, /dk/atira/pure/sustainabledevelopmentgoals/climate_action, name=SDG 13 - Climate Action

الاتاحة: https://vbn.aau.dk/da/publications/ff1fe156-5dff-4b3b-849b-1467d8624168