Model based control system design using SysML, Simulink, and Computer Algebra System
From MaRDI portal
Publication:2249297
Recommendations
- 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
Cited in
(4)- 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)