Publications

GSB01

Jilles van Gurp, Rein Smedinga, Jan Bosch
Architectural Design Support for Composition and Superimposition
accepted for HICSS'2002

BBS

Jan Bosch, PO Bengtsson, Rein Smedinga
Assessing Optimal Software Architecture Maintainability
LAC'2000

ELO

Douwe Fokkinga, Annemieke Galema, Rein Smedinga, Hayko Wind. Leren, studeren, beheren!, (een digitale kapstok voor de Electronische Leer Omgeving aan de RUG). IML 1999-2000, april 2000.

WODES98

A. Guia, R. Smedinga, and M.P. Spathopoulos, editors. proceedings on the International Workshop on Discrete Event Systems, WODES98. Institute of Electronical Engineers, Computing and control division, 26 - 28 August 1998, Grand hotel Chia Laguna, Cagliari, Sardinia.

SpSm

M.P.Spathopoulos and R. Smedinga. Some issues on control of discrete event systems using model specifications. In Spathopoulos et al. [WODES96]. Edinburgh, Scotland, UK.

WODES96

R. Smedinga, M.P. Spathopoulos, and P. Kozák, editors. proceedings on the International Workshop on Discrete Event Systems, WODES96. Institute of Electronical Engineers, Computing and control division, 19-21 August 1996. Edinburgh, Scotland, UK.

Sme20

R. Smedinga. Een LaTeX-cursus in Groningen. In MAPS (Minutes and Procedings of NL-TeX user group), number 16. NL-TeX usergroup, 1996.

SSR

M.P.Spathopoulos, R. Smedinga,and M.A. de Ridder. Distributive control of logical discrete event systems using control objectives. Proceedings of the European Control Conference, Rome, 1995.

Sme19

R. Smedinga. Effective control of logical discrete event systems in a trace theory setting using the reflection operator. In Guy Cohen and Jean-Pierre Quadrat, editors, 11th International Conference on Analysis and optimalization of Systems, Discrete event systems, Sophia-Antipolis, june 15-17, 1994, number 199 in Lecture notes in Control and Information sciences, pages 66-72. Springer Verlag, 1994.

Sme15

R. Smedinga. Discrete event systems. course-notes, second version, Department of computing science, University of Groningen, 1993.

Sme18

R. Smedinga. Letter to the editor. Journal on Discrete Event Dynamic Systems, theory and applications, 3(4):317-321, 1993.

Sme10

R. Smedinga. Locked discrete event systems: how to model and how to unlock. Journal on Discrete Event Dynamic Systems, theory and applications, 2(3/4), 1993.

WODES92

S. Balemi, P. Kozák, and R. Smedinga, editors. Discrete Event Systems: Modeling and Control, volume 13 of Progress in Systems and Control Theory. Birkhäuser Verlag, Basel, Switzerland, 1993. (Proceedings of the Joint Workshop on Discrete Event Systems (WODES'92), August 26-28, 1992, Prague, Czechoslovakia).

Sme17

R. Smedinga. The Workshop Exercise Using a Trace Theory Based Setting, pages 167-172. Volume 13 of Balemi et al. [WODES92], 1993. (Proceedings of the Joint Workshop on Discrete Event Systems (WODES'92), August 26-28, 1992, Prague, Czechoslovakia).

Sme17a

R. Smedinga. The workshop exercise using a trace theory based setting. In P. Kozák, S. Balemi, and R. Smedinga, editors, Collection of extended abstracts of the joint workshop on Discrete event systems, Prague, Czechoslovakia, August 26-28 1992.

Sme17b

R. Smedinga. Introduction to the workshop exercise. In P. Kozák, S. Balemi, and R. Smedinga, editors, Collection of extended abstracts of the joint workshop on Discrete event systems, Prague, Czechoslovakia, August 26-28 1992.

Sme16

R. Smedinga. An Overview of Results in Discrete Event Systems using a Trace Theory Based Setting, pages 43-56. Volume 13 of Balemi et al. [WODES92], 1993. (Proceedings of the Joint Workshop on Discrete Event Systems (WODES'92), August 26-28, 1992, Prague, Czechoslovakia).

Sme16a

R. Smedinga. An overview of results in discrete event systems using a trace theory based setting. In P. Kozák, S. Balemi, and R. Smedinga, editors, Collection of extended abstracts of the joint workshop on Discrete event systems, Prague, Czechoslovakia, August 26-28 1992.

Sme13

R. Smedinga. The reflection operator in discrete event systems. Technical Report CS9201, Department of computing science, University of Groningen, 1992.

Sme14

R. Smedinga. Hoe met LaTeX een boek kan worden gemaakt. In MAPS (Minutes and Procedings of NL-TeX user group), number 91.2. NL-TeX usergroup, 1991.

Sme09

R. Smedinga. An effective way to undo a discrete event system of its (dead)lock. In Proceedings of the 1st IFAC Symposium on Design Methods of Control Systems, Zürich, 4-6 September 1991.

Sme06

R. Smedinga. Discrete event systems: deadlock, livelock, and livedeadlock. In U. Jaaksoo and V.I. Utkin, editors, Automatic Control, world congress 1990, 13-17 August, proceedings of 11th IFAC world congress, volume III, Tallinn, Estonia, USSR, 1991. Pergamon Press.

Sme11

R. Smedinga. A program environment in LaTeX, 1990. Unpublished (revised version available).

Sme07

R. Smedinga. Locked discrete event systems. Technical Report CS9002, Department of computing science, University of Groningen, 1990.

Sme05

R. Smedinga. Discrete event systems and deadlock. In M.A. Kaashoek, J.H. van Schuppen, and A.C.M. Ran, editors, Proceedings of the international symposium MTNS-89, volume 1, realisation and modelling in system theory, pages 559-566, Amsterdam June 19-23, 1989. Birkhäuser Boston, Inc. (Released in 1990).

Sme04

R. Smedinga. Control of discrete events. PhD thesis, University of Groningen, 1989.
also available: De Stellingen

Sme03

R. Smedinga. Simulatie en Implementatie. Addison Wesley, 1988.

Sme02

R. Smedinga. Using trace theory to model discrete events. In P. Varaiya and A.B. Kurzhanski, editors, Discrete event systems: models and applications, Lecture notes in control and information science nr. 103, Workshop Sopron, Hungary, August 3-7 1988. IIASA, Springer Verlag.

Sme02a

R. Smedinga. Using trace theory to model discrete events. Technical Report CS8708, Department of computing science, University of Groningen, 1987.

Sme01

R. Smedinga. Control of discrete events. In SION Computer Science in the Netherlands, November 1987.

RJRS

J.E.Rooda, S.M.M.Joosten, T.J.Rossingh, and R.Smedinga. Simulation in S84, 1984.

Last modified: September 4, 2001