Abstract
This paper shows an universal approach to the design and development of discrete or hybrid discrete-continuos control systems. As means of description Petri nets are used and as method the general approach called BASYSNET. Three main steps have to be fulfilled to create a control system: firstly, if it is possible, the model of the uncontrolled plant and the process objectives, which determine the requirements for the control system, have to be formalized. The second step is the development of the formal controller model. For these tasks two different ways are possible. If the process model is formalizable, both – the formal process model and the formal process objective serve as inputs for the algorithm automated synthesis providing the formal controller model. If the process model can not be transformed in a formal description, e. g. due to a reasonable not to handle state-space, a heuristic approach has to be used. In the third step the partitioning of the control model into Hard- and Software will be done.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boehm, B.: A spiral model of software devlopment and enhancement. IEEE Computer, 61–72 (May 1988)
Chouikha, M., Meyer, M., Meyer zu Hörste, M., Schnieder, E.: Ansätze für die Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen. In: Schnieder, E. (ed.) FORMS 2000 - Formale Techniken für die die Eisenbahnsicherung, Düsseldorf, pp. 57–84. VDI-Verlag (2000) (in German)
Chouikha, M., Ober, B., Schnieder, E.: Model-based control synthesis for discrete event systems. In: Hamza, M. (ed.) IASTED Conference on Modelling and Simulation, Pittsburgh, PA, pp. 276–280 (May 1998)
Chouikha, M., Schnieder, E., Ober, B.: Automatisierter Steuerungsentwurf für diskrete und kontinuierlich-diskrete Systeme. AT - Automatisierungstechnik 49(6), 280–286 (2001)
Einer, S., Schnieder, E.: A petri net based modelling approach for operating methods in train control systems. In: IFAC Conference on Control Systems Design (CSD2000), Bratislava (Slovak Republik) (2000)
Einer, S., Slovak, R., Schnieder, E.: Modelling train control systems with petrinets - an operational model. In: Systems, Man and Cybernetics, Nashville, USA, vol. 10 (2000)
GMA Unterausschuß 1.51 Standardisierte Beschreibungsmittel in der Automatisierungstechnik. Glossar (October 1996) (in German), http://www.ifra.ing.tu-bs.de/gma181/glossar.htm
Janhsen, A., Lemmer, K., Ptok, B., Schnieder, E.: Modelling and simulation of new european train control system. In: IFAC Symposium on Transportation Systems, Chania (Greece) (1997)
Jansen, L.: Referenzfallstudie Verkehrsleittechnik. Institut für Regelungs- und Automatisierunsgtechnik, Technischen Universität Braunschweig, Braunschweig (Germany) (1999) (in German), see: http://www.ifra.ing.tu-bs.de/~m33/spezi/
Jansen, L., Meyer zu Hörste, M., Schnieder, E.: Technical Issues in Modelling the European Train Control System (etcs) using coloured Petrinets and the Design CPN Tools. In: Design CPN Users Conference, Aarhus (Denmark), pp. 103–115 (1998)
Meyer zu Hörste, M., Parthasarathy, S., Schnieder, E.: Notation, method, tool: A conceptual framework for the application of formal methods. In: 9th IFAC Symposium on Control in Transportation Systems, Braunschweig (Germany) (June 2000)
Meyer zu Hörste, M., Ptok, B., Schnieder, E., Schrom, H.: A case study for the automated system design: the satellite-based train control system. In: IFAC Conference on Control Systems Design (CSD2000), Bratislava (Slovak Republik) (2000)
Meyer zu Hörste, M., Schnieder, E.: Modelling train control systems with petrinets - a functional model. In: Systems, Man and Cybernetics, Nashville, USA, vol. 10 (2000)
Parthasarthy, S., Schnieder, E.: The explication problem: the achilles heel of formal methods. In: Entwicklung und Betrieb komplexer Automatisierungssysteme, EKA 1999, Braunschweig (Germany), pp. 93–103 (May 1999)
Schnieder, E.: Methoden der Automatisierung. Vieweg, Braunschweig (Germany) (1999) (in German)
Stein, W.: Object-Oriented Analysis Methods - Comparison, Evaluation and Choice. BI-Verlag, Mannheim (1993) (in German)
Yourdon, E.: Modern Structured Analysis. Prentice-Hall, Englewood Cliffs (1989)
Meyer zu Hörste, M.: Modelling and simulation of train control systems with petri nets. In: Bjorner, D. (ed.) FMERail Workshop 3, St. Pölten (Austria) (Febrary 1999), www.ifad.dk/Projects/FMERail/proceedings3.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schnieder, E., Chouikha, M., Einer, S., Hörste, M.M.z. (2003). BASYSNET – An Integrated Approach for Automated Control System Development. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds) Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-40022-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20538-8
Online ISBN: 978-3-540-40022-6
eBook Packages: Springer Book Archive