Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 27 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) -
2022
Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller
Moormann, L., Hofkamp, A. T., van de Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 2022, In: IFAC-PapersOnLine. 55, 28, blz. 363-370 8 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review
Open AccessBestand38 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) -
2016
Decomposition analysis of the multidisciplinary coupling in LED System-in-Package design using a DSM and a specification language
Borst, de, E. C. M., Etman, L. F. P., Gielen, A. W. J., Hofkamp, A. T. & Rooda, J. E., 1 jun. 2016, In: Structural and Multidisciplinary Optimization. 53, 6, blz. 1395–1411 17 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand5 Citaten (Scopus)276 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
-
A specification language for problem partitioning in decomposition-based design optimization
Tosserams, S., Hofkamp, A. T., Etman, L. F. P. & Rooda, J. E., 2010, In: Structural and Multidisciplinary Optimization. 42, 5, blz. 707-723 17 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand15 Citaten (Scopus)198 Downloads (Pure) -
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) -
Nonconflict check by using sequential automaton abstractions
Su, R., Schuppen, van, J. H., Rooda, J. E. & Hofkamp, A. T., 2010, In: Automatica. 46, 6, blz. 968-978Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
36 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
-
Psi reference manual
Tosserams, S., Hofkamp, A. T., Etman, L. F. P. & Rooda, J. E., 2009, Eindhoven: Technische Universiteit Eindhoven. 119 blz. (SE report; vol. 2009-04)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand195 Downloads (Pure) -
Using the ALC matlab toolbox with input files generated from Psi specifications
Tosserams, S., Hofkamp, A. T., Etman, L. F. P. & Rooda, J. E., 2009, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (SE report; vol. 2009-05)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand138 Downloads (Pure) -
2008
Chi 1.0 reference manual
Hofkamp, A. T. & Rooda, J. E., 2008, Eindhoven: Technische Universiteit Eindhoven. 97 blz. (SE report; vol. 2008-04)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand209 Downloads (Pure) -
Chi 2.0 language reference manual
Hofkamp, A. T., Rooda, J. E., Schiffelers, R. R. H. & Beek, van, D. A., 2008, Eindhoven: Eindhoven University of Technology. 98 blz. (SE report; vol. 2008-02)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand221 Downloads (Pure) -
Nonconflict check by using sequential automaton abstractions
Su, R., Schuppen, van, J. H., Rooda, J. E. & Hofkamp, A. T., 2008, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (SE report; vol. 2008-10)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand80 Downloads (Pure) -
Syntax and formal semantics of Chi 2.0
Beek, van, D. A., Hofkamp, A. T., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 62 blz. (SE report; vol. 2008-01)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand72 Downloads (Pure) -
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) -
2005
Coordination specification in distributed optimal design of multilevel systems using the Chi language
Etman, L. F. P., Kokkolaras, M., Hofkamp, A. T., Papalambros, P. Y. & Rooda, J. E., 2005, In: Structural and Multidisciplinary Optimization. 29, 3, blz. 198-212Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
8 Citaten (Scopus) -
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 for distributed optimal system design using the χ language
Etman, L. F. P., Kokkolaras, M., Papalambros, P. Y., Hofkamp, A. T. & Rooda, J. E., 1 jan. 2002.Onderzoeksoutput: Bijdrage aan congres › Paper › Academic
-
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) -
2001
Reactive machine control : a simulation approach using chi
Hofkamp, A. T., 2001, Eindhoven: Technische Universiteit Eindhoven. 124 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand312 Downloads (Pure) -
1997
Data-modeling in Chi
Hofkamp, A. T. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 1997, Eindhoven: Technische Universiteit Eindhoven.Onderzoeksoutput: Scriptie › EngD Thesis