Abstract
Complex technical systems, such as mechatronic systems, can exploit the computational power available today to achieve an automatic improvement of the technical system performance at run-time by means of selfoptimization. To realize this vision appropriate means for the design of such systems are required. To support self-optimization it is not enough just to permit to alter some free parameters of the controllers. Furthermore, support for the modular reconfiguration of the internal structures of the controllers is required. Thereby it makes sense to find a representation for reconfigurable systems which includes classical, non-reconfigurable block diagrams. We therefore propose hybrid components and a related hybrid Statechart extension for the Unified Modeling Language (UML); it is to support the design of self-optimizing mechatronic systems by allowing specification of the necessary flexible reconfiguration of the system as well as of its hybrid subsystems in a modular manner.
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
(2003). U L 2.0 Superstructure Specification. Object Management Group. Document ptc/03–08-02.
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(3–34).
Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., and Sokolsky, O. (2001). Hierarchical Hybrid Modeling of Embedded Systems. In irst Workshop on mbedded Software.
Bender, K., Broy, M., Peter, I., Pretschner, A., and Stauner, T. (2002). Model based development of hybrid systems. In odelling, nalysis, and Design of Hybrid Systems, volume 279 of Lecture Notes on Control and Information Sciences, pages 37–52. Springer Verlag.
Conrad, M., Weber, M., and Mueller, O. (1998). Towards a methodology for the design of hybrid systems in automotive electronics. In Proc. of the International Symposium on utomotive Technology and utomation (IS T ’98).
Deppe, M. and Oberschelp, O. (2000). Real-Time Support For Online Controller Supervision And Optimisation. In Proc. of DIP S 2000. Workshop on Distributed and Parallel mbedded Systems, echatronics Laboratory Paderborn, University of Paderborn.
Föllinger, O., Dörscheid, F., and Klittich, M. (1994). egelungstechnik - inführung in die ethoden und ihre nwendung. Hüthig.
Giese, H., Burmester, S., Schäfer, W., and Oberschelp, O. (2004). Modular Design and Verification of Component-Based Mechatronic Systems with Online-Recon.guration. In Proc. of 12th C SIGSO T oundations of Software ngineering 2004 (S 2004), Newport Beach, US. ACM. (accepted).
Giese, H., Tichy, M., Burmester, S., Schäfer, W., and Flake, S. (2003). Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the uropean Software ngineering Conference (S C), Helsinki, inland. Copyright 2003 by ACM, Inc.
Grosu, R., Krueger, I., and Stauner, T. (1999). Hybrid sequence charts. Technical Report TUM-I9914, Technical University Munich, Munich.
Grosu, R., Stauner, T., and Broy, M. (1998). A modular visual model for hybrid systems. In Proc. of ormal Techniques in eal-Time and ault-Tolerant Systems (T T T’98), LNCS 1486. Springer-Verlag.
Henzinger, T. A. (2000). Masaccio: A Formal Model for Embedded Components. In Proceedings of the irst I IP International Conference on Theoretical Computer Science (TCS), Lecture Notes in Computer Science 1872, Springer-Verlag, 2000, pp. 549–563.
Henzinger, T. A., Ho, P.-H., and Wong-Toi, H. (1995). HyTech: The Next Generation. In Proc. of the 16th I eal-Time Symposium. IEEE Computer Press.
Henzinger, T. A., Kirsch, C. M., Sanvido, M. A., and Pree, W. (2003). From Control Models to Real-Time Code Using Giotto. In I Control Systems agazine 23(1):50–64, 2003.
Hestermeyer, T., Schlautmann, P., and Ettingshausen, C. (2002). Active suspension system for railway vehicles-system design and kinematics. In Proc. of the 2nd I C - Confecence on mechatronic systems, Berkeley, California, USA.
Honekamp, U. (1998). IP N - Verteilte chtzeit-Informationsverarbeitung in mechatronischen Systemen. PhD thesis, Universität Paderborn, Düsseldorf.
Isermann, R., Lachmann, K.-H., and Matko, D. (1992). daptive Control Systems. Prentice Hall, Herfordshire.
Kesten, Y. and Pnueli, A. (1992). Timed and hybrid statecharts and their textual representation. In Proc. ormal Techniques in eal-Time and ault-Tolerant Systems, 2nd International Symposium, LNCS 571. Springer-Verlag.
Kühl, M., Reichmann, C., Prötel, I., and Müller-Glaser, K. D. (2002). From object-oriented modeling to code generation for rapid prototyping of embedded electronic systems. In Proc. of the 13th I International Workshop on apid System Prototyping (SP’02), Darmstadt, Germany.
Lamport, L. (1993). Hybrid systems in tla+. Springer.
Lückel, J., Grotstollen, H., Jäker, K.-P., Henke, M., and Liu, X. (1999). Mechatronic design of a modular railway carriage. In Proc. of the 1999 I / S International Conference on dvanced Intelligent echatronics (I 99), Atlanta, GA, USA.
Li, P. Y. and Horowitz, R. (1997). Self-optimizing control. In Proc. of the 36th I Conference on Decision and Control (CDC), pages 1228–1233, San Diego, USA.
Liu-Henke, X., Lückel, J., and Jäker, K.-P. (2000). Development of an Active Suspension/Tilt System for a Mechatronic Railway Carriage. In Proc. of the 1st I C-Conference on echatronics Systems (echatronics 2000), Darmstadt, Germany.
Lygeros, J., Johansson, K. H., Simić, S. N., Zhang, J., and Sastry, S. S. (2003). Dynamical Properties of Hybrid Automata. In I T NS CTIONS ON UTOTIC CONT OL, VOL. 48, NO. 1, J NU Y 2003, volume 48.
Müller, C. and Rake, H. (1999). Automatische Synthese von Steuerungskorrekturen. In KONDISK-Kolloquium, Berlin.
Richert, J. (1996). Integration of mechatronic design tools with camel, exemplified by vehicle convoy control design. In Proc. of the I International Symposium on Computer ided Control System Design, Dearborn, Michigan, USA.
Stauner, T. (2001). Systematic Development of Hybrid Systems. PhD thesis, Technical University Munich.
Stauner, T. (2002). Discrete-time refinement of hybrid automata. In Tomlin, C. and Greenstreet, M., editors, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC 2002), volume 2289 of Lecture Notes in Computer Science, page 407ff, Stanford, CA, USA.
Stauner, T., Pretschner, A., and Péter, I. (2001). Approaching a Discrete-Continuous UML: Tool Support and Formalization. In Proc. U L’2001 workshop on Practical U L-Based igorous Development ethods - Countering or Integrating the eXtremists, pages 242–257, Toronto, Canada.
Wieting, R. (1996). Hybrid high-level nets. In Proceedings of the1996Winter Simulation Conference, pages 848–855, Coronado, CA, USA.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
Burmester, S., Giese, H., Oberschelp, O. (2006). HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS. In: BRAZ, J., ARAÚJO, H., VIEIRA, A., ENCARNAÇÃO, B. (eds) INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4543-3_34
Download citation
DOI: https://doi.org/10.1007/1-4020-4543-3_34
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4136-5
Online ISBN: 978-1-4020-4543-1
eBook Packages: Computer ScienceComputer Science (R0)