matlab中s函数的编写

六字真言

s函数是system Function的简称，用它来写自己的simulink模块。（够简单吧，^_^，详细的概念介绍大伙看帮助吧）可以用MATLAB、C、C++、Fortran、Ada等语言来写，这儿我只介绍怎样用matlab语言来写吧（主要是它比较简单）。

先讲讲为什么要用s函数，我觉得用s函数可以利用matlab的丰富资源，而不仅仅局限于simulink提供的模块，而用c或c++等语言写的s函数还可以实现对硬件端口的操作，还可以操作windowsAPI等。

先介绍一下simulink的仿真过程（以便理解s函数），simulink的仿真有两个阶段：一个为初始化，这个阶段主要是设置一些参数，像系统的输入输出个数、状态初值、采样时间等；第二个阶段就是运行阶段，这个阶段里要进行计算输出、更新离散状态、计算连续状态等等，这个阶段需要反复运行，直至结束。

在matlab的workspace里打edit sfuntmpl(这是matlab自己提供的s函数模板)，我们看它来具体分析s函数的结构。它的第一行是这样的：

function [sys,x0,str,ts]=sfuntmpl(t,x,u,flag)

先讲输入与输出变量的含义：t是采样时间，x是状态变量，u是输入（是做成simulink模块的输入），flag是仿真过程中的状态标志（以它来判断当前是初始化还是运行等）；sys输出根据flag的不同而不同（下面将结合flag来讲sys的含义），x0是状态变量的初始值，str是保留参数（mathworks公司还没想好该怎么用它，嘻嘻，一般在初始化中将它置空就可以了,str=[])，ts是一个1×2的向量，ts(1)是采样周期，ts(2)是偏移量。

下面结合sfuntmpl.m中的代码来讲具体的结构：

switch flag,%判断flag，看当前处于哪个状态
' I* O1 n# D' Y1 e! m  f/ ?
case 0,

[sys,x0,str,ts]=mdlInitializeSizes;

flag=0表示处于初始化状态，此时用函数mdlInitializeSizes进行初始化，此函数在 sfuntmpl.m的149行

我们找到他，在初始化状态下，sys是一个结构体，用它来设置模块的一些参数，各个参数详细说明如下

size=simsizes;%用于设置模块参数的结构体用simsizes来生成

sizes.NumContStates=0;%模块连续状态变量的个数

7 Y/ }) L; ^4 q  g: Y3 x6 a/ Bsizes.NumDiscStates=0;%模块离散状态变量的个数
: j- ^$ s/ |0 D0 U4 H& r+ O
sizes.NumOutputs=0;%模块输出变量的个数

sizes.NumInputs=0;%模块输入变量的个数

- }% k% J4 D, s7 p9 Bsizes.DirFeedthrough=1;%模块是否存在直接贯通（直接贯通我的理解是输入能直接控制输出）
$ |0 Z2 [8 ~% H" T% q: X& s
+ i' {, H* r! E4 Wsizes.NumSampleTimes=1;%模块的采样时间个数，至少是一个

* {! J. }* y  M4 `sys = simsizes(sizes); %设置完后赋给sys输出
$ _" h) O2 [$ l. S* |; V9 i
举个例子，考虑如下模型：
! Q$ ~9 g& {2 {7 q/ D4 k9 z6 d( ~
3 O% x$ Y1 X5 ~: M            dx/dt=fc(t,x,u) 也可以用连续状态方程描述：dx/dt=A*x+B*u
& x/ _6 A. _0 }
( G' M2 x! O6 N+ _! i6 [7 I            x(k+1)=fd(t,x,u)也可以用离散状态方程描述：x(k+1)=H*x(k)+G*u(k)

            y=fo(t,x,u)也可以用输出状态方程描述：y=C*x+D*u
5 A2 \6 c0 p3 G; v9 l! c" g4 Y6 {
# o8 Y6 S/ }& x; L# N) A设上述模型连续状态变量、离散状态变量、输入变量、输出变量均为1个，我们就只需改上面那一段代码为：
0 }) j% u5 P2 C; [* O
8 U1 j9 z2 c# h  g（一般连续状态与离散状态不会一块用，我这儿是为了方便说明）
0 V, v! F% n: a9 J4 D+ G
sizes.NumContStates=1;

sizes.NumDiscStates=1;

sizes.NumOutputs=1;

sizes.NumInputs=1;

ts=1;

其他的可以不变。继续在mdlInitializeSizes函数中往下看:

x0 = []; %状态变量设置为空，表示没有状态变量，以我们上面的假设，可改 %为x0=[0,0](离散和连续的状态变量我们都设它初值为0)

( n% k' g7 Z# m$ |str = []; %这个就不用说了，保留参数嘛，置[]就可以了，反正没什么用，可能7.0会给它一些意义

ts = [0 0]; %采样周期设为0表示是连续系统，如果是离散系统在下面的mdlGet%TimeOfNextVarHit函数中具体介绍

嘻嘻，总算讲完了初始化，后面的应该快了
4 B; U9 J# X1 \, J# v: e2 O8 p3 d
在sfuntmpl的106行继续往下看：
% C6 {" B5 a5 f$ W; ~( r
case 1,
, V- e( `/ ^; }8 ^
5 \# w9 O, B0 m& w5 f$ B! s( m2 n8 Wsys=mdlDerivatives(t,x,u);

, U5 H. \* E2 ?flag=1表示此时要计算连续状态的微分，即上面提到的dx/dt=fc(t,x,u)中的dx/dt,找到mdlDerivatives函数（在193行）如果设置连续状态变量个数为0，此处只需sys=[]; 就可以了（如sfuntmpl中一样），按我们上述讨论的那个模型，此处改成 sys=fc(t,x(1),u)或sys=A*x(1)+B*u %我们这儿x(1)是连续状态变量，而x(2)是离散的，这儿只用到连续的，此时的输出sys就是微分
$ W# v4 {+ P4 s& \5 t% E. C
继续，在sfuntmpl的112行：
! Q% D& {$ O$ ~0 e3 g! y: y
+ U& j, }' v1 T$ n) _. Fcase 2,
- `/ H3 I9 ?! k" h( f# R
sys=mdlUpdate(t,x,u);
1 E4 [3 e5 V5 q- O3 E" R3 B
/ D) g; V! Y+ D) Z; t. h1 Aflag=2表示此时要计算下一个离散状态，即上面提到的x(k+1)=fd(t,x,u)，找到mdlUpdate函数（在206行）它这儿sys=[];表示没有离散状态，我们这而可以改成sys=fd(t,x(2),u)或sys=H*x(2)+G*u;%sys即为x(k+1)看来后面几个一两句话就可了，呵呵，在sfuntmpl的118行
, }+ a1 p  A/ Y9 ]3 a4 a
) A4 b! ~9 ]8 G: Gcase 3,
/ J1 x* m9 o- ~) c8 |3 X# ?* K
& u$ |: v& q9 Y5 O% j0 {, u. x0 Psys=mdlOutputs(t,x,u);

/ s0 V0 [' |( Q) h' v! oflag=3表示此时要计算输出，即y=fo(t,x,u),找到mdlOutputs函数（在218行），如上，如果sys=[]表示没有输出，我们改成sys=fo(t,x,u)或sys=C*x+D*u %sys此时为输出y

3 H& G, z& B# ]8 d6 W5 f0 F2 w好像快完了，嘻嘻，在sfuntmpl的124行

) u- g+ H4 l; R" }: ?1 G1 Kcase 4,

0 u1 ~7 r" D: q: W( Asys=mdlGetTimeOfNextVarHit(t,x,u);
6 \9 g: n2 Q* C
" y/ U$ G. o" g% q2 ?% Y7 Q9 gflag=4表示此时要计算下一次采样的时间，只在离散采样系统中有用(即上文的mdlInit ializeSizes中提到的ts设置ts(1)不为0)

连续系统中只需在mdlGetTimeOfNextVarHit函数中写上sys=[];这个函数主要用于变步长的设置，具体实现大家可以用editvsfunc看vsfunc.m这个例子

最后一个，在sfuntmpl的130行

case 9,
* N6 \# u8 z/ }6 F" k
sys=mdlTerminate(t,x,u);

9 d' l1 b, O" Q, C+ P' gflag=9表示此时系统要结束，一般来说写上在mdlTerminate函数中写上sys=[]就可，如果你在结束时还要设置什么，就在此函数中写

关于sfuntmpl这个s函数的模板讲完了。

s函数还可以带用户参数，下面给个例子，和simulink下的gain模块功能一样，大伙自己看吧，我睡觉去了，累了
  @5 M$ e! I. Q2 K
7 X+ o" V' e/ H4 ?0 _% l/ Hfunction [sys,x0,str,ts] = sfungain(t,x,u,flag,gain)

switch flag,
  C+ K. l7 s5 Q4 C
+ l" @$ r! f& r, b/ ecase 0,

   sizes = simsizes;

( N0 q' v! H* k( s+ N   sizes.NumContStates = 0;

8 W4 W4 h# j7 l  B/ A8 v   sizes.NumDiscStates = 0;

   sizes.NumOutputs     = 1;

   sizes.NumInputs    = 1;

8 _0 L6 E" O6 H( I+ E$ V2 D   sizes.DirFeedthrough = 1;
/ H1 `: {/ k' b) }5 Q5 }3 ~. I
   sizes.NumSampleTimes = 1;
/ A3 S' R$ a* b$ j! ~3 m" b' Y) A" K
: e6 {5 e1 i1 V1 z) N/ }   sys = simsizes(sizes);

   x0=[];

   str=[];

   ts=[0,0];

0 s6 B9 Z+ G# ?: A( c- z/ Acase 3,

   sys=gain*u;
0 G9 G- V9 y+ t/ C, Z1 s
* P4 A; P6 B" }: H- d+ m1 N& ?case {1,2,4,9},

2 I( ~7 Q3 A* t- L6 Y4 M/ tsys = [];
7 f( y8 r' U$ b5 B
$ }, |) S# y- }end
9 _% T" Y( q8 k
! }; p0 r3 n! s8 D# D+ S做好了s函数后，simulink--user-definedfunction下拖一个S-Function到你的模型，就可以用了。在simulink----user-definedfunction还有个s-FunctionBuilder，他可以生成用c语
言写的s函数
, Z0 H8 {' `6 g6 D5 ?0 q8 N' ~在matlab的workspace下打sfundemos，可以看到很多演示s函数的程序。

SIMULINK s-function的设计
" z8 T( _  C$ P9 L' Y: d$ r
- T3 T  ]6 I/ q  F0 C1 L) L2 I3 rSimulink为用户提供了许多内置的基本库模块，通过这些模块进行连接而构成系统的模型。对于那些经常使用的模块进行组合并封装可以构建出重复使用的新模块，但它依然是基于Simulink原来提供的内置模块。
1 c, @5 M' h, k+ }4 }  f7 S
而Simulink s-function是一种强大的对模块库进行扩展的新工具。

  h$ U) K2 y/ N9 p* ?. I+ x% ^$ z(一)、s-function的概念
5 G' V: X2 x' d7 l9 f* |
s-function是一个动态系统的计算机语言描述，在MATLAB里，用户可以选择用m文件编写，也可以用c或mex文件编写，在这里只给大家介绍如何用m文件编写s-function。

S-function提供了扩展Simulink模块库的有力工具，它采用一种特定的调用语法，使函数和Simulink解法器进行交互。

S-function最广泛的用途是定制用户自己的Simulink模块。它的形式十分通用，能够支持连续系统、离散系统和混合系统

' h+ h5 H3 Y9 s( V(二)、建立m文件s-function

/ N1 @1 [2 |2 h! m8 A  W! Q. L   1、使用模板文件：sfuntmp1.m 格式： [sys,x0]=function(t,x,u,flag)
- K: S+ W2 Y6 q+ D/ ~
6 p; E6 f  R' Y; k该模板文件位于MATLAB根目录下toolbox/simulink/blocks目录下。

模板文件里s-function的结构十分简单，它只为不同的flag的值指定要相应调用的m文件子函数。比如当flag=3时，即模块处于计算输出这个仿真阶段时，相应调用的子函数为sys=mdloutputs(t,x,u)。
; d: e+ d+ Y# x5 J8 {8 s
; f& C" _3 }; h# g# E模板文件使用switch语句来完成这种指定，当然这种结构并不唯一，用户也可以使用if语句来完成同样的功能。而且在实际运用时，可以根据实际需要来去掉某些值，因为并不是每个模块都需要经过所有的子函数调用。

模板文件只是Simulink为方便用户而提供的一种参考格式，并不是编写s-function的语法要求，用户完全可以改变子函数的名称，或者直接把代码写在主函数里，但使用模板文件的好处是，比较方便，而且条理清晰。
* i& X. g' V) }* l3 Z使用模板编写s-function，用户只需把s-函数名换成期望的函数名称，如果需要额外的输入参量，还需在输入参数列表的后面增加这些参数，因为前面的4个参数是simulink调用s-function时自动传入的。对于输出参数，最好不做修改。接下去的工作就是根据所编s-function要完成的任务，用相应的代码去替代模板里各个子函数的代码即可。

; G, q, b0 E( U7 R6 _Simulink在每个仿真阶段都会对s-function进行调用，在调用时，Simulink会根据所处的仿真阶段为flag传入不同的值，而且还会为sys这个返回参数指定不同的角色，也就是说尽管是相同的sys变量，但在不同的仿真阶段其意义却不相同，这种变化由simulink自动完成。

) X6 m8 M5 A, Z, u8 h3 T9 P8 Xm文件s-function可用的子函数说明如下：
7 d$ n+ V( l1 X  k8 z" W
mdlInitializeSizes(flag=0)：定义s-function模块的基本特性，包括采样时间、连续或者离散状态的初始条件和sizes数组。

5 a. R- n% ~. [mdlDerivatives(flag=1)：计算连续状态变量的微分方程。

7 F# M* y, F* Z2 imdlUpdate(flag=2)：更新离散状态、采样时间和主时间步的要求。
  S* i+ K& `, k, L
, [3 e4 W1 l* omdlOutputs(flag=3)：计算s-function的输出。
; E! l: L3 R0 X2 e7 r
5 ]- I- a* u& g' h, RmdlGetTimeOfNextVarHit(flag=4)：计算下一个采样点的绝对时间，这个方法仅仅是在用户在mdlInitializeSizes 里说明了一个可变的离散采样时间。
+ x: w+ W: f/ j
概括说来，建立s-function可以分成两个分离的任务：

初始化模块特性包括输入输出信号的宽度，离散连续状态的初始条件和采样时间。
, X- Z$ V, Y5 L: S" B
将算法放到合适的s-function子函数中去。

   2 、定义s-function的初始信息

. N% u5 P" M# n3 p/ R2 ~5 Q为了让Simulink识别出一个m文件s-function，用户必须在s-函数里提供有关s-函数的说明信息，包括采样时间、连续或者离散状态个数等初始条件。这一部分主要是在mdlInitializeSizes子函数里完成。
7 e% U1 [7 [. u" \, x, y  T( {4 `3 G% ?Sizes数组是s-function函数信息的载体，它内部的字段意义为：
( _" w8 s% ^4 w2 e& `9 ?. T( v
NumContStates(sys(1))：连续状态的个数（状态向量连续部分的宽度）
5 T2 o, u! z1 ^6 r- ?
9 F6 e7 B: v# ?NumDiscStates(sys(2))：离散状态的个数（状态向量离散部分的宽度）

4 q7 m, @7 G! ?+ w7 Y; \! A+ @NumOutputs(sys(3))：
+ F- v& a& W" g3 G' f1 g' G$ ^输出变量的个数（输出向量的宽度）
7 b( A, \. T  }% Z& r- T6 L) n
$ P% p  ?" j: RNumInputs(sys(4))：输入变量的个数（输入向量的宽度）
$ z8 b' ^3 J7 c2 S
3 i3 Z  H1 @5 JDirFeedthrough(sys(5))：有不连续根的数量
/ y7 x( h2 ~/ [3 b# n" _2 u
' D0 j) z0 Y' w, L3 n% ANumSampleTimes(sys(6))：采样时间的个数，有无代数循环标志
6 |/ a+ Z! g5 h! l: S
如果字段代表的向量宽度为动态可变，则可以将它们赋值为－1。

注意DirFeedthrough是一个布尔变量，它的取值只有0和1两种，0表示没有直接馈入，此时用户在编写mdlOutputs子函数时就要确保子函数的代码里不出现输入变量u；1表示有直接馈入。

3 ^: S  B& x( G& ANumSampleTimes表示采样时间的个数，也就是ts变量的行数，与用户对ts的定义有关。
, Y+ _! D+ V5 G2 n1 F
$ g2 S) F* T; k8 h2 N需要指出的是，由于s-function会忽略端口，所以当有多个输入变量或多个输出变量时，必须用mux模块或demux模块将多个单一输入合成一个复合输入向量或将一个复合输出向量分解为多个单一输出。
! q0 u$ E9 }5 J; V$ q) B1 [  F
   3、输入和输出参量说明

S-function默认的4个输入参数为t、x、u和flag，它们的次序不能变动，代表的意义分别为：
! X8 l+ L4 c; `$ ^( L! j5 K4 v* y: nt：代表当前的仿真时间，这个输入参数通常用于决定下一个采样时刻，或者在多采样速率系统中，用来区分不同的采样时刻点，并据此进行不同的处理。
2 {( _& k: _6 _0 [. u1 l4 ~- ~; J
x：表示状态向量，这个参数是必须的，甚至在系统中不存在状态时也是如此。它具有很灵活的运用。
) k( C4 O% B9 t2 k! q
6 v- E' X1 |* T3 x  r9 L1 a6 }u：表示输入向量。

8 H, \- V+ W- ~4 Xflag：是一个控制在每一个仿真阶段调用哪一个子函数的参数，由Simulink在调用时自动取值。

S-function默认的4个返回参数为sys、x0、它们的次序不能变动，代表的意义分别为：

sys：是一个通用的返回参数，它所返回值的意义取决于flag的值。

x0：是初始的状态值（没有状态时是一个空矩阵[]），这个返回参数只在flag值为0时才有效，其他时候都会被忽略。
7 t) E. b- i4 k) w4 F4 y$ F6 ?
一、有一系统如下：
- r1 z' w- M$ d$ Q$ |  [
dx1=x2

dx2=9.81*sin(x(1))-2*x(2)+u


' Q1 R1 p. Y  s求出系统在单位阶跃输入下的x1的状态变化曲线，假设x1,x2初值为0。
2 T: B- Q" I. Z
- {! M6 H; ]  yfunction [sys,x0]=dong(t,x,u,flag)

if flag==0
$ \: d% d7 a1 C) _) C8 y
sys=[2;0;2;1;0;0];
- q1 x$ C( H: t2 W+ _5 D/ P
x0=[0;0];

elseif flag==1
" r2 y- C5 X. t( C
" i, g7 L9 e$ z1 C6 f( I7 ?  Nsys=[x(2);9.81*sin(x(1))-2*x(2)+u];
, p- ^* H  U+ |& ^7 Z) f
elseif flag==3

sys=[x(1);x(2)];

/ L& P7 ~; x" L. S; Selse
( k7 z2 k/ l/ A1 r& \
sys=[];

9 ?, x' i2 T- _end