×

zbMATH — the first resource for mathematics

Model based control system design using SysML, Simulink, and Computer Algebra System. (English) Zbl 1291.93123
Summary: The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language for Model-Based Systems Engineering (MBSE). SysML supports the specification, analysis, and design of a broad range of complex systems such as control systems. The authors demonstrate how they can integrate a SysML modeling tool (IBM Rational Rhapsody) with a proprietary simulation tool (MathWorks Simulink) and a Computer Algebra System (CAS) to validate system specification. The integration with Simulink enables users to perform systems engineering process in a SysML model, while designing continuous control algorithms and plant behavior in Simulink, and to validate the behavior by simulating the overall composition in Simulink. The integration with a CAS enables the evaluation of mathematical constraints defined in SysML parametric diagrams. The authors also show the overall approach using a Dual Clutch Transmission (DCT) and a Cruise Control System as examples.
MSC:
93B40 Computational methods in systems theory (MSC2010)
93-04 Software, source code, etc. for problems pertaining to systems and control theory
Software:
Rhapsody; Simulink; SysML
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] OMG, OMG Systems Modeling Language Version 1.2 (OMG SysML), 2010, http://www.omg.org/spec/SysML/1.2/.
[2] OMG, OMG Unified Modeling Language (OMG UML): Superstructure, Version 2.3, 2010, http://www.omg.org/spec/UML/2.3/Superstructure/.
[3] OMG, OMG Unified Modeling Language (OMG UML): Infrastructure, Version 2.3, 2010, http://www.omg.org/spec/UML/2.3/Infrastructure/.
[4] E. Palachi and T. Sakairi, “Leveraging SysML parametric diagrams to perform trade studies and other quantitative analysis,” The Voice of the Systems, vol. 9, pp. 18-29, 2012.
[5] Modelica Association, Modelica-A Unified Object-Oriented Language For Physical Systems Modeling, Language Specification Version 3.2, 2010.
[6] Y. Vanderperren and W. Dehaene, “From UML/SysML to Matlab/Simulink: current state and future perspectives,” in Proceedings of the Design, Automation and Test in Europe (DATE ’06), p. 93, March 2006.
[7] R. Kawahara, H. Nakamura, D. Dotan et al., “Verification of embedded system’s specification using collaborative simulation of SysML and simulink models,” in Proceedings of the International Conference on Model-Based Systems Engineering (MBSE ’09), pp. 21-28, March 2009. · doi:10.1109/MBSE.2009.5031716
[8] A. Qamar, C. During, and J. Wikander, “Designing mechatronic systems, a model-based perspective, an attempt to achieve SysML-Matlab/Simulink model integration,” in Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM ’09), pp. 1306-1311, July 2009. · doi:10.1109/AIM.2009.5229869
[9] D. Phaoharuhansa and A. Shimada, “An approach to SysML and simulink based motion controller design for inverted pendulum robots,” in Proceedings of the 50th Annual Conference on Society of Instrument and Control Engineers (SICE ’11), pp. 2190-2193, September 2011.
[10] W. Schamai, P. Fritzson, C. Paredis, and A. Pop, “Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations,” in Proceedings of the 7th Modelica Conference, pp. 612-621, 2009.
[11] C. Bock, “Systems engineering in the product lifecycle,” International Journal of Product Development, vol. 2, no. 1-2, pp. 123-137, 2005.
[12] R. S. Peak, R. M. Burkhart, S. A. Friedenthal, M. W. Wilson, M. Bajaj, and I. Kim, “Simulation-based design using SysML-part 1: a parametrics primber,” in Proceedings of the of 17th Annual International Symposium of the International Council on Systems Engineering, 2007.
[13] M. Bone and R. Cloutier, “The current state of model based systems engineering: results from the OMG SysML request for information 2009,” in Proceedings of the 8th Conference on Systems Engineering Research, 2010.
[14] M. Bajaj, D. Zwemer, R. Peak, A. Phung, A. G. Scott, and M. Wilson, “SLIM: Collaborative model-based systems engineering workspace for next-generation complex systems,” in Proceedings of the IEEE Aerospace Conference (AERO ’11), March 2011. · doi:10.1109/AERO.2011.5747539
[15] H. Naunheimer, B. Bertsche, J. Ryborz, and W. Novak, Automotive Transmissions: Fundamentals, Selection, Design and Application, Springer, 2nd edition, 2011.
[16] M. Kulkarni, T. Shim, and Y. Zhang, “Shift dynamics and control of dual-clutch transmissions,” Mechanism and Machine Theory, vol. 42, no. 2, pp. 168-182, 2007. · Zbl 1329.70017 · doi:10.1016/j.mechmachtheory.2006.03.002
[17] M. Lussier, “Using Matlab simulink with rational rhapsody,” in Proceedings of the IBM Rational Software Conference, 2009.
[18] X.-H. Liu and Y.-F. Cao, “Design of UAV flight control system virtual prototype using rhapsody and simulink,” in Proceedings of the International Conference on Computer Design and Applications (ICCDA ’10), vol. 3, pp. 34-38, June 2010. · doi:10.1109/ICCDA.2010.5541430
[19] B. Wang and J. S. Baras, “Integrated modeling and simulation framework for wireless sensor networks,” in Proceedings of the 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE ’12), 2012.
[20] A. Garro and A. Tundis, “A model-based method for system reliability analysis,” in Proceedings of the Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium, 2012.
[21] G. Bleakley, A. Whitfield, and A. Lapping, “Determining the right solution using SysML and model based systems engineering (MBSE) for trade studies,” in Proceedings of the 21st Annual International Symposium of the International Council on Systems Engineering, 2011.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.