EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: ESI/BODERC: Beyond the Ordinary -- Design of Embedded Real-time Control
Home Policy Brochure Browse Search User Area Contact Help

2007

Verhoef, M. and Visser, P.M. and Hooman, J. and Broenink, J.F. (2007) Co-simulation of Distributed Embedded Real-Time Control Systems. In: Integrated Formal Methods, IFM2007. Lecture Notes in Computer Science 4591. Springer Verlag, London, pp. 639-658. ISSN 0302-9743 ISBN 978-3-540-73209-9

2006

Huang, Yang and Visser, P.M. and Broenink, J.F. (2006) A clock synchronization skeleton based on RTAI. In: Proceedings of the 8th Real-Time Linux workshop, 12-15 Oct 2006, Lanzhou, China. Real Time Linux Foundation, Inc. ISBN not assigned
Sandee, J.H. and Visser, P.M. and Heemels, W.P.M.H. (2006) Analysis and experimental validation of processor load for event-driven controllers. In: Proc. 2006 IEEE Conference on Control Applications, 4-6 Oct. 2006, Munich, Germany. pp. 1879-1884. IEEE Control Systems Society. ISBN 0-7803-9797-5
Visser, P.M. and Broenink, J.F. (2006) Controller System Design Trajectory 1. In: Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, 4-6 Oct, 2006, Munich, Germany. pp. 1910-1915. IEEE Control Systems Society. ISBN 0-7803-9797-5
Visser, P.M. and Broenink, J.F. and van Amerongen, J. (2006) Design trajectory and controller-plant interaction. In: Boderc: model-based design of high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 205-214. ISBN 978-90-78679-01-1
van de Waal, E.H. and Beckers, J.M.J. and Broenink, J.F. (2006) Heat modeling in copiers. In: Boderc: Model-based design of high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 89-100. ISBN 978-90-78679-01-1

2005

Jovanović, D.S. and Liet, G. and Broenink, J.F. (2005) A CSP-based trajectory for designing formally verified embedded control software. In: Proceedings 49th Conference on Electronic, Telecommunications, Computer science, Automatics, and Nuclear technique, ETRAN 2005, 5 - 10 Jun 2005, Budva, Montenegro. pp. 285-288. COBISS. ISBN 86-80509-53-1