Abstract
This work considers model construction and validation in controller design. The problem we are interested in is to derive a formal model of a controlled automation system from a semi-formal description of the uncontrolled plant and various requirements concerning the plant and the processes of the controlled system. These requirements are originally formulated on many different abstraction levels, partly employing formal notations, partly using just natural language and partly consisting of mixtures of both. Moreover, they are often incomplete, contain errors, contradict each other and assume some domain knowledge which is typically not explicitly stated. So a crucial part of the model construction process is the formalization of the plant and of the requirements as well as validation of the derived models. We suggest a simulation-based method which employs formal and graphical representations of process models and specifications and which involves an iterative process of formalization and validation of requirements. The approach is based on particular Petri nets, called signal nets, as formal process models and partially ordered runs as their semantics. This contribution also reports on a case study from the automotive industry.
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.
Similar content being viewed by others
References
Desel, J.: Validation of System Models Using Partially Ordered Runs. In: Szczerbicka, H. (ed.) Proc. of the 13th European Simulation Multiconference ESM 1999, Modelling and Simulation: A Tool for the Next Millenium, Warschau, Society for Computer Simulation, pp. 295–302 (1999)
Desel, J.: Validation of Process Models by Construction of Process Nets. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 110–128. Springer, Heidelberg (2000)
Desel, J.: Simulation of Petri Net Processes. In: Kozk, Huba, M. (eds.) Proc. of the IFAC Conference on Control System Design, Bratislava, pp. 14–25 (2000)
Desel, J.: Teaching System Modeling, Simulation and Validation. In: Joines, J.A., Barton, R.R., Kang, K., Fishwick, P.A. (eds.) Proc. of the 2000 Winter Simulation Conference, WSC 2000, Orlando, pp. 1669–1675 (2000)
Desel, J.: Model Validation - A Theoretical Issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 23–43. Springer, Heidelberg (2002)
Desel, J., Juhás, G., Lorenz, R.: Process Semantics and Process Equivalence of NCEM. In: Proc 7. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2000, Fachberichte Informatik, Universität Koblenz - Landau, pp. 7–12 (2000)
Desel, J., Juhás, G., Lorenz, R.: Input/Output Equivalence of Petri Modules. In: Proc. of the 6th Biennial World Conference on Integrated Design and Process Technology IDPT 2002, Pasadena, California (2002)
Desel, J., Juhás, G., Lorenz, R., Milijic, V., Neumair, C., Schieber, R.: Modellierung von Steuerungssystemen mit Signal-Petrinetzen – eine Fallstudie aus der Automobilindustrie. In: Schnieder, E. (ed.) 8. Fachtagung Entwurf komplexer Automatisierungssysteme 2003, Proceedings of EKA 2003, Braunschweig, pp. 273–297 (2003)
Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and Validation with Vip- Tool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380–389. Springer, Heidelberg (2003)
Genrich, H., Thieler-Mevissen, G.: The Calculus of Facts. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 588–595. Springer, Heidelberg (1976)
Hanisch, H.-M., Lüder, A.: A Signal Extension for Petri nets and its Use in Controller Design. Fundamenta Informaticae 41(4), 415–431 (2000)
Hanisch, H.-M., Lüder, A.: Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Obersvation. European Journal of Control (3), 280–291 (1997)
Hanisch, H.-M., Thieme, J., Lüder, A.: Towards a Synthesis Method for Distributed Safety controllers Based on Net Condition/Event Systems. Journal of Intelligent Manufacturing (5), 357–368 (1997)
Juhás, G., Lorenz, R.: Modelling with Petri Modules. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 125–138. Kluwer, Dordrecht (2002)
Juhás, G., Lorenz, R., Neumair, C.: Modelling and Control with Modules of Signal Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 585–625. Springer, Heidelberg (2004)
Sreenivas, R.S., Krogh, B.H.: Petri Net Based Models for Condition/Event Systems. In: Proceedings of 1991 American Control Conference, Boston, MA, vol. 3, pp. 2899–2904 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Desel, J., Milijic, V., Neumair, C. (2004). Model Validation in Controller Design. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. ACPN 2003. Lecture Notes in Computer Science, vol 3098. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27755-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-27755-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22261-3
Online ISBN: 978-3-540-27755-2
eBook Packages: Springer Book Archive