HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS

Sven Burmester, Holger Giese, Oliver Oberschelp

2004

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 self-optimization. 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.

References

  1. (2003). UML 2.0 Superstructure Speci cation. Object Management Group. Document ptc/03-08-02.
  2. 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).
  3. 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 First Workshop on Embedded Software.
  4. Bender, K., Broy, M., Peter, I., Pretschner, A., and Stauner, T. (2002). Model based development of hybrid systems. In Modelling, Analysis, and Design of Hybrid Systems, volume 279 of Lecture Notes on Control and Information Sciences, pages 37–52. Springer Verlag.
  5. 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 Automotive Technology and Automation (ISATA'98).
  6. Deppe, M. and Oberschelp, O. (2000). Real-Time Support For Online Controller Supervision And Optimisation. In Proc. of DIPES 2000. Workshop on Distributed and Parallel Embedded Systems, Mechatronics Laboratory Paderborn, University of Paderborn.
  7. Föllinger, O., Dörscheid, F., and Klittich, M. (1994). Regelungstechnik - Einf ührung in die Methoden und ihre Anwendung. Hüthig.
  8. Giese, H., Burmester, S., Schäfer, W., and Oberschelp, O. (2004). Modular Design and Veri cation of Component-Based Mechatronic Systems with OnlineRecon guration. In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA. ACM. (accepted).
  9. Giese, H., Tichy, M., Burmester, S., Schäfer, W., and Flake, S. (2003). Towards the compositional verification of real-time uml designs. In European Software Engineering Conference (ESEC), Helsinki, Finland. ACM Press.
  10. Grosu, R., Krueger, I., and Stauner, T. (1999). Hybrid sequence charts. Technical Report TUM-I9914, Technical University Munich, Munich.
  11. Grosu, R., Stauner, T., and Broy, M. (1998). A modular visual model for hybrid systems. In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486. Springer-Verlag.
  12. Henzinger, T. A. (2000). Masaccio: A Formal Model for Embedded Components. In Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), Lecture Notes in Computer Science 1872, Springer-Verlag, 2000, pp. 549-563.
  13. Henzinger, T. A., Ho, P.-H., and Wong-Toi, H. (1995). HyTech: The Next Generation. In Proc. of the 16th IEEE Real-Time Symposium. IEEE Computer Press.
  14. Henzinger, T. A., Kirsch, C. M., Sanvido, M. A., and Pree, W. (2003). From Control Models to Real-Time Code Using Giotto. In IEEE Control Systems Magazine 23(1):50-64, 2003.
  15. Hestermeyer, T., Schlautmann, P., and Ettingshausen, C. (2002). Active suspension system for railway vehicles-system design and kinematics. In Proc. of the 2nd IFAC - Confecence on mechatronic systems, Berkeley, California, USA.
  16. Honekamp, U. (1998). IPANEMA - Verteilte EchtzeitInformationsverarbeitung in mechatronischen Systemen. PhD thesis, Universität Paderborn, Düsseldorf.
  17. Isermann, R., Lachmann, K.-H., and Matko, D. (1992). Adaptive Control Systems. Prentice Hall, Herfordshire.
  18. Kesten, Y. and Pnueli, A. (1992). Timed and hybrid statecharts and their textual representation. In Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS 571. Springer-Verlag.
  19. 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 IEEE International Workshop on Rapid System Prototyping (RSP'02), Darmstadt, Germany.
  20. Lamport, L. (1993). Hybrid systems in tla+. Springer.
  21. 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 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM99), Atlanta, GA, USA.
  22. Li, P. Y. and Horowitz, R. (1997). Self-optimizing control. In Proc. of the 36th IEEE Conference on Decision and Control (CDC), pages 1228-1233, San Diego, USA.
  23. 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 IFAC-Conference on Mechatronics Systems (Mechatronics 2000), Darmstadt, Germany.
  24. Lygeros, J., Johansson, K. H., Simic, S. N., Zhang, J., and Sastry, S. S. (2003). Dynamical Properties of Hybrid Automata. In IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 1, JANUARY 2003, volume 48.
  25. Müller, C. and Rake, H. (1999). Automatische Synthese von Steuerungskorrekturen. In KONDISK-Kolloquium, Berlin.
  26. Richert, J. (1996). Integration of mechatronic design tools with camel, exempli ed by vehicle convoy control design. In Proc. of the IEEE International Symposium on Computer Aided Control System Design, Dearborn, Michigan, USA.
  27. Stauner, T. (2001). Systematic Development of Hybrid Systems. PhD thesis, Technical University Munich.
  28. Stauner, T. (2002). Discrete-time re nement 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.
  29. Stauner, T., Pretschner, A., and Péter, I. (2001). Approaching a Discrete-Continuous UML: Tool Support and Formalization. In Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, pages 242-257, Toronto, Canada.
  30. Wieting, R. (1996). Hybrid high-level nets. In Proceedings of the 1996 Winter Simulation Conference, pages 848- 855, Coronado, CA, USA.
Download


Paper Citation


in Harvard Style

Burmester S., Giese H. and Oberschelp O. (2004). HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS . In Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 972-8865-12-0, pages 222-229. DOI: 10.5220/0001141502220229


in Bibtex Style

@conference{icinco04,
author={Sven Burmester and Holger Giese and Oliver Oberschelp},
title={HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS},
booktitle={Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2004},
pages={222-229},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001141502220229},
isbn={972-8865-12-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS
SN - 972-8865-12-0
AU - Burmester S.
AU - Giese H.
AU - Oberschelp O.
PY - 2004
SP - 222
EP - 229
DO - 10.5220/0001141502220229