Seguir
Bram van der Sanden
Título
Citado por
Citado por
Ano
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
452015
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
322016
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
262017
Performance analysis and optimization of supervisory controllers
B van der Sanden
Ph. D. thesis, Eindhoven University of Technology, 2018
192018
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
152021
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
142021
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
102021
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
102020
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
102019
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
102018
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
72021
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
72018
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
72013
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
62023
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
62018
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
62017
Parse Forest Disambiguation
B van der Sanden
Eindhoven University of Technology, 2014
42014
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
32020
MDE support for process-oriented health information systems: from theory to practice
P Van Gorp, I Vanderfeesten, W Dalinghaus, J Mengerink, ...
Pre-proceedings of FHIES 2012, 2012
22012
Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development.
J Verriet, B van der Sanden, G van der Veen, A van Splunter, S Lousberg, ...
11th International Conference on Model-Based Software and Systems …, 2023
12023
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20