Sau, Carlo ; Rinaldi, Claudia ; Pomante, Luigi...
104350.  , 2023

Mohamadkhani, Alireza ; Geilen, Marc ; Voeten, Jeroen.
http://arxiv.org/abs/2312.05011.  , 2023

van der Sanden, L.J ; Geilen, Marc C.W ; Reniers, Michel A.
van der Sanden , L J , Geilen , M C W , Reniers , M A & Basten , A A T 2022 , ' Partial-Order Reduction for Supervisory Controller Synthesis ' , IEEE Transactions on Automatic Control , vol. 67 , no. 2 , pp. 870-885 . https://doi.org/10.1109/TAC.2021.3129161.  , 2022

Hendriks, Martijn ; Geilen, Marc ; Goossens, Kees..
Hendriks , M , Geilen , M , Goossens , K , Jong , R D & Basten , T 2021 , ' Interface Modeling for Quality and Resource Management ' , Logical Methods in Computer Science , vol. 17 , no. 2 , 19 . https://doi.org/10.23638/LMCS-17(2:19)2021.  , 2021

Sanden, Bram van der ; Li, Yonghui ; Aker, Joris van den..
doi:10.5281/zenodo.5146159.  , 2021

van der Sanden, Bram ; Li, Yonghui ; van den Aker, Joris...
van der Sanden , B , Li , Y , van den Aker , J , Akesson , B , Bijlsma , T , Hendriks , M , Triantafyllidis , K , Verriet , J , Voeten , J & Basten , T 2021 , Model-driven system-performance engineering for cyber-physical systems . in Proceedings - 2021 International Conference on Embedded Software, EMSOFT 2021 . Association for Computing Machinery, Inc , New York , pp. 11-22 , 21st ACM SIGBED International Conference on Embedded Software, EMSOFT 2021, held as part of the Embedded Systems Week, ESWEEK 2021 , Virtual, Online , United States , 8/10/21 . https://doi.org/10.1145/3477244.3477985.  , 2021

Sanden, Bram van der ; Li, Yonghui ; Aker, Joris van den..
doi:10.5281/zenodo.5146159.  , 2021

Mohamed, Sajid ; Saraf, Nilay ; Bernardini, Daniele...
Mohamed , S , Saraf , N , Bernardini , D , Goswami , D , Basten , A A & Bemporad , A 2021 , Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variations . in 59th IEEE Conference on Decision and Control (CDC 2020) . , 9303827 , Institute of Electrical and Electronics Engineers , pp. 5236-5242 , 59th IEEE Conference on Decision and Control (CDC 2020) , Virtual, Jeju Island , Korea, Republic of , 14/12/20 . https://doi.org/10.1109/CDC42340.2020.9303827.  , 2021

Detterer, Paul ; Nabi, Majid ; Jiao, Hailong.
Detterer , P , Nabi , M , Jiao , H & Basten , T 2021 , ' Receiver-Sensitivity Control for Energy-Efficient IoT Networks ' , IEEE Communications Letters , vol. 25 , no. 4 , 9277651 , pp. 1383-1386 . https://doi.org/10.1109/LCOMM.2020.3041935.  , 2021

Mohamed, Sajid ; Goswami, Dip ; Basten, A.A. (Twan)
Mohamed , S , Goswami , D & Basten , A A T 2021 , ' Matlab2Trace: A Matlab to Trace translator to visualise and analyse concurrent system activities and execution traces ' , 8th MCAA Annual Conference , 5/03/21 - 7/03/21 . https://doi.org/10.5281/zenodo.4650066.  , 2021

Mohamed, Sajid ; Goswami, Dip ; De, Sayandip.
Mohamed , S , Goswami , D , De , S & Basten , T 2021 , ' Optimizing multiprocessor image-based control through pipelining and parallelism ' , IEEE Access , vol. 9 , 9508439 , pp. 112332-112358 . https://doi.org/10.1109/ACCESS.2021.3103051.  , 2021

Ibrahim, Amr M.E ; Goswami, Dip ; LI, H..
Ibrahim , A M E , Goswami , D , LI , H , Martin Soroa , I & Basten , A A 2021 , ' Multi-layer multi-rate model predictive control for vehicle platooning under IEEE 802.11p ' , Transportation Research Part C: Emerging Technologies , vol. 124 , 102905 . https://doi.org/10.1016/j.trc.2020.102905.  , 2021

Mohamed, Sajid ; Awan, Asad Ullah ; Goswami, Dip.
Mohamed , S , Awan , A U , Goswami , D & Basten , A A 2020 , Designing image-based control systems considering workload variations . in 58th IEEE Conference on Decision and Control (CDC 2019) . , 9030035 , Institute of Electrical and Electronics Engineers , Piscataway , pp. 3997-4004 , 58th IEEE Conference on Decision and Control (CDC 2019) , Nice , France , 11/12/19 . https://doi.org/10.1109/CDC40024.2019.9030035.  , 2020

van den Berg, Freek ; Geilen, Marc C.W ; Basten, A.A. (Twan)
van den Berg , F , Geilen , M C W & Basten , A A T 2020 , ' Model-driven quality and resource management for CPSs ' , ICT.OPEN 2020 , Groningen , Netherlands , 17/03/20 - 18/03/20 ..  , 2020

Elahi, Hossein ; Geilen, Marc C.W ; Basten, A.A. (Twan)
Elahi , H , Geilen , M C W & Basten , A A T 2020 , ' A Compositional Model for Multi-Rate Max-Plus Linear Systems ' , IFAC-PapersOnLine , vol. 53 , no. 4 , pp. 54-61 . https://doi.org/10.1016/j.ifacol.2021.04.006.  , 2020