Knowledge

Behavioral modeling

Source đź“ť

43:
The main object in the behavioral setting is the behavior – the set of all signals compatible with the system. An important feature of the behavioral approach is that it does not distinguish a priority between input and output variables. Apart from putting system theory and control on a rigorous
1435: 35:
as a result of resolving inconsistencies present in classical approaches based on state-space, transfer function, and convolution representations. This approach is also motivated by the aim of obtaining a general framework for system analysis and control that respects the underlying
1440:
This particular way of representing the system is called "kernel representation" of the corresponding dynamical system. There are many other useful representations of the same behavior, including transfer function, state space, and convolution.
1282: 1290: 1002: 212: 642: 109: 774: 1162: 932: 145: 557: 723: 426: 248: 518: 486: 375: 1532:
J. C. Willems. The behavioral approach to open and interconnected systems: Modeling by tearing, zooming, and linking. "Control Systems Magazine", 27:46–99, 2007. Available online
325: 802: 1026: 692: 450: 668: 581: 292: 270: 169: 833: 1211: 1075: 1213:. For ease of exposition, often infinite differentiable solutions are considered. There are other possibilities, as taking distributional solutions, or solutions in 1519:
J. Polderman and J. C. Willems. "Introduction to the Mathematical Theory of Systems and Control". Springer-Verlag, New York, 1998, xxii + 434 pp. Available online
1500:. Exact and approximate modeling of linear systems: A behavioral approach. Monograph 13 in “Mathematical Modeling and Computation”, SIAM, 2006. Available online 1119: 1095: 853: 395: 345: 1430:{\displaystyle {\mathcal {B}}=\{w\in {\mathcal {C}}^{\infty }(\mathbb {R} ,\mathbb {R} ^{q})~|~R(d/dt)w(t)=0{\text{ for all }}t\in \mathbb {R} \}.} 1216: 1484:
J.C. Willems On interconnections, control, and feedback IEEE Transactions on Automatic Control Volume 42, pages 326-339, 1997 Available online
1550: 948: 176: 595: 62: 735: 1504: 1124: 45: 1121:
are the parameters of the model. In order to define the corresponding behavior, we need to specify when we consider a signal
1468:
and the observed variable is the manifest variable. Such a system is then called an observable (latent variable) system.
120: 1452:
A key question of the behavioral approach is whether a quantity w1 can be deduced given an observed quantity w2 and a
525: 1284:, and with the ordinary differential equations interpreted in the sense of distributions. The behavior defined is 942:, while time-invariance articulates that the time-shift of a legal trajectory is in its turn a legal trajectory. 861: 697: 400: 222: 171:
is the "signal space" – the set in which the variables whose time evolution is modeled take on their values, and
493: 461: 1580: 1573: 1566: 1559: 1533: 1520: 1485: 350: 300: 1601: 779: 1007: 673: 431: 651: 564: 275: 253: 152: 1596: 939: 811: 1167: 1031: 1461: 1028:
is the solution set of a system of constant coefficient linear ordinary differential equations
44:
basis, the behavioral approach unified the existing approaches and brought new results on
8: 1104: 1080: 838: 380: 330: 32: 1501: 1497: 1098: 1453: 214:
the "behavior" – the set of signals that are compatible with the laws of the system
1508: 1465: 1562:
IEEE Circuits and Systems Magazine Volume 10, issue 4, pages 8–16, December 2010
28: 24: 17: 1590: 1457: 728:"time-invariant" if the time set consists of the real or natural numbers and 1534:
http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/2007.1.pdf
1521:
http://wwwhome.math.utwente.nl/~poldermanjw/onderwijs/DISC/mathmod/book.pdf
1486:
http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/1997.4.pdf
1277:{\displaystyle {\mathcal {L}}^{\rm {local}}(\mathbb {R} ,\mathbb {R} ^{q})} 1569:
SIAM Journal on Control and Optimization Volume 36, pages 1702-1749, 1998
997:{\displaystyle \Sigma =(\mathbb {R} ,\mathbb {R} ^{q},{\mathcal {B}})} 1576:
IEEE Transactions on Automatic Control Volume 36, pages 259-294, 1991
147:
is the "time set" – the time instances over which the system evolves,
945:
A "linear time-invariant differential system" is a dynamical system
1460:. In terms of mathematical modeling, the to-be-deduced quantity or 592:
System properties are defined in terms of the behavior. The system
207:{\displaystyle {\mathcal {B}}\subseteq \mathbb {W} ^{\mathbb {T} }} 637:{\displaystyle \Sigma =(\mathbb {T} ,\mathbb {W} ,{\mathcal {B}})} 104:{\displaystyle \Sigma =(\mathbb {T} ,\mathbb {W} ,{\mathcal {B}})} 1444:
For accessible sources regarding the behavioral approach, see .
769:{\displaystyle \sigma ^{t}{\mathcal {B}}\subseteq {\mathcal {B}}} 37: 1456:. If w1 can be deduced given w2 and the model, w2 is said to be 428:
is deemed possible, while after modeling, only the outcomes in
587: 397:
to happen. Before the phenomenon is modeled, every signal in
56:
In the behavioral setting, a dynamical system is a triple
1157:{\displaystyle w:\mathbb {R} \rightarrow \mathbb {R} ^{q}} 48:, control via interconnection, and system identification. 1574:
Paradigms and puzzles in the theory of dynamical systems.
377:
means that the laws of the system forbid the trajectory
51: 1293: 1219: 1170: 1127: 1107: 1083: 1034: 1010: 951: 864: 841: 814: 782: 738: 700: 676: 654: 598: 567: 528: 496: 464: 434: 403: 383: 353: 333: 303: 278: 256: 250:
denotes the set of all signals, i.e., functions from
225: 179: 155: 123: 65: 1447: 1502:http://homepages.vub.ac.be/~imarkovs/siam-book.pdf 1429: 1276: 1205: 1156: 1113: 1089: 1069: 1020: 996: 926: 847: 827: 796: 768: 717: 686: 662: 636: 575: 551: 512: 480: 444: 420: 389: 369: 339: 319: 286: 264: 242: 206: 163: 140:{\displaystyle \mathbb {T} \subseteq \mathbb {R} } 139: 103: 1588: 1583:Dynamics Reported Volume 2, pages 171-269, 1989 1552:Recent Developments in Behavioral System Theory 938:In these definitions linearity articulates the 1496:I. Markovsky, J. C. Willems, B. De Moor, and 552:{\displaystyle \mathbb {W} =\mathbb {R} ^{q}} 1421: 1304: 1101:with real coefficients. The coefficients of 1555:, July 24–28, 2006, MTNS 2006, Kyoto, Japan 927:{\displaystyle \sigma ^{t}(f)(t'):=f(t'+t)} 718:{\displaystyle \mathbb {W} ^{\mathbb {T} }} 421:{\displaystyle \mathbb {W} ^{\mathbb {T} }} 243:{\displaystyle \mathbb {W} ^{\mathbb {T} }} 588:Linear time-invariant differential systems 1549:Paolo Rapisarda and Jan C.Willems, 2006. 1417: 1340: 1331: 1261: 1252: 1144: 1135: 971: 962: 790: 709: 703: 656: 617: 609: 569: 539: 530: 513:{\displaystyle \mathbb {T} =\mathbb {Z} } 506: 498: 481:{\displaystyle \mathbb {T} =\mathbb {R} } 474: 466: 412: 406: 280: 258: 234: 228: 198: 192: 157: 133: 125: 84: 76: 1589: 1478: 370:{\displaystyle w\notin {\mathcal {B}}} 1543: 583:a finite set – discrete event systems 347:is a trajectory of the system, while 1490: 52:Dynamical system as a set of signals 1513: 320:{\displaystyle w\in {\mathcal {B}}} 31:was initiated in the late-1970s by 13: 1565:J.C. Willems and H.L. Trentelman. 1526: 1322: 1316: 1296: 1242: 1239: 1236: 1233: 1230: 1223: 1013: 986: 952: 761: 751: 679: 626: 599: 437: 362: 312: 182: 93: 66: 14: 1613: 1448:Observability of latent variables 797:{\displaystyle t\in \mathbb {T} } 1567:On quadratic differential forms. 1396: 1390: 1384: 1367: 1357: 1350: 1327: 1271: 1248: 1191: 1174: 1139: 1055: 1038: 1021:{\displaystyle {\mathcal {B}}} 991: 958: 921: 904: 895: 884: 881: 875: 687:{\displaystyle {\mathcal {B}}} 631: 605: 445:{\displaystyle {\mathcal {B}}} 98: 72: 46:controllability for nD systems 1: 1471: 1464:is often referred to as the 663:{\displaystyle \mathbb {W} } 576:{\displaystyle \mathbb {W} } 287:{\displaystyle \mathbb {W} } 265:{\displaystyle \mathbb {T} } 164:{\displaystyle \mathbb {W} } 7: 828:{\displaystyle \sigma ^{t}} 23:The behavioral approach to 10: 1618: 1206:{\displaystyle R(d/dt)w=0} 1070:{\displaystyle R(d/dt)w=0} 15: 488:– continuous-time systems 452:remain as possibilities. 694:is a linear subspace of 16:Not to be confused with 559:– most physical systems 520:– discrete-time systems 1431: 1278: 1207: 1158: 1115: 1091: 1071: 1022: 998: 928: 849: 829: 798: 770: 719: 688: 670:is a vector space and 664: 638: 577: 553: 514: 482: 446: 422: 391: 371: 341: 321: 288: 266: 244: 208: 165: 141: 105: 1432: 1279: 1208: 1159: 1116: 1099:matrix of polynomials 1092: 1072: 1023: 999: 929: 850: 830: 799: 771: 720: 689: 665: 639: 578: 554: 515: 483: 447: 423: 392: 372: 342: 322: 289: 267: 245: 209: 166: 142: 106: 1581:Models for dynamics. 1560:Terminals and ports. 1291: 1217: 1168: 1164:to be a solution of 1125: 1105: 1081: 1032: 1008: 949: 862: 855:-shift, defined by 839: 812: 780: 736: 698: 674: 652: 596: 565: 526: 494: 462: 432: 401: 381: 351: 331: 301: 276: 254: 223: 177: 153: 121: 63: 1407: for all  1544:Additional sources 1507:2022-07-06 at the 1427: 1274: 1203: 1154: 1111: 1087: 1067: 1018: 994: 924: 845: 825: 794: 766: 715: 684: 660: 634: 573: 549: 510: 478: 442: 418: 387: 367: 337: 317: 284: 262: 240: 204: 161: 137: 101: 1602:Dynamical systems 1408: 1363: 1355: 1114:{\displaystyle R} 1090:{\displaystyle R} 940:superposition law 848:{\displaystyle t} 390:{\displaystyle w} 340:{\displaystyle w} 1609: 1537: 1530: 1524: 1517: 1511: 1494: 1488: 1482: 1436: 1434: 1433: 1428: 1420: 1409: 1406: 1377: 1361: 1360: 1353: 1349: 1348: 1343: 1334: 1326: 1325: 1320: 1319: 1300: 1299: 1283: 1281: 1280: 1275: 1270: 1269: 1264: 1255: 1247: 1246: 1245: 1227: 1226: 1212: 1210: 1209: 1204: 1184: 1163: 1161: 1160: 1155: 1153: 1152: 1147: 1138: 1120: 1118: 1117: 1112: 1096: 1094: 1093: 1088: 1076: 1074: 1073: 1068: 1048: 1027: 1025: 1024: 1019: 1017: 1016: 1003: 1001: 1000: 995: 990: 989: 980: 979: 974: 965: 933: 931: 930: 925: 914: 894: 874: 873: 854: 852: 851: 846: 834: 832: 831: 826: 824: 823: 803: 801: 800: 795: 793: 775: 773: 772: 767: 765: 764: 755: 754: 748: 747: 724: 722: 721: 716: 714: 713: 712: 706: 693: 691: 690: 685: 683: 682: 669: 667: 666: 661: 659: 643: 641: 640: 635: 630: 629: 620: 612: 582: 580: 579: 574: 572: 558: 556: 555: 550: 548: 547: 542: 533: 519: 517: 516: 511: 509: 501: 487: 485: 484: 479: 477: 469: 451: 449: 448: 443: 441: 440: 427: 425: 424: 419: 417: 416: 415: 409: 396: 394: 393: 388: 376: 374: 373: 368: 366: 365: 346: 344: 343: 338: 326: 324: 323: 318: 316: 315: 293: 291: 290: 285: 283: 271: 269: 268: 263: 261: 249: 247: 246: 241: 239: 238: 237: 231: 213: 211: 210: 205: 203: 202: 201: 195: 186: 185: 170: 168: 167: 162: 160: 146: 144: 143: 138: 136: 128: 110: 108: 107: 102: 97: 96: 87: 79: 1617: 1616: 1612: 1611: 1610: 1608: 1607: 1606: 1587: 1586: 1546: 1541: 1540: 1531: 1527: 1518: 1514: 1509:Wayback Machine 1495: 1491: 1483: 1479: 1474: 1466:latent variable 1450: 1416: 1405: 1373: 1356: 1344: 1339: 1338: 1330: 1321: 1315: 1314: 1313: 1295: 1294: 1292: 1289: 1288: 1265: 1260: 1259: 1251: 1229: 1228: 1222: 1221: 1220: 1218: 1215: 1214: 1180: 1169: 1166: 1165: 1148: 1143: 1142: 1134: 1126: 1123: 1122: 1106: 1103: 1102: 1082: 1079: 1078: 1044: 1033: 1030: 1029: 1012: 1011: 1009: 1006: 1005: 1004:whose behavior 985: 984: 975: 970: 969: 961: 950: 947: 946: 907: 887: 869: 865: 863: 860: 859: 840: 837: 836: 819: 815: 813: 810: 809: 789: 781: 778: 777: 760: 759: 750: 749: 743: 739: 737: 734: 733: 708: 707: 702: 701: 699: 696: 695: 678: 677: 675: 672: 671: 655: 653: 650: 649: 644:is said to be 625: 624: 616: 608: 597: 594: 593: 590: 568: 566: 563: 562: 543: 538: 537: 529: 527: 524: 523: 505: 497: 495: 492: 491: 473: 465: 463: 460: 459: 455:Special cases: 436: 435: 433: 430: 429: 411: 410: 405: 404: 402: 399: 398: 382: 379: 378: 361: 360: 352: 349: 348: 332: 329: 328: 311: 310: 302: 299: 298: 279: 277: 274: 273: 257: 255: 252: 251: 233: 232: 227: 226: 224: 221: 220: 197: 196: 191: 190: 181: 180: 178: 175: 174: 156: 154: 151: 150: 132: 124: 122: 119: 118: 92: 91: 83: 75: 64: 61: 60: 54: 21: 12: 11: 5: 1615: 1605: 1604: 1599: 1597:Systems theory 1585: 1584: 1579:J.C. Willems. 1577: 1572:J.C. Willems. 1570: 1563: 1558:J.C. Willems. 1556: 1545: 1542: 1539: 1538: 1525: 1512: 1489: 1476: 1475: 1473: 1470: 1449: 1446: 1438: 1437: 1426: 1423: 1419: 1415: 1412: 1404: 1401: 1398: 1395: 1392: 1389: 1386: 1383: 1380: 1376: 1372: 1369: 1366: 1359: 1352: 1347: 1342: 1337: 1333: 1329: 1324: 1318: 1312: 1309: 1306: 1303: 1298: 1273: 1268: 1263: 1258: 1254: 1250: 1244: 1241: 1238: 1235: 1232: 1225: 1202: 1199: 1196: 1193: 1190: 1187: 1183: 1179: 1176: 1173: 1151: 1146: 1141: 1137: 1133: 1130: 1110: 1086: 1066: 1063: 1060: 1057: 1054: 1051: 1047: 1043: 1040: 1037: 1015: 993: 988: 983: 978: 973: 968: 964: 960: 957: 954: 936: 935: 923: 920: 917: 913: 910: 906: 903: 900: 897: 893: 890: 886: 883: 880: 877: 872: 868: 844: 822: 818: 806: 805: 792: 788: 785: 763: 758: 753: 746: 742: 730: 729: 726: 711: 705: 681: 658: 633: 628: 623: 619: 615: 611: 607: 604: 601: 589: 586: 585: 584: 571: 560: 546: 541: 536: 532: 521: 508: 504: 500: 489: 476: 472: 468: 439: 414: 408: 386: 364: 359: 356: 336: 314: 309: 306: 296: 295: 282: 260: 236: 230: 216: 215: 200: 194: 189: 184: 172: 159: 148: 135: 131: 127: 112: 111: 100: 95: 90: 86: 82: 78: 74: 71: 68: 53: 50: 29:control theory 25:systems theory 18:Behavior model 9: 6: 4: 3: 2: 1614: 1603: 1600: 1598: 1595: 1594: 1592: 1582: 1578: 1575: 1571: 1568: 1564: 1561: 1557: 1554: 1553: 1548: 1547: 1535: 1529: 1522: 1516: 1510: 1506: 1503: 1499: 1498:S. Van Huffel 1493: 1487: 1481: 1477: 1469: 1467: 1463: 1459: 1455: 1445: 1442: 1424: 1413: 1410: 1402: 1399: 1393: 1387: 1381: 1378: 1374: 1370: 1364: 1345: 1335: 1310: 1307: 1301: 1287: 1286: 1285: 1266: 1256: 1200: 1197: 1194: 1188: 1185: 1181: 1177: 1171: 1149: 1131: 1128: 1108: 1100: 1084: 1064: 1061: 1058: 1052: 1049: 1045: 1041: 1035: 981: 976: 966: 955: 943: 941: 918: 915: 911: 908: 901: 898: 891: 888: 878: 870: 866: 858: 857: 856: 842: 820: 816: 786: 783: 756: 744: 740: 732: 731: 727: 647: 646: 645: 621: 613: 602: 561: 544: 534: 522: 502: 490: 470: 458: 457: 456: 453: 384: 357: 354: 334: 307: 304: 218: 217: 187: 173: 149: 129: 117: 116: 115: 88: 80: 69: 59: 58: 57: 49: 47: 41: 39: 34: 33:J. C. Willems 30: 26: 19: 1551: 1528: 1515: 1492: 1480: 1451: 1443: 1439: 944: 937: 835:denotes the 807: 648:"linear" if 591: 454: 297: 113: 55: 42: 22: 327:means that 1591:Categories 1472:References 1458:observable 1414:∈ 1323:∞ 1311:∈ 1140:→ 953:Σ 867:σ 817:σ 787:∈ 757:⊆ 741:σ 600:Σ 358:∉ 308:∈ 188:⊆ 130:⊆ 67:Σ 1505:Archived 1462:variable 1077:, where 912:′ 892:′ 776:for all 38:physics 1362:  1354:  808:where 114:where 1454:model 1097:is a 272:into 27:and 1593:: 899::= 294:). 40:. 1536:. 1523:. 1425:. 1422:} 1418:R 1411:t 1403:0 1400:= 1397:) 1394:t 1391:( 1388:w 1385:) 1382:t 1379:d 1375:/ 1371:d 1368:( 1365:R 1358:| 1351:) 1346:q 1341:R 1336:, 1332:R 1328:( 1317:C 1308:w 1305:{ 1302:= 1297:B 1272:) 1267:q 1262:R 1257:, 1253:R 1249:( 1243:l 1240:a 1237:c 1234:o 1231:l 1224:L 1201:0 1198:= 1195:w 1192:) 1189:t 1186:d 1182:/ 1178:d 1175:( 1172:R 1150:q 1145:R 1136:R 1132:: 1129:w 1109:R 1085:R 1065:0 1062:= 1059:w 1056:) 1053:t 1050:d 1046:/ 1042:d 1039:( 1036:R 1014:B 992:) 987:B 982:, 977:q 972:R 967:, 963:R 959:( 956:= 934:. 922:) 919:t 916:+ 909:t 905:( 902:f 896:) 889:t 885:( 882:) 879:f 876:( 871:t 843:t 821:t 804:, 791:T 784:t 762:B 752:B 745:t 725:, 710:T 704:W 680:B 657:W 632:) 627:B 622:, 618:W 614:, 610:T 606:( 603:= 570:W 545:q 540:R 535:= 531:W 507:Z 503:= 499:T 475:R 471:= 467:T 438:B 413:T 407:W 385:w 363:B 355:w 335:w 313:B 305:w 281:W 259:T 235:T 229:W 219:( 199:T 193:W 183:B 158:W 134:R 126:T 99:) 94:B 89:, 85:W 81:, 77:T 73:( 70:= 20:.

Index

Behavior model
systems theory
control theory
J. C. Willems
physics
controllability for nD systems
superposition law
matrix of polynomials
model
observable
variable
latent variable
http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/1997.4.pdf
S. Van Huffel
http://homepages.vub.ac.be/~imarkovs/siam-book.pdf
Archived
Wayback Machine
http://wwwhome.math.utwente.nl/~poldermanjw/onderwijs/DISC/mathmod/book.pdf
http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/2007.1.pdf
Recent Developments in Behavioral System Theory
Terminals and ports.
On quadratic differential forms.
Paradigms and puzzles in the theory of dynamical systems.
Models for dynamics.
Categories
Systems theory
Dynamical systems

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑