Research Output

2001

A formal approach to hybrid systems

Cuijpers, P. J. L. & Juloski, A. L., 2001.

Research output: Contribution to conferencePaperAcademic

An overview of existing stability analysis techniques for hybrid systems

Juloski, A. L. & Cuijpers, P. J. L., 2001, Proc. 20th Benelux Meeting on Systems and Control. p. 109-109

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Beyond Zeno-behaviour

Cuijpers, P. J. L., Reniers, M. A. & Engels, A. G., 2001, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0104)

Research output: Book/ReportReportAcademic

Open Access
File
58 Downloads (Pure)

LED display device (priority date 12-10-1999/international filing date 05-10-2000/international publication date 19-04-2001)

Silvestre, G. C. M., Sempel, A., Johnson, M. T., Berkel, van, C. H. & Plangger, G., 19 Apr 2001, Patent No. WO0127910

Research output: PatentPatent publication

Network middleware and mobility

Verhoeven, P. H. F. M., Huang, J. & Lukkien, J. J., 2001, Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001). Karelse, F. (ed.). Utrecht: STW Technology Foundation, p. 287-292

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

PaRallel Object Oriented Scattering Analysis (PROOSA)

Mak, R. H., 2001

Research output: Non-textual formSoftwareProfessional

Synchronous handshake circuits

Peeters, A. M. G. & Berkel, van, C. H., 2001, Proceedings of the Seventh International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC2001, Salt Lake City UT, USA, March 11-14, 2001). p. 86-95

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
19 Citations (Scopus)
250 Downloads (Pure)
2002

Adding synchronous and LSSD modes to asynchronous circuits

Beest, te, F., Berkel, van, C. H. & Peeters, A. M. G., 2002, Proceedings 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002, Manchester, UK, April 8-11, 2002). Los Alamitos CA: IEEE Computer Society, p. 161-170

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)
2 Downloads (Pure)

Analysis and synthesis of systems with discrete and continuous control

Cuijpers, P. J. L., Juloski, A. L., Reniers, M. A., Heemels, W. P. M. H., Groote, J. F. & Bosch, van den, P. P. J., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). p. 28-33

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
50 Downloads (Pure)

Automatic scan insertion and test generation for asynchronous circuits

Beest, te, F., Peeters, A. M. G., Verra, M., Berkel, van, C. H. & Kerkhoff, H. G., 2002, Proceedings IEEE International Test Conference 2002 (ITC 2002, Baltimore MD, USA, October 7-10, 2002). Los Alamitos CA: IEEE Computer Society, p. 804-813

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Citations (Scopus)
1 Downloads (Pure)

Controlling networked devices : a validation of two middleware architectures

Tran, T. M., Peters, P. J. F., Lukkien, J. J. & Verhoeven, P. H. F. M., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Utrecht: STW Technology Foundation, p. 239-245

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Defining services for mobile terminals using remote user interfaces

Verhoeven, P. H. F. M. & Dees, W., 2002, Vivian-Robocop Workshop (Lausanne, Switzerland, September 16, 2002).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Design and performance analysis of buffers: a constructive approach

Mak, R. H., 2002, Proceedings 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002, Manchester, UK, April 9-11, 2002). Los Alamitos CA: IEEE Computer Society, p. 137-148

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Hybrid transition systems

Cuijpers, P. J. L., Reniers, M. A. & Heemels, W. P. M. H., 2002, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0212)

Research output: Book/ReportReportAcademic

Open Access
File
292 Downloads (Pure)

Semantics for Hybrid Systems

Cuijpers, P. J. L. & Heemels, W. P. M. H., 2002, Proc. 21st Benelux Meeting on Systems and Control. TU/e, p. 35-35

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Service discovery mechanisms : two case studies

Lukkien, J. J., Tran, T. M., Verhoeven, P. H. F. M. & Peters, P. J. F., 2002, Proceedings of the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02, Las Vegas NV, USA, June 24-27, 2002). Arabnia, H. R. (ed.). CSREA Press, Vol. 3. p. 1187-1192

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Topological (Bi-)Simulation

Cuijpers, P. J. L. & Reniers, M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0204)

Research output: Book/ReportReportAcademic

Open Access
File
169 Downloads (Pure)
2003

Adding synchronous and LSSD modes to asynchronous circuits

Berkel, van, C. H., Peeters, A. M. G. & Beest, te, F., 2003, In : Microprocessors and Microsystems. 27, 9, p. 461-471

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Analysis and simulations of catalytic reactions

Nedea, S. V., 2003, Eindhoven: Technische Universiteit Eindhoven. 138 p.

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Open Access
File
79 Downloads (Pure)

Consistency in ISpec specifications

van Gogh, K., Kuiper, R. & Luit, E. J., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, p. 84-92

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

CVP : a programmable Co Vector Processor for 3G mobile baseband processing

Berkel, van, C. H., Meuwissen, P. P. E., Engin, N. & Balakrishnan, S., 2003, Proceedings World Wireless Congress 2003 (WWC'03, San Francisco CA, USA, May 27-30, 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Estimation of 3D device position by analyzing ultrasonic reflection signals

Dijk, E. O., Berkel, van, C. H., Aarts, R. M. & Loenen, van, E. J., 2003, Proceedings of the 14th ProRISC, Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 2003) 26 - 27 November 2003, Veldhoven, the Netherlands. Utrecht, the Netherlands: STW Technology Foundation, p. 88-

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Hybrid Analysis of Impact Control

Cuijpers, P. J. L. & Juloski, A. L., 2003, PROGRESS Workshop. Niewegein, NL

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Hybrid process algebra

Cuijpers, P. J. L. & Reniers, M. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 120 p. (Computer science reports; vol. 0307)

Research output: Book/ReportReportAcademic

Open Access
File
82 Downloads (Pure)

Random redundant storage for video on demand

Aerts, J. J. D., 2003, Eindhoven: Technische Universiteit Eindhoven. 114 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
95 Downloads (Pure)

Single bases-station 3D positioning method using ultrasonic reflections (Abstract)

Dijk, E. O., Berkel, van, C. H., Aarts, R. M. & Loenen, van, E. J., 2003, Adjunct Proceedings of the Fifth International Conference on Ubiquitous Computing (Ubicomp 2003, Seattle WA, USA, October 12-15, 2003). p. 199-200

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Synchronous full-scan for asynchronous handshake circuits

Beest, te, F., Peeters, A. M. G., Berkel, van, C. H. & Kerkhoff, H. G., 2003, In : Journal of Electronic Testing : Theory and Applications. 19, 4, p. 397-406

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)
1 Downloads (Pure)

Topological (bi-)simulation

Cuijpers, P. J. L. & Reniers, M. A., 2003, Preliminary Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), BRICS Notes Series NS-03-1. Cousot, P. & et al., X. (eds.). Aarhus: BRICS, p. 1-15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Towards balancing network and terminal resources to improve video quality

Jarnikov, D. S. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2003, Eindhoven: Technische Universiteit Eindhoven. Stan Ackermans Instituut.

Research output: ThesisPd Eng Thesis

Ultrasonic 3D position estimation using a single base station

Dijk, E. O., Berkel, van, C. H., Aarts, R. M. & Loenen, van, E. J., 2003, Ambient Intelligence (Proceedings First European Symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3-4, 2003). Aarts, E. H. L., Collier, R., Loenen, van, E. & Ruyter, de, B. E. R. (eds.). Berlin: Springer, p. 133-148 (Lecture Notes in Computer Science; vol. 2875).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Viterbi decoding on a coprocessor architecture with vector parallelism

Engin, N. & Berkel, van, C. H., 2003, Proceedings IEEE Workshop on Signal Processing Systems (SIPS 2003, Seoul, Korea, August 27-29, 2003). Sunwoo, M. H. & Sung, W. (eds.). Piscataway NJ: IEEE Computer Society, p. 334-339

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)
2004

A 3-D indoor positioning method using a single compact base station

Dijk, E. O., Berkel, van, C. H., Aarts, R. M. & Loenen, van, E. J., 2004, Proceedings Second IEEE International Conference on Pervasive Computing and Communications (PerCom 2004, Orlando FL, USA, March 14-17, 2004). Los Alamitos CA: IEEE Computer Society, p. 101-110

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

20 Citations (Scopus)

Action and predicate safety of hybrid processes

Cuijpers, P. J. L. & Reniers, M. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0410)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Analyzing run-time component memory consumption with aspect-oriented techniques

Michael, G. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2004, Eindhoven: Technische Universiteit Eindhoven. Stan Ackermans Instituut.

Research output: ThesisPd Eng Thesis

A publish-subscribe architecture for interoperable in-home video streaming

Verhoeven, P. H. F. M. & Lukkien, J. J., 2004, Workshop on Real-Time for Multimedia (Proceedings RTMM, Catania, Italy, June 29, 2004). Stok, van der, P. D. V., Lukkien, J. J. & Verhoeven, R. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 13-18 (Computer Science Reports; vol. 04-36).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A taxonomy of maximally elastic buffers

Mak, R. H., 2004, Eindhoven: Technische Universiteit Eindhoven. 37 p. (Computer science reports; vol. 0426)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

Constitutive hybrid processes

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2004, Proceedings Conference on Conceptual Modeling and Simulation (CMS 2004, Bergeggi, Italy, October 28-29, 2004). Bruzzone, A. G. (ed.). Genoa: DIP Academic Press, p. 361-367

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Constitutive hybrid processes

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0412)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Defining services for mobile terminals using remote user interfaces

Verhoeven, P. H. F. M. & Dees, W., 2004, In : IEEE Transactions on Consumer Electronics. 50, 2, p. 535-542

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Indoor ultrasonic position estimation using a single base station

Dijk, E. O., 2004, Eindhoven: Technische Universiteit Eindhoven. 220 p.

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Open Access
File
537 Downloads (Pure)

Linearization of hybrid processes

Brand, van den, P. C. W., Reniers, M. A. & Cuijpers, P. J. L., 2004, Eindhoven: Technische Universiteit Eindhoven. 79 p. (Computer science reports; vol. 0429)

Research output: Book/ReportReportAcademic

Open Access
File
69 Downloads (Pure)

Performance ratios for the differencing method

Michiels, W. P. A. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 129 p.

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Open Access
File
141 Downloads (Pure)

Plug-ins for ISpec

Gool, van, L. C. M., Jonkers, H. B. M., Luit, E. J., Kuiper, R. & Roubtsov, S. A., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, p. 35-40

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
39 Downloads (Pure)

Predictive control of video quality under fluctuating bandwidth conditions

Jarnikov, D., Stok, van der, P. D. V. & Wüst, C. C., 2004, Proceedings of the 2004 IEEE International Conference on Multimedia and Expo (ICME 2004, Taipei, Taiwan, June 27-30, 2004). Institute of Electrical and Electronics Engineers, Vol. 2. p. 1051-1054

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Real-time scheduling for media processing using conditionally guaranteed budgets

Bril, R. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 202 p.

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Open Access
File
121 Downloads (Pure)

Route planning algorithms for car navigation

Flinsenberg, I. C. M., 2004, Eindhoven: Technische Universiteit Eindhoven. 264 p.

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Open Access
File
3444 Downloads (Pure)

Topological (bi-)simulation

Cuijpers, P. J. L. & Reniers, M. A., 2004, Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), satellite to CONCUR 2003. Hildebrandt, T. & et al., X. (eds.). p. 49-64 (Electronic Notes in Theoretical Computer Science; vol. 100).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)