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