(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
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990