(1 + ε)-approximate sparse recovery
Eric Price, David P. Woodruff
FOCS 2011
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. © 2013 Takashi Sakairi et al.
Eric Price, David P. Woodruff
FOCS 2011
Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Robert E. Donovan
INTERSPEECH - Eurospeech 2001