SOS-Based matlab
نمایش یک نتیجه
شناسه محصول: EMB012 دسته: آموزش stateflow, سیمولینک simulink, کتاب برچسب: algebraic semantics matlab, angelic choice matlab, Ascending Chain Condition matlab, Buchberger الگوریتم متلب, code generation matlab, continuous dynamical system (CDS) matlab, cyber-physical systems matlab, demonic choice matlab, Gröbner basis matlab, Hilbert Basis Theorem matlab, Hoare assertion matlab, Lyapunov matlab, Moore charts matlab, multirate discrete system matlab, ordinary differential equation matlab, polynomial vector field matlab, QE-Based matlab, Quality of service (QoS) matlab, quantifier-free formula matlab, rapid prototyping matlab, semi-algebraic set (SAS) matlab, semi-definite programming (SDP) nmatlab, simulation loop phase matlab, SOS-Based matlab, stateflow, TTN algorithm matlab, Unifying Theories of Programming (UTP) matlab, Y-chart matlab