受强制性开放获取政策约束的文章 - Ramon R.H. Schiffelers了解详情
可在其他位置公开访问的文章：8 篇
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
RERS 2019: combining synthesis with real-world models
M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
强制性开放获取政策： US Department of Energy
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
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
强制性开放获取政策： Netherlands Organisation for Scientific Research, European Commission
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
Taming the state-space explosion in the makespan optimization of Flexible Manufacturing Systems
J Bastos, J Voeten, S Stuijk, R Schiffelers, H Corporaal
ACM Transactions on Cyber-Physical Systems 5 (2), 1-26, 2021
强制性开放获取政策： Netherlands Organisation for Scientific Research
Exploiting specification modularity to prune the optimization-space of manufacturing systems
J Bastos, S Stuijk, J Voeten, R Schiffelers, H Corporaal
Proceedings of the 21st International Workshop on Software and Compilers for …, 2018
强制性开放获取政策： Netherlands Organisation for Scientific Research
4th International Workshop on Multi-Paradigm Modeling (MPM 2010)
R Hebig, A Seibel, H Giese
Electronic Communications of the EASST 42, 2011
强制性开放获取政策： Austrian Science Fund
出版信息和资助信息由计算机程序自动确定