Computer-automated multiparadigm modeling in control systems technology

IEEE Transactions on Control Systems Technology

Volumn 12, Issue 2, 2004, Pages 223-234

  Mosterman, Pieter J ^a   Sztipanovits, Janos ^b   Engell, Sebastian ^c  

^a MATHWORKS INC   (United States)

^b VANDERBILT UNIVERSITY   (United States)

^c TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Computer aided control system design; Control engineering; Design automation; Embedded software design; Meta modeling; Model integrated computing; Multiparadigm modeling; Systems engineering

Indexed keywords

COMPUTER AIDED DESIGN; EMBEDDED SYSTEMS; FEEDBACK CONTROL; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

COMPUTER AIDED CONTROL SYSTEM DESIGN; COMPUTER AUTOMATED MULTIPARADIGM MODELING; CONTROL ENGINEERING; DESIGN AUTOMATION; EMBEDDED SOFTWARE DESIGN; MODEL INTEGRATED COMPUTING;

CONTROL SYSTEM SYNTHESIS;

EID: 1942536192     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2004.824280     Document Type: Article

References (65)

1. K. Wijbrans, "Twente Hierarchical Embedded Systems Implementation by Simulation: A Structured Method for Controller Realization," Ph.D. dissertation, Univ. Twente, Enschede, The Netherlands, 1993.
2. Using Simulink. Natick, MA: The MathWorks, Inc., Simulink, Jan. 2002.
3. D. Harel, "Statecharts: A visual formalis for complex systems," Sci. Comput. Programming, vol. 8, pp. 231-274, 1987.
4. C. Hoare, "Communicating sequential processes," Commun. ACM, vol. 21, no. 8, pp. 666-677, Aug. 1978.
5. Petri Nets & Grafcet, 1992.
6. N. Halbwachs, "Synchronous programming of reactive systems, a tutorial and commented bibliography," in Proc. 10th Int. Conf. Computer-Aided Verification (CAV'98), Vancouver, BC, June, 1998, pp. 1-16, LNCS 1427.
7. B. P. Zeigler, Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems. San Diego: CA: Academic, 1990.
8. OMG Unified Modeling Language Specification (1999, June). [Online]. Available: http://www.omg.org/
9. M. M. Tiller, Introduction to Physical Modeling with Modelica. Boston, MA: Kluwer, 2001.
10. IEEE Standard 1076.1-1999 (1999, Mar.) [Online]. Available: http://www.vhdl.org
11. D. Karnopp, D. Margolis, and R. Rosenberg, Systems Dynamics: A Unifield Approach, 2nd ed. New York: Wiley, 1990.
12. H. M. Paynter, Analysis and Design of Engineering Systems. Cambridge, MA: MIT Press, 1961.
13. R. Bosch, "Can Specification,", Stuttgart, Germany, Tech. Rep., 1991.
14. Stateflow User's Guide. Natick, MA: The MathWorks, Inc., 2002.
15. Z. Kohavi, Switching the Finite Automata Theory. New York: McGraw-Hill, 1978.
16. M. S. Branicky, V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control: Model and optimal control theory," IEEE Trans. Automat. Contr., vol. 43, pp. 31-45, Jan. 1998.
17. M. D. D. Benedetto and A. L. Sangiovanni-Vincentelli, Eds., Hybrid Systems: Computation and Control. ser. Lecture Notes Comput. Sci.: Springer-Verlag, Mar. 2001, vol. 2034.
18. N. Lynch and B. Krogh, Eds., Hybrid Systems: Computation and Control. ser. Lecture Notes Comput. Sci., Berlin, Germany: Springer-Verlag, Mar. 2000, vol. 1790.
19. F. W. Vaandrager and J. H. van Schuppen, Hybrid Systems: Computation and Control, ser. Lecture Notes Comput. Sci., Berlin, Germany: Springer-Verlag, Mar. 1999, vol. 1569.
20. SimMechanics User's Guide. Natick, MA: The MathWorks, Inc., 2002.
21. SimPowerSystems User's Guide. Natick, MA: The MathWorks, Inc., 2002.
22. E. Christen, "The VHDL 1076.1 language for mixed-signal design," Elect. Eng. Times, vol., 1997.
23. User Manual. Ann Arbor, MI: Mech. Dynam., 2002. Automat. Dynam. Anal. Mech. Syst. (ADAMS).
24. B. J. de Kruif and T. J. A. de Vries, "On using a support vector machine learning feed-forward control," in Proc. 2001 IEEE/ASME Int. Conf. Advanced Intelligent Mechatronics, Como, Italy, July 2001, pp. 272-277.
25. S.-T. Levi and A. K. Agrawala, Real Time Design. New York: McGraw-Hill, 1990.
26. D. J. Hatley and I. Pirbhai, Strategies for Real-Time Systems Specification. New York: Dorset House, 1988.
27. P. T. Ward and S. J. Mellor, Structured Development for Real-Time Systems. Englewood Cliffs, NJ: Prentice-Hall, 1985.
28. phyCORE-MPC555, Mainz, Germany: PHYTEC Meßtechnik GmbH, 2000.
29. K. D. Müller-Glaser, G. Frick, E. Sax, and M. Kühl, "Multiparadigm modeling in embedded systems design," IEEE Trans. Contr. Syst. Technol., 2003.
30. SPICE User's Guide. Berkeley, CA: SPICE, EECS Dept., Univ. California, 2002.
31. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
32. P. H. Starke, Analyze von Petri-Netz-Modellen. Stuttgart, Germany: B.G. Teubner, 1990.
33. A. Misra, "Sensor-Based Diagnosis of Dynamical Systems," Ph.D. dissertation, Vanderbilt Univ., Nashville, TN, 1994.
34. M. Otter, C. Schlegel, and H. Elmqvist, "Modeling and realtime simulation of an automatic gearbox using modelica," in Proc. ESS'97, Passau, Germany, Oct. 1997, pp. 115-121.
35. R. Otterbach, T. Pöhlmann, A. Rökgauer, and J. Vater, "DS1103 PPC Controller Board - Rapid Prototyping with Combined RISC and DSP Power for Motion Control," dSPACE GmbH, Paderborn, Germany, Tech. Rep., May 1998.
36. J. Sztipanovits, G. Karsai, and T. Bapty, "Self-adaptive software for signal processing," Commun. ACM, vol. 41, no. 5, pp. 55-68, May 1998.
37. H.-D. Joos, "A methodology for multi-objective design assessment and flight control synthesis tuning," Aerosp. Sci. Technol., vol. 3, no. 3, pp. 161-176, 1999.
38. S. Kumar, D. Bhatt, S. Vestal, B. Wren, J. Shackleton, H. Shirley, R. Bhatt, J. Golusky, M. Vojta, J. Fischer, S. Crago, B. Schott, R. Parker, and G. Gardner, "ADAPTERS," in Proc. 2nd Annu. Military and Aerospace Applications of Programmable Devices and Technologies Conf., Laurel, MD, Sept. 1999.
39. T. Bapty, S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, "Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems," Vanderbilt Univ., Nashville, TN, Tech. Rep. ISIS-99-01, 2000.
40. H. Garcia, A. Ray, and R. Edwards, "A reconfigurable hybrid system and its application to power plant control," IEEE Trans. Contr. Syst. Technol., vol. 3, no. 2, June 1995.
41. L. Palopoli, C. Pinello, A. S. Vincentelli, L. Elghaougi, and A. Bicchi, "Synthesis of robust control systems under resource constraints," in Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, C. Tomlin and M. Greenstreet, Eds. Berlin, Germany: Springer-Verlag, Mar. 2002, pp. 337-350.
42. H. Mann, "A versatile modeling and simulation tool for mechatronics control system development," Proc. 1996 IEEE Symp. Computer Aided Control System Design, pp. 524-529, 1996.
43. J. B. Ferris and J. L. Stein, "Development of proper models of hybrid systems: A bond graph formulation," in Proc. 1995 Int. Conf. Bond Graph Modeling and Simulation (ICBGM'95), vol. 27, F. E. Cellier and J. J. Granda, Eds., Jan. 1995, pp. 43-48.
44. P. J. Mosterman and H. Vangheluwe, Eds., Special Issue on Computer Automated Multi-Paradigm Modeling, ser. ACM Trans. Modeling Comput. Simul., 2003, vol. 12.
45. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software," Proc. IEEE, vol. 91, no. 1, pp. 145-164, Jan. 2003.
46. J. Davis II, R. Galicia, M. Goel, C. Hylands, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java. Berkeley, CA: Dept. Elect. Eng. Comput. Sci., Univ. California, 1999. version 0.1.1.
47. F. J. Barros, "Modeling formalisms for dynamic structure systems," ACM Trans. Modeling Comput. Simulat., vol. 7, no. 4, pp. 501-515, 1997.
48. H. Vangheluwe, "DEVS as a common denominator for multi-formalism hybrid system modeling," in Proc. IEEE Int. Symp. Computer Aided Control System Design, Anchorage, AK, Sept. 2000, pp. 129-134.
49. G. J. Pappas, G. Lafferriere, and S. Sastry, "Hierarchically Consistent Control Systems," Univ. California, Berkeley, CA, Tech. Rep. UCB/ERL M98/16, 1998.
50. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, "Counterexample-guided abstraction refinement," in Proc. Int. Conf. Computer-Aided Verification (CAV'97), Chicago, IL, July 2000, pp. 154-169.
51. W. Minten, S. Vranckx, B. D. Moor, and J. Vandewalle, "Bondlab, a MATLAB based GUI for bond graph modeling," J. A - Special Issue Computer Aided Control System Design, vol. 38, no. 3, pp. 11-15, 1997.
52. J. van Dijk, "On the Role of Bond Graph Causality in Modeling Mechatronic Systems," Ph.D. dissertation, Univ. Twente, Enschede, The Netherlands, 1994.
53. E. Engstrom and J. Krueger, "A meta-modeler's job is never done: Building and evolving domain-specific tools with DOME," in Proc. IEEE Int. Symp. Computer Aided Control System Design, Anchorage, AK, Sept. 2000, pp. 83-88.
54. G. Karsai, G. Nordstrom, A. Ledeczi, and J. Sztipanovitz, "Specifying graphical modeling systems using constraint-based metamodels," in Proc. IEEE Int. Symp. Computer Aided Control System Design, Anchorage, AK, Sept. 2000, pp. 89-94.
55. J. Davis and J. Woodcock, Using Z: Specification, Refinement, and Proof, ser. Int. Ser. Comput. Sci., Englewood Cliffs, NJ: Prentice-Hall, 1996.
56. C. Atkinson, "Metamodeling for distributed object environments," in Proc. 1st Int. Enterprise Distributed Object Computing Workshop (EDOC'97), Brisbane, Australia, 1997, pp. 90-101.
57. D. Garlan, R. T. Monroe, and D. Wile, "Acme: An architecture description interchange language," in Proc. CASCON97, Toronto, ON, Canada, Nov. 1997, pp. 169-183.
58. A. Ledeczi, G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, "On meta-model composition," in Proc. IEEE Int. Conf. Control Applications, Mexico City, Mexico, Sept 2001.
59. M. A. P. Remelhe, S. Engell, M. Otter, A. Deparade, and P. J. Mosterman, "An environment for the integrated modeling of systems with complex continuous and discrete dynamics," in Modeling, Analysis, and Design of Hybrid Systems, S. Engell, G. Frehse, and E. Schnieder, Eds. Berlin, Germany: Springer-Verlag, 2002, vol. 279, pp. 83-105. Lecture Notes Inform. Sci.
60. J. Sztipanovits, G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, and A. Misra, "MULTIGRAPH: An architecture for model-integrated computing," in Proc. Int. Conf. Engineering of Complex Computer Systems (ICECCS'95), Ft. Lauderdale, FL, Nov. 1995, pp. 361-368.
61. J. Ernst, "Data interoperability between CACSD and CASE tools using the CDIF family of standards," in Proc. 1996 Int. Symp. Computer Aided Control System Design, Dearborn, MI, Sept. 1996, pp. 346-351.
62. L. Baresi and M. Pezzè, "On formalizing UML with high-level petri nets," in Concurrent Object-Oriented Programming and Petri Nets, F. D. Cindio and G. Agha, Eds. Berlin, Germany: Springer-Verlag, 1999, pp. 271-300.
63. S. Vestal, Software Architecture Workshop. Minneapolis, MN: Honeywell Technol. Library, July 1994.
64. K. J. Åstrom and B. Wittenmark, Computer Controlled Systems: Theory and Design. Englewood Cliffs, NJ: Prentice-Hall, 1984.
65. A. Bemporad, P. Borodani, and M. Mannelli, "Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions," in Hybrid Systems: Computation and Control, O. Maler and A. Pnueli, Eds. Berlin, Germany: Springer-Verlag, 2003, pp. 81-96.