Publications
Publications
Recent publications
This is an overview of publications by ESI employees in close collaboration with our partners.
Validation and verification of automated systems
Chapter: A Virtual Test Platform for the Health Domain
Results of the ENABLE-S3 Project
Pag 297-320
publication
Results of the ENABLE-S3 Project
Pag 297-320
Integrated formal methods
Relating Alternating Relations for Conformance and Refinement
Ramon Janssen, Frits Vaandrager, Jan Tretmans. Pag 246-264
publication
Ramon Janssen, Frits Vaandrager, Jan Tretmans. Pag 246-264
Improving model inference in industry by combining active and passive learning
Fu, Y.; Terechko, A.Bijlsma; T.Cuijners, P.J.L.Redegeld, J.Ors, A.O.
publication
Publications
Here you find an overview of scientific publications that are a result of our research. You can sort the output by clicking the various table headers. To make a selection, type your search term in one of the open fields
Publicaties Modern 20200930
Title Structuring of Methods to Estimate Benefits of Partial Networking | Authors Vasenev, A | Year 2018 | Published in 4th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2018) | Link |
Title A Piecewise Linear Approach towards Sheet Control in a Printer Paper Path | Authors Björn Bukkems; René van de Molengraft; Maurice Heemels; Nathan van de Wouw; Maarten Steinbuch | Year 2006 | Published in ACC | Link |
Title Robust Piecewise Linear Sheet Control in a Printer Paper Path | Authors Björn Bukkems; Jeroen de Best; René van de Molengraft; Maarten Steinbuch | Year 2006 | Published in ADHS | Link |
Title Multi-disciplinary modelling of dynamic embedded systems | Authors Björn Bukkems; Heico Sandee; Jan Beckers; Zhaorui Yuan; Berry van der Wijst | Year 2004 | Published in Mechatronics and Robotics | Link |
Title Sheet Feedback Control Design in a Printer Paper Path | Authors Björn Bukkems | Year 2007 | Published in PhD Thesis | Link |
Title Event-Driven Control in Theory and Practice - Trade-offs in software and control performance | Authors Heico Sandee | Year 2007 | Published in PhD Thesis | Link |
Title A case study of multi-disciplinary modeling using MATLAB / Simulink and TrueTime | Authors Evert vd Waal; Peter van den Bosch | Year 2005 | Published in INCOSE | Link |
Title Do useful Multi-Domain Methods Exist? | Authors Gerrit Muller | Year 2005 | Published in CSER | Link |
Title Five Years of Multi-Disciplinary Academic and Industrial Research: Lessons Learned | Authors Gerrit Muller; Maurice Heemels | Year 2007 | Published in Conference on System Engineering Research (CSER) 2007 | Link |
Title Effective industrial modeling for high-tech systems: The example of Happy Flow | Authors Jan Beckers; Maurice Heemels; Björn Bukkems; Gerrit Muller | Year 2007 | Published in INCOSE | Link |
Title On the Systematic use of Budget Based Design | Authors Hennie Freriks; Maurice Heemels | Year 2006 | Published in INCOSE | Link |
Title Analysis and experimental validation of processor load for event-driven controllers | Authors Heico Sandee; Peter Visser; Maurice Heemels | Year 2006 | Published in CCA | Link |
Title Event Driven Control as an opportunity in the Multidisciplinary Development of Embedded Controllers | Authors Heico Sandee | Year 2005 | Published in ACC | Link |
Title Threads of Reasoning: a case study in printer control | Authors Heico Sandee; Maurice Heemels | Year 2006 | Published in INCOSE | Link |
Title Coupling Simulink and UML models | Authors Jozef Hooman; Nataliya Mulyar; Ladislau Posta | Year 2004 | Published in FORMS/FORMATS | Link |
Title Robust stability of networked control systems with time-varying network-induced delays | Authors Marieke Cloosterman; Nathan van de Wouw; Maurice Heemels; Henk Nijmeijer | Year 2006 | Published in CDC | Link |
Title Practical stability of perturbed event-driven controlled linear systems | Authors W.P.M.H. Heemels; Heico Sandee | Year 2006 | Published in ACC | Link |
Title A multi-disciplinary and model-based design methodology for high-tech systems | Authors W.P.M.H. Heemels; Evert van de Waal; Gerrit Muller | Year 2006 | Published in CSER | Link |
Title The Use of the Keydriver Technique in the Design of Copiers | Authors W.P.M.H. Heemels; Lou Somers; Peter van den Bosch; Zhaorui Yuan; Berry van der Wijst; Adriaan van den Brand; Gerrit Muller | Year 2006 | Published in Proceedings ICSSEA | Link |
Title Analysis of varying sampling frequency in controller algorithms | Authors Maurice Snoeren | Year 2005 | Published in MSc thesis. TU/e Electrical Engineering / Control Systems | Link |
Title Performance Analysis of Distributed Real-Time Embedded Systems | Authors Menno de Hoon | Year 2005 | Published in MSc thesis. TU/e Electrical Engineering / Electronic Systems | Link |
Title Modeling of hardware software performance of high-tech systems | Authors Peter v.d. Bosch; Marcel Verhoef; Gerrit Muller; Oana Florescu | Year 2007 | Published in INCOSE | Link |
Title Interpreting Distributed System Architectures with VDM++, a case study | Authors Marcel Verhoef; Peter Gorm Larsen | Year 2007 | Published in Conference on System Engineering Research (CSER) 2007 | Link |
Title Performance Modelling and Analysis Using POOSL for an In-Car Navigation System | Authors Oana Florescu; Menno de Hoon; Jeroen Voeten; Henk Corporaal | Year 2006 | Published in Book: Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI) | Link |
Title Predictability in real time systems development | Authors Jinfeng Huang; Jeroen Voeten; Oana Florescu; P.H.A. van der Putten; Henk Corporaal | Year 2005 | Published in Book: Advances in Design and Specification Languages for SoCs | Link |
Title Property-Preservation Synthesis for Unified Control- and Data-Oriented Models | Authors Oana Florescu; Jeroen Voeten; Henk Corporaal | Year 2006 | Published in Book: Applications of Specification and Design Languages for SoCs | Link |
Title Error-Estimation in Model-Driven Development for Real-Time Software | Authors Oana Florescu; Jeroen Voeten; J. Huang; Henk Corporaal | Year 2004 | Published in FDL'04 | Link |
Title Property-Preservation Synthesis for Unified Control- and Data-Oriented Models | Authors Oana Florescu; Jeroen Voeten; Henk Corporaal | Year 2005 | Published in FDL | Link |
Title Reusing Real-Time Systems Design Experience Through Modelling Patterns | Authors Oana Florescu; Jeroen Voeten; Marcel Verhoef; Henk Corporaal | Year 2006 | Published in FDL - ECSI, 2006 | Link |
Title A Unified Model for Analysis of Real-Time Properties | Authors Oana Florescu; Jeroen Voeten; Henk Corporaal | Year 2004 | Published in ISOLA 04 | Link |
Title Strengthening Property Preservation in Concurrent Real-Time Systems | Authors Oana Florescu; Jinfeng Huang; Jeroen Voeten; Henk Corporaal | Year 2006 | Published in Book:Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) | Link |
Title Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems | Authors Oana Florescu; Menno de Hoon; Jeroen Voeten; Henk Corporaal | Year 2006 | Published in Book:Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS VI) | Link |
Title Controller and Plant System Design Trajectory | Authors Peter Visser; Jan Broenink | Year 2006 | Published in CACSD | Link |
Title FPGAs as versatile configurable I/O devices in Hardware-in-the-Loop Simulation | Authors Peter Visser; Marcel Groothuis; Jan Broenink | Year 2004 | Published in RTSS'04 | Link |
Title Hard Real-Time Networking on Firewire | Authors Z. Yuchen; Peter Visser; Jan Broenink | Year 2005 | Published in 7th Real-Time Linux Workshop | Link |
Title Multi-Disciplinary Design Support using Hardware-in-the-Loop Simulation | Authors Peter Visser; Marcel Groothuis; Jan Broenink | Year 2004 | Published in Progress | Link |
Title A Clock Synchronization Skeleton Based on RTAI. | Authors Yang Huang; Peter Visser; Jan Broenink | Year 2006 | Published in 8th Real-Time Linux Workshop | Link |
Title On the use of VDM++ for specifying Real-Time Systems | Authors Marcel Verhoef | Year 2006 | Published in Technical report:Towards Next Generation Tools for VDM: Contributions fo the First International Overture Workshop, CS-TR 969 | Link |
Title New Robust Stability and Stabilization Conditions for Linear Repetitive Processes | Authors W. Paszke; O. Bachelier | Year 2009 | Published in Proceedings of 6th International Workshop on Multidimensional (nD) Systems | Link |
Title Dissipative stability theory for linear repetitive processes with application in iterative learning control | Authors W. Paszke; P. Rapisarda; E. Rogers; M. Steinbuch | Year 2009 | Published in Proceedings of Symposium on Learning Control at IEEE CDC 2009 | Link |
Title Modeling Composite End-to-End flows with AADL | Authors N.Muhammad; Y. Vandewoude; Y. Berbers; S. van Loo | Year 2009 | Published in Proceedings of STANDRTS workshop on Euromicro Conference on Real-Time Systems (ECRTS 09) | Link |
Title Evaluating sharpness functions for automated scanning electron microscopy | Authors M.E. Rudnaya; R.M.M. Mattheij; J.M.L. Maubach | Year 2010 | Published in Journal of Microscopy, 240(1), 38-49, 2010 | Link |
Title Towards automatic control of scanning transmission electron microscopes | Authors A. Tejada Ruiz; S.W. van der Hoeven; A. J. den Dekker; P.M.J. van den Hof | Year 2009 | Published in Proceedings IEEE Multi-Conference on Systems and Control (CCA 2009) | Link |
Title Electron Microscopy Experiments Concerning Hysteresis in the Magnetic Lens System | Authors P.J. van Bree; C.M.M. van Lierop; P.P.J. van den Bosch | Year 2010 | Published in IEEE Multi-conference on Systems and Control Yokohama, Japan | Link |
Title Using The Parallelism Viewpoint to Optimize the Use of Threads in Parallelism-Intensive Software Systems | Authors N. Muhammad; N. Boucke and Y. Berbers | Year 2010 | Published in IEEE International Conference on Software and Computing Technology (ICSCT 2010), October, 2010 | Link |
Title A Parallelism Viewpoint to Analyze Performance Bottlenecks of Parallelism-Intensive Software Systems | Authors N. Muhammad; N. Boucke and Y. Berbers | Year 2010 | Published in 6th Central and Eastern European Software Engineering Conference, Moscow, Russia October, 2010 | Link |
Title Model-Based Enhancement of Software Performance for Precision Critical Systems | Authors N. Muhammad; N. Boucke and Y. Berbers | Year 2010 | Published in ECSA 2010 Doctoral Symposium, Copenhagen, Denmark, 2010 | Link |
Title Feed Forward Initialization of Hysteretic Systems | Authors P.J. van Bree; C.M.M. van Lierop; P.P.J. van den Bosch | Year 2010 | Published in IEEE Conference on Decision and Control, Atlanta (G, USA), 15 -17 December, 2010 | Link |
Title Nonlinearities in Industrial Motion Stages - Detection and Classification | Authors D.J. Rijlaarsdam; S.J.L.M. van Loon; P.W.J.M. Nuij; M. Steinbuch | Year 2010 | Published in American Control Conference (ACC 2010), pp. 6644-6649, 2010 | Link |
Title Frequency domain based feed forward tuning for friction compensation | Authors D. Rijlaarsdam; V. v. Geffen; P.W.J.M. Nuij; J. Schoukens; M. Steinbuch | Year 2010 | Published in ASPE 2010 Spring Topical Meeting - Control of Precision Systems, Massachusetts Institute of Technology, Boston (MA, United States), pp 129 – 134, 2010 | Link |
Title Throughput maximization of particle radius measurements through balancing size versus current of the electron probe | Authors W. Van den Broek; S. Van Aert; P. Goos; D. Van Dyck | Year 2010 | Published in Ultramicroscopy (2010) doi:10.1016/j.ultramic.2010.11.025 | Link |
Title Introducing Measure-by-Wire, the Systematic Use of Control Theory in Transmission Electron Microscopy | Authors A. Tejada; A.J. den Dekker; W. van den Broek | Year 2011 | Published in Ultramicroscopy | Link |
Title Towards an adaptive minimum variance control scheme for specimen drift compensation in Transmission Electron Microscopes | Authors A. Tejada; P. Vos; A.J. den Dekker | Year 2011 | Published in 7th International Workshop on Multidimensional (nD) Systems (nDS11) | Link |
Title Exploring different inelastic projection mechanisms for electron tomography | Authors B. Goris; S. Bals; W. Van den Broek; J. Verbeeck; G. Van Tendeloo | Year 2011 | Published in Ultramicroscopy | Link |
Title Stability and Performance Analysis of Dual-Random-Rate Systems via Markov Jump Linear System Theory | Authors A. Tejada; J.R. Chavez-Fuentes; P. Vos | Year 2011 | Published in 50th Conference on Decision and Control | Link |
Title POEM_Defocus Polar Rose Estimation Method - a fast defocus estimation method for STEM | Authors A. Tejada; A. den Dekker | Year 2011 | Published in Proc. 2011 IEEE International Instrumentation and Measurement Technology Conference, Binjiang, Hangzhou, China, 2011, pp. 1228-1232 | Link |
Title The Role of Poisson’s Binomial Distribution in the Analysis of TEM Images | Authors A. Tejada; A. den Dekker | Year 2011 | Published in Ultramicroscopy | Link |
Title Spectral analysis of nonlinear systems and higher order sinusoidal input describing functions | Authors D. Rijlaarsdam; P. Nuij; J. Schoukens; M. Steinbuch | Year 2010 | Published in Automatica 2010 | Link |
Title Electron tomography based on a total variation minimization reconstruction technique | Authors B. Goris; W. Van den Broek; K.J. Batenburg; S. Bals | Year 2011 | Published in Ultramicroscopy | Link |
Title A New Method for Defocus and Astigmatism Correction in Electron Microscopy | Authors M. Rudnaya; W. Van den Broek; R. Doornbos; S. Kho; R. Mattheij; J. Maubach; | Year 2011 | Published in Microscopy and Microanalysis, 17 (Suppl. 2) 528-529 | Link |
Title Control-oriented hysteresis models for magnetic electron lense | Authors P.J. van Bree; C. M. M. van Lierop; P. P. J. van den Bosch | Year 2009 | Published in IEEE Transactions on Magnetics | Link |
Title A model based atomic resolution tomographic algorithm | Authors W. van den Broek; S. Van Aert; D. Van Dyck | Year 2009 | Published in Ultramicroscopy 109 | Link |
Title Embedded Systems with AADL: A Practical Study | Authors N.Muhammad; Y. Vandewoude; Y. Berbers; S. van Loo | Year 2010 | Published in Chapter in: Advanced Technologies book, by IN-TECH publishers, 2010 | Link |
Title Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems | Authors D. Langsweirdt; Y. Vandewoude; Y. Berbers | Year 2009 | Published in Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) ; S. Van Baelen et al (Eds.) | Link |
Title Characterization of hysteresis within magnetic electron lenses | Authors P.J. van Bree; C.M.M. van Lierop; P.P.J. van den Bosch | Year 2009 | Published in 28th Benelux Meeting on Systems and Control | Link |
Title Model based tomography in high resolution HAADF STEM | Authors W. van den Broek; S. van Aert; D. van Dyck | Year 2009 | Published in Proceedings of Microscopy Conference | Link |
Title Scanning Electron Microscopy: Power Spectrum Analysis | Authors M.E. Rudnaya; J.M.L. Maubach; R.M.M. Mattheij | Year 2009 | Published in Proceedings of Microscopy Conference | Link |
Title Iterative Learning Control by Linear Repetitive Processes Theory | Authors W. Paszke | Year 2009 | Published in Proceedings of the 28th Benelux Meeting on Systems and Control | Link |
Title Dynamics of magnetic electron lenses | Authors P.J. van Bree | Year 2008 | Published in 27th Benelux Meeting on Systems and Control | Link |
Title Towards automatic control of scanning transmission electron microscopes: system identification issues | Authors A. Tejada Ruiz | Year 2009 | Published in 28th Benelux Meeting on Systems and Control | Link |
Title Iterative Autofocus Algorithms for Scanning Electron Microscopy | Authors M. Rudnaya; J.M.L. Maubach; R.M.M. Mattheij | Year 2009 | Published in Microscopy & Microanalysis 2009 | Link |
Title Observer Development for Automatic STEM closed-control loop | Authors A. Tejada Ruiz; A.J. den Dekker | Year 2009 | Published in Microscopy & Microanalysis 2009 | Link |
Title Alignment Control of STEM: a Ronchigram Based Approach | Authors S. van der Hoeven; A.J. den Dekker | Year 2009 | Published in Microscopy & Microanalysis 2009 | Link |
Title A Review of Function Modelling: Approaches and Applications | Authors M.S. Erden; H. Komoto; T.J. van Beek; V. D'Amelio; E. Echavarria; T. Tomiyama | Year 2007 | Published in Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM) | Link |
Title Concrete syntax and semantics of the compositional interchange format for hybrid systems | Authors D.A. van Beek; M.A. Reniers; J.E. Rooda; R.R.H. Schiffelers | Year 2008 | Published in Ifac 2008; International Federation of Automatic Control | Link |
Title How reference architectures support the evolution of Product Families | Authors G. Muller | Year 2008 | Published in CSER 2008 | Link |
Title Living' Architecture Overviews - Supporting the Design of Complex Systems | Authors P.D. Borches; G.M. Bonnema | Year 2008 | Published in CIRP Design Conference | Link |
Title Assessing Software Archives with Evolutionary Clusters | Authors A. Vanya; L. Hofland; S. Klusener; P. van de Laar; H. van Vliet | Year 2008 | Published in ICPC08 | Link |
Title Framework for Computer-Aided Evolution of Object-Oriented Design | Authors S. Ciraci; P. van den Broek; M. Aksit | Year 2008 | Published in IEEE Workshop on Quality Oriented Reuse of Software | Link |
Title Requirements for Complex Systems Modeling | Authors T.J. van Beek; T. Tomiyama | Year 2008 | Published in CIRP Design Conference | Link |
Title Design with Overview - how to survive in complex organizations | Authors G.M. Bonnema; P.D. Borches | Year 2008 | Published in Proceedings of INCOSE 2008 | Link |
Title Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies | Authors T. Callo; Paris Avgeriou; Pierre America | Year 2008 | Published in Working Conference on Reverse Engineering (WCRE 2008) | Link |
Title Economics of Architectural Investments in Industrial Practice | Authors A. Ivanovic; P. America | Year 2008 | Published in 2nd International Workshop on Measurement and Economics of Software Product Lines. | Link |
Title Integrating conventional system views with function-behavior-state modelling | Authors T.J. van Beek; T. Tomiyama | Year 2009 | Published in CIRP Design Conference 2009 - Competitive Design | Link |
Title Connecting Views in Mechatronic Systems Design, a Function Modeling Approach | Authors T.J. van Beek; T. Tomiyama | Year 2008 | Published in IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications | Link |
Title On the origin of evolvable systems | Authors P.D. Borches; G.M. Bonnema | Year 2007 | Published in Tools and Methods of Competitive Engineering (TMCE 2008), Kusadasi, Turkey | Link |
Title Towards Recovering Architectural Concepts Using Latent Semantic Indexing | Authors P. van der Spek; S. Klusener; P. van de Laar | Year 2007 | Published in CSMR 2008; European Conference on Software Maintenance and Reengineering | Link |
Title Supporting Evolving Product Families | Authors P. van de Laar | Year 2009 | Published in 7th Annual Conference on Systems Engineering Research (CSER09) | Link |
Title Researching reference architectures - and their relationship with frameworks, methods, techniques, and tools | Authors G. Muller; P. van de Laar | Year 2009 | Published in 7th Annual Conference on Systems Engineering Research (CSER09) | Link |
Title On the transfer of evolutionary coupling to industry | Authors P. van de Laar | Year 2009 | Published in IEEE Mining Software Repositories (MSR 2009) | Link |
Title Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing | Authors E. Ivanov; A. Pogromsky; K. Rooda | Year 2009 | Published in 3rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA | Link |
Title Scheduling with dynamic constraints in application to MRI scan processing | Authors E. Ivanov; A. Yu; S. Pogromsky; J.E. Rooda | Year 2009 | Published in 3rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA July 8-10, 2009 | Link |
Title Modeling and simulation using the compositional interchance format for hybrid systems | Authors C. Sonntag; R.R.H. Schiffelers; D.A. van Beek; J.E. Rooda; S. Engell | Year 2009 | Published in MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling; Editors: I.Troch and F.Breitenecker (2009). | Link |
Title Hybrid Modeling and Simulation of plant/controller Combinations | Authors R.R.H. Schiffelers; A.Y. Pogromsky; D.A. van Beek; J.E. Rooda | Year 2009 | Published in 3rd IEEE Multi-conference on Systems and Control | Link |
Title Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems | Authors Gürcan Gülesir; Klaas van den Berg; Lodewijk Bergmans; Mehmet Aksit | Year 2009 | Published in Journal on Empirical Software Engineering | Link |
Title Defining Execution Viewpoints for a Large and Complex Software-Intensive System | Authors T. Callo; P. America; P. Avgeriou | Year 2009 | Published in 8th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge | Link |
Title Supervisory control synthesis for a patient support system | Authors R.J.M. Theunissen; R.R.H. Schiffelers; D.A. van Beek; J.E. Rooda | Year 2009 | Published in European Control Conference (ECC), Budapest (H) | Link |
Title Coping with system evolution | Authors P.D. Borches; M. Bonnema | Year 2009 | Published in Incose 2009 | Link |
Title Transferring Software to a New Framework in a Brownfield Environment | Authors P. van der Spek; S. Klusener | Year 2009 | Published in European Conference on Software Maintenance and Reengineering, (CSMR), 2009 | Link |
Title Characterizing Evolutionary Clusters | Authors A. Vanya; S. Klusener; N. van Rooijen; H. van Vliet | Year 2009 | Published in WCRE09 | Link |