Software engineering

My current field of interest is software engineering, especially software architectures and product lines. A first joint publication is [BBS]. In[GSB01] some ideas about fragments,  i.e. a means to support architecture design, are shown.

Within education I am involved in object oriented techniques.

Discrete Event Systems

I have also done research in the field of discrete event systems (DESs). A DES is a system, in which events can happen. An event is some action, occurring at some time (but without any duration). A DES can be modeled by a triple, consisting of an alphabet (representing all possible events), a behaviour set (all possible sequences of events), and a task set (all possible sequences that lead to completed behaviour).

Theory has been developed about cooperation of such systems. Especially, questions about controlling DESs can be answered. Controllers can be computed to get a controlled system that act as prescribed and/or to avoid ending in deadlock.

DESs play an important role in many applications, like flexible manufacturing systems, computer networks, communication and protocol design, VLSI design and traffic systems.

This research has resulted in a PH.D.thesis [Sme04] and a couple of publications (most important ones: [SpSm] [SSR] [Sme19] [Sme17] [Sme16] [Sme15] [Sme10] [Sme09] [Sme06]).

A first workshop on the field has been organized together with Petr Kozák (Institute of Information Theory and Automation, Czech Academy of Sciences, Prague) in August 1992 in Prague [WODES92] and a second workshop has been organisated in 1996 in Edinburgh, Scotland, see [WODES96]. A third was organized in Cagliari, see [WODES98] and a next one in Gent, Belgium. During WODES2000 and the conference in Spain in 2002, I was a member of the WODES-steering group.

A website with all WODES information is available through this link.

I have cooperated with Michael Spathopoulos (University of Strathclyde, Glasgow, UK). In the period 1994-1999, joint research is done in the fields of decentralized and distributed controllers for discrete event systems, using hierarchical and distributed structures and study on how this theory can be applied in control problems for flexible manufacturing and traffic systems.

Within the framework of Research Networks, Training and Mobility of Researchers, a programme of the European Commission, Directorate General XII, the ALAPEDES project has started in october 1996 and was finished in 2001.

Other fields

Another field of research is simulation, especially simulation tools [Sme03].

Rein Smedinga, Michael Biehl, Femke Kramer, editors proceedings of the eigth StudCol 2011, 20 and 21 April, 2011 Groningen

Rein Smedinga, Michael Biehl, Femke Kramer, editors proceedings of the seventh StudCol 2010, April 23, 2010 Groningen

Rein Smedinga, Tobias Isenberg, editors proceedings of the sixth StudCol 2009,
January 29, 2009 Groningen

Rein Smedinga, Tobias Isenberg, editors proceedings of the fifth StudCol 2008,
January 24, 2008 Groningen

Rein Smedinga, editor proceedings of the fourth StudCol 2007, 
 January 22 and 23, 2007 Groningen

Rein Smedinga, Paris Avgeriou, editors proceedings of the third StudCol 2006,
 January 23 and 24, 2006 Groningen

Rein Smedinga, Jan Terlouw, editors proceedings of the second StudCol 2005,
 January 31 and februari 1, 2005 Groningen

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.

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.

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.

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.

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

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.

R. Smedinga.

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

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), 265-297, 1993.

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).

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).

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.

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.

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).

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.

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

R. Smedinga. 
Control of discrete events.
PhD thesis, University of Groningen, 1989.

also available: De Stellingen  [PDF]