Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 13 resultaten
Zoekresultaten
-
2023
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
Fokkink, W. J., Goorden, M. A., Hendriks, D., Beek, D. A. V., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., Mortel-Fronczak, J. M. V. D., Reniers, M. A., Rooda, J. E., Sanden, L. J. V. D., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J. & Vogel, J. A., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (uitgave). Springer, blz. 44-52 9 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand3 Citaten (Scopus)121 Downloads (Pure) -
2020
The road ahead for supervisor synthesis
Goorden, M. A., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J. M., Reniers, M. A., Fokkink, W. J., Rooda, J. E. & Etman, L. F. P., 24 nov. 2020, Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Pang, J. & Zhang, L. (uitgave). Springer, blz. 1-16 16 blz. (Lecture Notes in Computer Science (LNCS); vol. 12153)(Programming and Software Engineering (LNPSE); vol. 12153).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic
3 Citaten (Scopus) -
2019
Finite response and confluence of state-based supervisory controllers
Reijnen, F., Hofkamp, A., van de Mortel - Fronczak, A., Reniers, M. & Rooda, K., aug. 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. Piscataway: Institute of Electrical and Electronics Engineers, blz. 509-516 8 blz. 8843335Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
9 Citaten (Scopus) -
Tech United Eindhoven @Home 2019 champions paper
van der Burgh, M. F. B., Lunenburg, J. J. M., Appeldoorn, R. P. W., van Beek, L. L. A. M., Geijsberts, J., Janssen, L. G. L., van Dooren, P., van Rooy, H. W. A. M., Aggarwal, A., Aleksandrov, S., Dang, K., Hofkamp, A. T., van Dinther, D. & van de Molengraft, M. J. G., 1 jan. 2019, RoboCup 2019: Robot World Cup XXIII. Chalup, S., Niemueller, T., Suthakorn, J. & Williams, M.-A. (uitgave). Berlin: Springer, blz. 529-539 11 blz. (Lecture Notes in Computer Science; vol. 11531)(Lecture Notes in Artificial Intelligence; vol. 11531).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Citaat (Scopus)1 Downloads (Pure) -
2014
CIF 3 : model-based engineering of supervisory controllers
Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M. & Reniers, M. A., 2014, Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (uitgave). Berlin: Springer, blz. 575-580 (Lecture Notes in Computer Science; vol. 8413).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
72 Citaten (Scopus)12 Downloads (Pure) -
2013
Decomposition-based analysis of the multi-physical coupling structure in LED System-in-Package design
Borst, de, E. C. M., Etman, L. F. P., Gielen, A. W. J., Hofkamp, A. T. & Rooda, J. E., 2013, 10th World Congress on Structural and Multidisciplinary Optimization (WCSMO), 19-24 May 2013, Orlando, Florida.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic
Open AccessBestand93 Downloads (Pure) -
2011
Assessing the quality of model-comparison tools: a method and a benchmark data set
Brand, van den, M. G. J., Hofkamp, A. T., Verhoeff, T. & Protic, Z., 2011, Proceedings of the 2nd International Workshop on Model Comparison in Practice (IWMCP 2011) June 30, 2011; held in conjunction with TOOLS 2011 , Zurich, Switzerland. New York NY: Association for Computing Machinery, Inc, blz. 2-11Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
6 Citaten (Scopus) -
2010
A language to specify the partitioning structure of decomposed optimization problems in MDO
Tosserams, S., Hofkamp, A. T., Etman, L. F. P. & Rooda, J. E., 2010, Proceedings of the 2nd International Conference on Engineering Optimization 6-9 September 2010, Lisbon, Portugal. Lisbon, blz. CD-RomOnderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Formally specified type checkers for domain specific languages : experience report
Brand, van den, M. G. J., Meer, van der, A. P., Serebrenik, A. & Hofkamp, A. T., 2010, Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010). Association for Computing Machinery, Inc, blz. 12-1/7Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus) -
2009
Efficient nonconflict check by using automaton abstractions
Su, R., Van Schuppen, J. H., Rooda, J. E. & Hofkamp, A. T., 2009, Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. Piscataway: Institute of Electrical and Electronics Engineers, blz. 1997-2002 6 blz. TuA8.6Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
2007
Co-simulation of Chi and Simulink models
Beek, van, D. A., Hofkamp, A. T., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2007, Proceedings of the 6th EUROSIM Congress on Modelling and Simulation, 9-13 September 2007, Ljubljana, Slovenia. blz. 1-10Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Downloads (Pure) -
2002
Coordination specification for distributed optimal design using the Chi Language
Etman, L. F. P., Hofkamp, A. T., Rooda, J. E., Kokkolaras, M. & Papalambros, P. Y., 2002, 9th AIAA/ISSMO Symposium on Multidisciplinary Analysis and Optimization, Atlanta, Georgia, September 4-6, 2002. Reston: American Institute of Aeronautics and Astronautics Inc. (AIAA), blz. AIAA-2002-5410-1/14Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand71 Downloads (Pure) -
Coordination specification of the analytical target cascading process using the Chi language
Etman, L. F. P., Kokkolaras, M., Papalambros, P. Y., Hofkamp, A. T. & Rooda, J. E., 2002, 9th AIAA/ISSMO Symposium on Multidisciplinary Analysis and Optimization, Atlanta, Georgia, September 4-6, 2002. Reston: American Institute of Aeronautics and Astronautics Inc. (AIAA), blz. AIAA-2002-5637-1/11Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand109 Downloads (Pure)