Research Output 1974 2019

Filter
Report
2012
23 Downloads (Pure)

System Design and Engineering, lubricating multidisciplinary development projects

Bonnema, G. M., Veenvliet, K. & Broenink, J. F., Jan 2012, Enschede: University of Twente. 113 p. (Lecture notes engineering technology)

Research output: Book/ReportReportProfessional

Open Access
File
Systems engineering
Systems analysis
Risk management
Feedback
2011
23 Downloads (Pure)

Single Value Devices

Mader, A. H., Dertien, E. C. & Reidsma, D., 1 Mar 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-11-04)

Research output: Book/ReportReportProfessional

File
2009
26 Downloads (Pure)

A Handbook Supporting Model-Driven Software Development - a Case Study

Marincic, J., Mader, A. H. & Wieringa, R. J., Jan 2009, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-09-11)

Research output: Book/ReportReportProfessional

File
2008
16 Downloads (Pure)

A Taxonomy of Modelling Decisions for Embedded Systems Verification

Mader, A. H., Wupper, H., Boon, M. & Marincic, J., 24 May 2008, Enschede: Distributed and Embedded Security (DIES). 14 p. (CTIT Technical Report Series; no. 08-37)

Research output: Book/ReportReportProfessional

Open Access
File
Taxonomies
Embedded systems
Model checking
21 Downloads (Pure)

Modelling Embedded Systems by Non-Monotonic Refinement

Mader, A. H., Marincic, J. & Wupper, H., 24 May 2008, Enschede: Distributed and Embedded Security (DIES). 15 p. (CTIT Technical Report Series; no. 274/TR-CTIT-08-38)

Research output: Book/ReportReportProfessional

File
2007
15 Downloads (Pure)

Capturing Assumptions while Designing a Verification Model for Embedded Systems

Marincic, J., Mader, A. H. & Wieringa, R. J., Jan 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. 2/TR-CTIT-07-03)

Research output: Book/ReportReportProfessional

File
10 Downloads (Pure)

Generalized conditioned inverse

Ligterink, N. E., Jun 2007, Enschede: University of Twente, Department of Applied Mathematics. 4 p.

Research output: Book/ReportReportProfessional

File
60 Citations (Scopus)
53 Downloads (Pure)

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Fehnker, A., Fehnker, A., van Hoesel, L. F. W. & Mader, A. H., 6 Feb 2007, Enschede: Distributed and Embedded Security (DIES). 20 p. (CTIT Technical Report Series; no. TR-CTIT-07-09)

Research output: Book/ReportReportProfessional

File
21 Downloads (Pure)

Obtaining Formal Models through Non-Monotonic Refinement

Marincic, J., Wupper, H., Mader, A. H. & Wieringa, R. J., Apr 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT Technical Report Series; no. P2773/TR-CTIT-07-33)

Research output: Book/ReportReportProfessional

File
142 Downloads (Pure)

The Construction of Verification Models for Embedded Systems

Mader, A. H., Wupper, H. & Boon, M., 29 Jan 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 13 p. (CTIT Technical Report Series; vol. 1, no. TR-CTIT-07-02)

Research output: Book/ReportReportProfessional

File
2006
36 Downloads (Pure)

Synthesis and Stochastic Assessment of Cost-Optimal Schedules

Mader, A. H., Bohnenkamp, H. C., Usenko, Y. S., Jansen, D. N., Hurink, J. L. & Hermanns, H., Feb 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 27 p. (CTIT Technical Report Series; no. 06-14)

Research output: Book/ReportReportProfessional

File
3 Citations (Scopus)
43 Downloads (Pure)

Verifying the distributed real-time network protocol RTnet using Uppaal

Hanssen, F. T. Y., Mader, A. H. & Jansen, P. G., Jan 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT Technical Report Series; no. 06-19)

Research output: Book/ReportReportProfessional

Open Access
File
2005
9 Downloads (Pure)

A Modelling Method for Embedded Systems

Brinksma, H., Mader, A. H., Marincic, J. & Wieringa, R. J., Jul 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. 05-33)

Research output: Book/ReportReportProfessional

Open Access
File
5 Citations (Scopus)
34 Downloads (Pure)

Scheduling Lacquer Production by Reachability Analysis -- A Case Study

Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Feb 2005, Enschede: Distributed and Embedded Security (DIES). 6 p. (CTIT Technical Report Series; no. TR-CTIT-05-05)

Research output: Book/ReportReportProfessional

File
49 Downloads (Pure)

Timed Analysis of Security Protocols

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., Mar 2005, Enschede: Distributed and Embedded Security (DIES). 30 p. (CTIT Technical Report Series; no. TR-CTIT-05-14)

Research output: Book/ReportReportProfessional

File
2004
8 Downloads (Pure)

CTC++ for the Arty Robot

van Engelen, T., 2004, Enschede: University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science. 33 p.

Research output: Book/ReportReportOther research output

File
7 Downloads (Pure)

Deriving Schedules for a Smart Card Personalisation System

Mader, A. H., Jan 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. 04-05)

Research output: Book/ReportReportProfessional

Open Access
File
10 Downloads (Pure)

On Verification Modelling of Embedded Systems

Brinksma, H. & Mader, A. H., Jan 2004, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. 04-03)

Research output: Book/ReportReportProfessional

Open Access
File
9 Downloads (Pure)

Real Time Control on Firewire

Zhang, Y., 2004, Enschede: University of Twente. 46 p.

Research output: Book/ReportReportOther research output

File
8 Downloads (Pure)

Real-time network performance characterization: Locbus v.s. RTnet

Buit, E., van Amerongen, J. (ed.), Broenink, J. F. (ed.) & Orlic, B. (ed.), May 2004, Enschede: University of Twente.

Research output: Book/ReportReportOther research output

File
Network performance
Ethernet
Jitter
Computer hardware
Hardware
10 Citations (Scopus)
23 Downloads (Pure)

Synthesis and stochastic assessment of schedules for lacquer production

Bohnenkamp, H. C., Hermanns, H., Klaren, J., Mader, A. H. & Usenko, Y. S., Jul 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT technical report series; no. TR-CTIT-04-30)

Research output: Book/ReportReportOther research output

File
24 Citations (Scopus)
31 Downloads (Pure)

Timed Model Checking of Security Protocols

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., Jun 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 355 p. (CTIT technical report series; no. TR-CTIT-04-24)

Research output: Book/ReportReportOther research output

File
27 Downloads (Pure)

Tools for analysis of Dirac structures on Hilbert spaces

Golo, G., Iftime, O. V., Zwart, H. J. & van der Schaft, A., 2004, Enschede: University of Twente, Department of Applied Mathematics. (Memorandum / Faculty of Mathematical Sciences; no. 1729)

Research output: Book/ReportReportOther research output

File
2003
13 Downloads (Pure)

On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract)

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., Oct 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 5 p. (CTIT technical reports series; no. TR-CTIT-03-46)

Research output: Book/ReportReportOther research output

File
2000
42 Downloads (Pure)

Discretization of control law for a class of variable structure control systems

Golo, G., van der Schaft, A. & Milosavljević, Č., 2000, Enschede: University of Twente, Department of Applied Mathematics. (Memorandum / Faculty of Mathematical Sciences; no. 1551)

Research output: Book/ReportReportOther research output

File
1999
18 Downloads (Pure)

System Design as a Creative Mathematical Activity

Wupper, H. & Mader, A. H., 1999, Nijmegen: Computing Science Institute, University of Nijmegen.

Research output: Book/ReportReportOther research output

File
1997

Mechatronic Design of an aseptic dosing system for fluids

Fien, M., 1997, Enschede: Control Engineering (CE). 84 p.

Research output: Book/ReportReportProfessional

1996

Aspects of Adaptive Robust Control for a flexible beam

Schukkink, J. N., 1996, Geen adressering: Geen opgaven. 22 p.

Research output: Book/ReportReportProfessional

Automated optimal controller design in mechatronics

Coelingh, H. J., de Vries, T. J. A., van Lochem, P. B. A. & van Amerongen, J., 1996, Universiteit Twente: Geen opgaven. 6 p.

Research output: Book/ReportReportProfessional

Automatic weight assurance systems

Evers, H. G., 1996, Enschede: Control Engineering (CE). 82 p.

Research output: Book/ReportReportProfessional

Communicating JAVA threads

Hilderink, G. H., 1996, Universiteit Twente: Laboratorium voor Regeltechniek. 16 p.

Research output: Book/ReportReportProfessional

Concept for modular re-configuratie packing line

Langkamp, M., 1996, Enschede: Control Engineering (CE). 65 p.

Research output: Book/ReportReportProfessional

Haalbaarheidsonderzoek naar het voorkomen van krommingen in golfkarton

Coelingh, H. J. & Bruis, R., 1996, Universiteit Twente, laboratorium voor Regeltechni: Geen opgaven. 6 p.

Research output: Book/ReportReportProfessional

Linear motor motion control using a learning feedforward controller

Otten, G., de Vries, T. J. A., van Amerongen, J., Rankers, A. M. & Gaal, E., 1996, Geen adressering: Laboratorium voor Regeltechniek. 5 p.

Research output: Book/ReportReportProfessional

Measurement processing for room temperature control

Nagel, T., Velthuis, W. J. R. & de Vries, T. J. A., 1996, Universiteit Twente: Laboratorium voor Regeltechniek. 8 p.

Research output: Book/ReportReportProfessional

Neural Adaptive Feedback Linearization Control

van Breemen, A. J. N. & Veelenturf, L. P. J., 1996, Enschede: Universiteit Twente. 8 p.

Research output: Book/ReportReportProfessional

Performance improvement of mechatronic servosystems by learning feedforward control

Otten, G., 1996, Enschede: Control Engineering (CE). 80 p.

Research output: Book/ReportReportProfessional

SIDOPS+ language definition

Breunese, A. P. J. & de Jager, M., 1996, Universiteit Twente: Geen opgaven. 36 p.

Research output: Book/ReportReportProfessional

1995

Constrains for case packer design based on the mechanical properties of wrapped butter packages

Bouw, R. J., 17 Jan 1995, Enschede: Universiteit Twente. 20 p.

Research output: Book/ReportReportProfessional

Control of metal sheet feed mechanism

van Dijk, J., 1995, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Direkte Positiemeting aan Toner Transfer-banden

Nijstad, H., 1995, Enschede: Control Engineering (CE). 56 p.

Research output: Book/ReportReportProfessional

Fuzzy and learning control of FES induced gait

de Vries, T. J. A., Velthuis, W. J. R., van Amerongen, J. & Veltink, P. H., 1995, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Hands-on approach of triple D

Wassink, M. H., 1995, Enschede: Control Engineering (CE). 85 p.

Research output: Book/ReportReportProfessional

Linear analysis features of CAMAS

van Dijk, J. & Broenink, J. F., 1995, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Modelling and technical analysis of a gantry type robot using 208 IM

ten Have, S., 1995, Enschede: Control Engineering (CE). 76 p.

Research output: Book/ReportReportProfessional

Model taxonomies for OLMECO

Breunese, A. P. J., van Dijk, J. & Broenink, J. F., 1995, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

1994

Bedrijfszekerheids allocatie en analyse in het ontwerpproces

Peeters, W. F. J., 1994, Enschede, The Netherlands: University of Twente.

Research output: Book/ReportReportProfessional

Combined cautious and robust control for bounded parameter and disturbance distributions

Lohnberg, P. & Römer, G. R. B. E., 1994, Enschede, The Netherlands: University of Twente.

Research output: Book/ReportReportProfessional

Combined simple cautious and robust control for parameter and disturbance bounded distributions

Lohnberg, P. & Römer, G. R. B. E., 1994, Enschede, The Netherlands: University of Twente.

Research output: Book/ReportReportProfessional

Conceptual Schema of the OLMECO Library

Top, J. L., Breunese, A. P. J., van Dijk, J., Broenink, J. F. & Akkermans, J. M., 1994, Petten/Enschede: Geen opgaven.

Research output: Book/ReportReportProfessional