| Modular model-based supervisory controller design for wafer logistics in lithography machines B van der Sanden, M Reniers, M Geilen, T Basten, J Jacobs, J Voeten, ... 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 46 | 2015 |
| Compositional specification of functionality and timing of manufacturing systems B van der Sanden, J Bastos, J Voeten, M Geilen, M Reniers, T Basten, ... 2016 Forum on Specification and Design Languages (FDL), 1-8, 2016 | 33 | 2016 |
| xCPS: A tool to explore cyber physical systems S Adyanthaya, HA Ara, J Bastos, A Behrouzian, RM Sánchez, ... ACM sigbed review 14 (1), 81-95, 2017 | 28 | 2017 |
| Performance analysis and optimization of supervisory controllers LJ van der Sanden | 19 | 2018 |
| Model-driven system-performance engineering for cyber-physical systems B Van der Sanden, Y Li, J van den Aker, B Akesson, T Bijlsma, ... Proceedings of the 2021 International Conference on Embedded Software, 11-22, 2021 | 15 | 2021 |
| LSAT: Specification and analysis of product logistics in flexible manufacturing systems B van der Sanden, Y Blankenstein, R Schiffelers, J Voeten 2021 IEEE 17th International Conference on Automation Science and …, 2021 | 14 | 2021 |
| Scenarios in the design of flexible manufacturing systems F Catthoor, T Basten, N Zompakis, M Geilen, PG Kjeldsberg, T Basten, ... System-scenario-based design principles and applications, 181-224, 2020 | 11 | 2020 |
| Partial-order reduction for performance analysis of max-plus timed systems B van der Sanden, M Geilen, M Reniers, T Basten 2018 18th International conference on Application of Concurrency to System …, 2018 | 11 | 2018 |
| Eclipse ESCET™: The eclipse supervisory control engineering toolkit WJ Fokkink, MA Goorden, D Hendriks, DA van Beek, AT Hofkamp, ... International Conference on Tools and Algorithms for the Construction and …, 2023 | 10 | 2023 |
| Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems BJC van Putten, B van der Sanden, M Reniers, J Voeten, R Schiffelers Discrete Event Dynamic Systems 31, 103-135, 2021 | 9 | 2021 |
| Decision support methodology for evolutionary embedded system design T Bijlsma, B van der Sanden, Y Li, R Janssen, R Tinsel 2019 International Symposium on Systems Engineering (ISSE), 1-8, 2019 | 9 | 2019 |
| Partial-order reduction for supervisory controller synthesis B van der Sanden, M Geilen, M Reniers, T Basten IEEE Transactions on Automatic Control 67 (2), 870-885, 2021 | 8 | 2021 |
| Exploring DSL evolutionary patterns in practice: a study of DSL evolution in a large-scale industrial DSL repository JGM Mengerink, B van der Sanden, BCM Cappers, A Serebrenik, ... 6th International Conference on Model-Driven Engineering and Software …, 2018 | 8 | 2018 |
| Towards generic MDE support for extracting purpose-specific healthcare models from annotated, unstructured texts P Van Gorp, I Vanderfeesten, W Dalinghaus, J Mengerink, ... Foundations of Health Information Engineering and Systems: Second …, 2013 | 8 | 2013 |
| Component-wise supervisory controller synthesis in a client/server architecture R Loose, B van der Sanden, M Reniers, R Schiffelers IFAC-PapersOnLine 51 (7), 381-387, 2018 | 7 | 2018 |
| Identifying bottlenecks in manufacturing systems using stochastic criticality analysis J Bastos, B van der Sanden, O Donk, J Voeten, S Stuijk, R Schiffelers, ... 2017 Forum on specification and Design Languages (FDL), 1-8, 2017 | 7 | 2017 |
| Architectural guidance in automotive for privacy and security: survey and classification B van der Sanden, A Vasenev 2020 IEEE International Systems Conference (SysCon), 1-8, 2020 | 4 | 2020 |
| Parse Forest Disambiguation B van der Sanden Eindhoven University of Technology, 2014 | 4 | 2014 |
| Partial-order reduction for synthesis and performance analysis of supervisory controllers B van der Sanden, M Geilen, M Reniers, T Basten Eindhoven University of Technology, Tech. Rep. ESR-2019-02, 2019 | 2 | 2019 |
| Solving ratio games: algorithms and experimental evaluation B van der Sanden, M Geilen, M Reniers, T Basten Technical Report ESR-2018-03, Eindhoven University of Technology, Department …, 2018 | 2 | 2018 |
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
