Model based control system design using SysML, Simulink, and Computer Algebra System
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.
- Stepwise Development of Simulink Models Using the Refinement Calculus Framework
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
- scientific article; zbMATH DE number 6613408
- scientific article; zbMATH DE number 1324523
- Product design of systems architecture using SysML
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
- Product design of systems architecture using SysML
- Stepwise Development of Simulink Models Using the Refinement Calculus Framework
- Using formal methods with SysML in aerospace design and engineering
This page was built for publication: Model based control system design using SysML, Simulink, and Computer Algebra System
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2249297)
