Tool support for the design of self-optimizing mechatronic multi-agent systems

International Journal on Software Tools for Technology Transfer

Volumn 10, Issue 3, 2008, Pages 207-222

  Burmester, Sven ^a   Giese, Holger ^b   Münch, Eckehard ^a   Oberschelp, Oliver ^a   Klein, Florian ^a   Scheideler, Peter ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Components; Control; Hybrid systems; Mechatronic; Multi agent systems; Real time; Reconfiguration; Self optimization; UML

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER AIDED ENGINEERING; MECHATRONICS; OPTIMIZATION; SEMANTICS; UNIFIED MODELING LANGUAGE;

RECONFIGURATION; SELF-OPTIMIZATION;

MULTI AGENT SYSTEMS;

EID: 43149100558     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-008-0067-0     Document Type: Article

References (60)

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138 (3-34) (1995)
2. Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Proceedings of the 1st Workshop on Embedded Software (2001)
3. Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice Hall, Enlewood cliffs (1996)
4. Bauer, B., Müller, J.P.: Using UML in the context of agent- oriented software engineering: State of the art. In: Agent-Oriented Software Engineering IV. LNCS, vol. 2935, pp. 1-24. Springer, Heidelberg (2003)
5. BauerA B., Müller, J.P., Odell, J.: Agent UML: a Formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M. (eds.) Workshop on Agent-Oriented Software Engineering (Held at the 22nd International Conference on Software Engineering (ISCE2000)), pp. 91-103. Springer, Heidelberg (2001) pp. 91-103.
6. Bender, K., Broy, M., Peter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems. In: Modelling, Analysis, and Design of Hybrid Systems. Lecture Notes on Control and Information Sciences, vol. 279, pages 37-52 Springer, Heidelberg (2002)
7. Bichler, L., Radermacher, A., Schuerr, A.: Evaluating UMl Extensions for Modeling Real-Time Systems. In: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), pp. 271ff, San Diego (2002)
8. Bollella, G., Brosgol, B., Furr, S., Hardin, S., Dibble, P., Gosling, J., Turnbull, M.: The Real-Time Specification for Java TM. Addison-Wesley, (2000)
9. Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics. Stanley Thornes (2000)
10. Brooks, R.A.: Intelligence without reason. In: Myopoulos, J., Reiter, R. (eds) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 569-595, Sydney, Morgan Kaufmann publishers Inc., San Mateo
11. Burmester, S., Gehrke, M., Giese, H., Oberthür, S.: Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. In: Proceedings of 4th ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, ACM, (2004)
12. Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and modular code synthesis for reconfigurable mechatronic software components. In: Proceedings of European Simulation and Modelling Conference (ESMc'2004), Paris (2004)
13. Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML components for the design of complex self-optimizing mechatronic systems. In: Proceedings of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, IEEE, Washington (2004)
14. Burmester, S., Giese, H., Schäfer, W.: Model-driven architecture for hard real-time systems: From platform independent models to code. In: Proceedings of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), Nürnberg, LNCS, vol. 3748, pp. 1-15. Springer, Heidelberg (2005)
15. Burmester, S., Giese, H., Tichy, M.: Model-driven development of reconfigurable mechatronic systems with mechatronic UML. In Model Driven Architecture: Foundations and Applications, LNCS, vol. 3599, pp. 47-61. Springer, Heidelberg (2005)
16. Cotting, M.C., Burken, J.J.: Reconfigurable control design for the full x-33 flight envelope. Technical report, NASA Dryden Flight Research Center Edwards, California (2001)
17. Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (1999)
18. Ferber, J.: MulAi-agent systems: an introduction to distributed artificial intelligence. Addison-Wesley, Reading (1999)
19. Ferguson, IAA.: Touringmachines: autonomous agents with attitudes. IEEE Comput. 25 (5), 51-55 (1992)
20. Giese, H., Burmester, S., Klein, F., Schilling, D., Tichy, M.: Multi-agent system design for safety-critical self-optimizing mechatronic systems with UML. In: OOPSLA 2003 - 2nd International Workshop on Agent-Oriented Methodologies, Anaheim, pp. 21-32 (2003)
21. Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular design and verification of component-based mechatronic systems with online-reconfiguration. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, ACM, New York (2004)
22. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the compositional verification of real-time UML designs. In: Proceedings of ESEC/FSE, Helsinki, pp. 38-47. ACM Press, New York (2003)
23. Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)
24. Grosu, R., Stauner, T., Broy, M.: A modular visual model for hybrid systems. In: Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98). LNCS, vol. 1486. Springer, Heidelberg (1998)
25. Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A model-based approach to system-level dependency and real-time analysis of embedded software. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto (2003)
26. HenzAnger, T.A.: Masaccio: a Formal model for embedded components. In: Proceedings of the 1st IFIP International Conference on Theoretical Computer Science (TCS). LNCS, vol. 1872, Springer, Heidelberg (2000)
27. HeTzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: the next generation. In: Proceedings of the 16th IEEE Real-Time Symposium. IEEE Computer Press, Piscataway (1995)
28. Henzinger, T.A., Minea, M., Prabhu, V.: Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome. LNCS, vol. 2034, pp. 275-290. Springer, Heildelberg (2001)
29. Hestermeyer, T., Münch, E., Oberschelp, O.: Sollbahn - Planung für schienengebundene Fahrzeuge. In: Berechnung und Simulation im Fahrzeugbau 2004, Würzburg, VDI (2004)
30. Hestermeyer, T., Oberschelp, O., Giese, H.: Structured information processing for self-optimizing mechatronic systems. In: Proceedings of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal. IEEE, Washington (2004)
31. Honekamp, U.: IPANEMA - Verteilte Echtzeit-Informationsverarbeitung in mechatronischen Systemen. PhD thesis, Universität Paderborn, Düsseldorf (1998)
32. Isermann, R., Lachmann, K.-H., Matko, D.: Adaptive Control Systems. Prentice Hall, Hertfordshire (1992)
33. Kapinski, J., Krogh, B.: Verifying switched-mode computer controlled systems. In: Computer Aided Control System Design. IEEE Control Systems Society, Washington (2002)
34. Kesten, Y., Pnueli, A.: Timed and hybrid statecharts and their textual representation. In: Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS, vol. 571. Springer, Heidelberg (1992)
35. Kühl, M., Reichmann, C., Prötel, I., Müller-Glaser, K.D.: From object-oriented modeling to code generation for rapid prototyping of embedded electronic systems. In: Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP'02), Darmstadt, Heidelberg (2002)
36. Lamport, L.: Hybrid systems in tla+. Springer, Heidelberg (1993)
37. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer Int. J. Softw. Tools Technol 1 (1) (1997)
38. Li, P.Y., Horowitz, R.: Self-optimizing control. In: Proceedings of the 36th IEEE Conference on Decision and Control (CDC), pp. 1228-1233, San Diego (1997)
39. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O Automata Revisited. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome LNCS, vol. 2034, pp. 403-417. Springer, Heidelberg (2001)
40. Masse, J., Kim, S., Hong, S.: Tool set implementation for scenario-based multithreading of UML-RT models and experimental validation. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto (2003)
41. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.: Composing Adaptive Software. IEEE Comput. 37 (7) (2004)
42. Müch, E., OberschelpO., Hestermeyer, T., Scheideler, P., Schmidt, A.: Distributed optimization of reference trajectories for active suspension with multi-agent systems. In: 18th European Simulation Multiconference (ESM), Magdeburg, VDI (2004)
43. Naumann, R., Rasche, R.: Description and simulation of hybrid mechatronic systems. In: International Workshop on Hybrid Systems: Computation and Control, Berkeley (1998)
44. Oberschelp, O., Gambuzza, A., Burmester, S., Giese, H.: Modular generation and simulation of mechatronic systems. In: Proceedings of the 8th world multi-conference on systemics, cybernetics and informatics (SCI), Orlando (2004)
45. Oberschelp, O., Hestermeyer, T., Kleinjohann, B., Kleinjohann, L.: Design of self-optimizing agent-based controllers. In CfP Workshop 2002 - Agent-Based Simulation 3, Passau (2002)
46. Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (2002)
47. Object Management Group. UML for System Engineering Request for Proposal, ad/03-03-41 (2003)
48. Object Management Group. UML 2.0 Superstructure Specification. (2004)
49. Ogata, K.: Modern Control Engineering. Prentice Hall, Englewood cliff (2002)
50. Parunak, H.V.D., Odell, J. Representing social structures in UML. In: Müller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the 5th International Conference on Autonomous Agents, Montreal, pp. 100-101, ACM Press, New York
51. Poggi, A., Rimassa, G., Turci, P., Odell, J., Mouratidis, H., Manson, G.: Modeling deployment and mobility issues in multiagent systems using AUML. In: Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Revised Papers. LNCS, vol. 2935, pp. 69-84. Springer, Heidelberg (2003)
52. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. Wiley, London (1994)
53. Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems. Technical report, ObjecTime Limited (1998)
54. Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universität München (2001)
55. Stauner, T., Pretschner, A., Péter, I.: Approaching a discrete- continuous UML: Tool support and formalization. In: Proceedings of the UML'2001 workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Toronto, pp. 242-257 (2001)
56. Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)
57. SysML Partners. Systems Modeling Language: SysML (2005)
58. Wagner, G.: The agent-object-relatiTnship metamodel: towards a unified view of state and behavior. Info. Syst. 28 (5), 475-504 (2003)
59. Wieting, R.: Hybrid high-level nets. In: Proceedings of the 1996 Winter Simulation Conference, Coronado, pp. 848-855 (1996)
60. Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, Chichester (2002)