\ (Backslash), 119 ' (Single Apostrophe
Total Page:16
File Type:pdf, Size:1020Kb
Index \ (backslash), 119 basin of attraction, 273 basis, 58, 65, 86, 87, 89, 97, 101 ' (single apostrophe), 116 definition of, 58 of a linear functional, 196 : (colon), 117 of eigenvectors, 155, 158, 245 orthogonal, 87 orthonormal, 73, 81 A vectors, 71 Bass-Gura formula, 416 a posteriori estimate, 483 Bellman’s principle of optimality, a priori estimate, 483 459 ACKER, 413, 530 bias point, 30 Ackermann’s formula, 413, 416, BIBO stability, 298 437 of discrete-time systems, 295 additivity, 5 of time-invariant systems, 297 adjoint operator, 116 testing for, 298 definition of, 116 BIBS stability, 298 adjoint system, 265 bijective mapping, 60 affine system, 36 bilinear form, 195, 222 A-invariant subspaces as inner products, 199 definition of, 147 definition of, 197 algebra, 114 block matrices, 515 algebraic multiplicity, 158, 159, bottom-up method, 159 160 bounded operator, 116 analytic function, 30, 210 angle, 70 anticipatory system, 5 C associativity, 50, 83, 516 augmented system, 433, 437, 502 C2D, 258, 531 automobile suspension, 38 CANON, 155, 326, 531 canonical form, 18, 155 CARE, 473, 474, 478, 532 B Cauchy-Schwarz inequality, 69, balanced model, 401 275 balanced realization, 387, 388 causality BALREAL, 388, 530 definition of, 5 Banach space, 71 Cayley-Hamilton theorem, 209, 210, 212, 313, 329 562 Fundamentals of linear State Space Systems CDF2RDF, 377, 533 geometric interpretation, 331 center, 245, 274 grammian, 340, 343, 388, 390 chains of generalized eigenvectors, index, 422-424 162 matrix, 313 change of basis, 62, 64, 86, 236, of discrete-time systems, 127 247, 425 of time-varying systems, 339, of a linear operator, 108 343, 344 of a quadratic form, 202 output, 364 change of basis testing, 312, 319 of a linear functional, 198 under sampling, 357 change of basis matrix, 65, 109, using Jordan forms, 324 111, 199, 203, 334 controllable canonical form, 326, change of variables, 19, 21 329, 410, 412 characteristic polynomial, 150, controllable canonical realization, 209, 216 373 CHOL, 533 controllable modes, 334 Cholesky decomposition, 523 controllable subspace, 333, 424 circuit conservation, 7, 8 controller, 433 closed-loop controller, 436 CONV, 534 closed-loop observer, 431 convolution integral, 230 closure coordinate direction, 46, 52, 58, 60, multiplication, 48 72 cofactor, 518 coprime polynomials, 372 colored noise, 505 cost function, 460 commutative diagram, 114 covariance, 205 commutativity, 50 covariance matrix, 205, 482 COMPAN, 327, 533 Cramer’s rule, 116 companion form, 327, 426 critical points, 270 compensator, 447 CROSS, 534 complete space, 71 cross product, 47 composite rotations, 102 CTRB, 313, 369, 413, 427, 534 computer graphics, 106 CTRBF, 334, 370, 436, 535 COND, 179, 533 current estimator, 443, 444, 483 condition number, 179, 430 conic sections, 206 constitutive relationships, 8 D control, 405 damped pendulum, 273 control energy, 389 damper, 9, 10 controllability, 311, 359 DARE, 474, 535 after feedback, 420 deconv, 400 comparison to pole placement, DECONV, 536 418 definition of, 312 decoupled system, 190, 237 effect of similarity degeneracy, 66, 67, 87, 139 transformations, 330 DET, 54, 536 Index 563 detectability, 361, 476 eigensystem realization algorithm, definition of, 339 394, 395 determinant, 54, 517 simplified, 396 DIAG, 536 eigenvalues, 147, 153, 187, 188, diagonal matrix, 156, 173, 523 190 diagonal system, 237 complex, 152 diagonalization, 156, 215 definition of, 148 difference equation, 4, 23, 24 frozen-time, 302 state space, 25 of time-varying systems, 279 differential eigenvectors, 147, 151, 153, 187, of a vector, 524 188, 190 differential equation, 4, 13 complex, 152 discretized, 26 definition of, 148 partial, 248 electric fields, 149 differentiation ellipsoid, 204, 206 of a matrix, 524 energy, 280, 388 of matrix products, 526 equilibria of vector-matrix products, 525 multiple, 273 dimension, 88 equilibrium point, 30, 35, 269 definition of, 57 definition of, 270 discrete-time system, 23, 26, 27 error covariance, 482, 484-490, 493 solutions of, 257 error dynamics, 441, 443, 484, 492 time-varying, 260 error signal, 125, 431 discretization, 23, 258, 261, 357 error system, 436, 441 discretized differential equations, ESTIM, 431, 487, 539 26 estimation, 457 dissipative systems, 280 estimator, 431 distinct eigenvalues, 158, 167, 214 euclidean norm, 115, 177 distributed-parameter systems, 248 exogenous input, 407, 409 distributivity, 50, 83, 516 expected value, 483 disturbance rejection, 501 experimental data analysis, 130 DLQR, 537 EXPM, 213, 539 DLYAP, 290, 537 external stability, 272, 292 DOT, 46, 538 EYE, 94, 540 double integrator, 231, 509 duality, 128, 313, 315, 339, 345 dynamic programming, 460, 506 F feedback, 332 E feedback gain, 406, 407, 443 feedforward, 16 EIG, 148, 538 feedthrough matrix, 15, 22, 28 eigenfunctions, 248 Fibonacci sequence, 400 eigenspace field, 48 definition of, 158 finite Fourier series, 79 564 Fundamentals of linear State Space Systems flexible structures, 246 controllability, 340, 343, 388 flow variable, 6, 9, 10 observability, 345, 357, 388 free variables, 120 Gram-Schmidt orthonormalization, Frobenius norm, 116, 179 71, 78, 88 full order observer, 433, 438 function on a vector space, 195 H function space, 68, 153 hamiltonian, 123, 203, 469, 470 functional observer, 445, 446 Hamilton-Jacobi-Bellman, 469, functionals, 195 470 functions HANKEL, 541 of a matrix, 208, 212 Hankel matrix, 383-386, 395, 396, fundamental solution matrix, 252, 400, 401, 522 253, 254 infinite, 384 fundamental test for controllability, modified, 396 312, 360 harmonic oscillator, 26 fundamental test for observability, Hautus test, 319-322 312, 360 hermitian FUNM, 212, 540 functional (form), 198 matrix, 169, 223, 517 G operator, 116, 190 hermitian matrix gain, 406 eigenvectors of, 170 gain matrix, 408, 428, 429, 448 Hilbert space, 70 choosing, 409 homogeneity, 5 gaussian elimination, 116 homogeneous equation, 234 gaussian noise, 495 homogeneous part general solution of a solution of simultaneous of a solution of simultaneous equations, 119, 120, 143 equations, 119 homogeneous system, 5, 232, 252 generalized eigenvector, 159-161, Hooke’s law, 10 166, 191, 240 hyperplanes, 147 chain of, 162 hypersurfaces, 76 generalized inverse, 521 Moore-Penrose, 521 geometric multiplicity, 159, 165, I 173, 218, 322 idempotent, 522 geometry identity, 94 of quadratic forms, 203 ill-conditioned, 179 gradient, 96, 525 image, 94 GRAM, 340, 345, 351, 388, 540 impulse-response matrix, 293, 297 Gram determinant, 90 indefinite, 201 Gram matrix, 53 index of eigenvalue, 163, 166, 173 grammian, 53 definition of, 162 Index 565 individual observability indices, Jordan form, 215 451 infinite-dimensional spaces, 248 infinite-horizon control, 473 K INITIAL, 233, 541 KALMAN, 495, 542 initial condition response, 232, 241, Kalman controllability 243 decomposition, 436 initial conditions, 27 Kalman decomposition, 334, 336, injective, 94 370, 399 inner product, 46, 67, 70, 72, 169, Kalman filter, 458, 487, 500, 503, 199 511, 512 definition of, 67 comparison to linear quadratic space, 68, 90 regulator (LQR), 496 input, 4 continuous-time, 491, 495 input matrix, 15 discrete-time, 483 inset, 273 example, 497 integral table, 527 properties of, 495 integrating factor, 253 simplifications, 488 integration steady-state behavior, 496 of a matrix, 524 Kalman gain, 487, 492, 512 integrator diagram, 373 kinematic singularity, 184 integrator realization, 372, 375 kinematics, 181 integrators, 17, 24 Kirchoff’s current law (KCL), 7 internal stability, 271 Kirchoff’s voltage law (KVL), 8 internally balanced, 390, 392 KRON, 543 INV, 45, 94, 542 Kronecker product, 508, 516 invariant space, 238 invariant subspaces, 233 inverse, 518 L operator, 112, 114 inverted pendulum, 33, 451 LaGrange multiplier, 123, 203 invertible, 94 LaPlace transform, 28, 265, 299, irreducible realization 368 definition of, 370 LaSalle’s theorem, 285 isomorphism, 60 leading principal minors, 202 least-squared error, 143, 181 least-squared error solution, 130, J 131 left eigenvector, 319 jacobian, 183-185, 205, 525 LeGendre polynomials, 89 JORDAN, 173 linear algebra Jordan block, 172, 189, 216 definition of, 83 Jordan canonical form, 159, 172, linear combination, 52 175, 188, 241, 261, 302 linear dependence, 52, 57 Jordan canonical realizations, 375 definition of, 52 566 Fundamentals of linear State Space Systems linear functional, 222 Lyapunov’s direct method, 280, definition of, 195 286 linear independence, 52, 66, 86 Lyapunov’s first method, 302 definition of, 52 Lyapunov’s linearization method, of eigenvectors, 167 302 of functions, 53, 80, 90 linear operator, 93 definition of, 94 M matrix representation of, 97, 99, manipulability ellipses, 185 109 Markov parameters, 378-383, 386, linear quadratic gaussian (LQG), 393-396, 400 500, 501 mass conservation, 7 example, 501 matrix exponential, 213, 218, 223, linear quadratic regulator (LQR), 231, 232, 252 457, 472, 507 matrix inverse, 138, 179 comparison to Kalman filter, 496 matrix inversion lemma, 134, 489, continuous-time, 465 520 discrete-time, 460, 463 matrix polynomial, 209 example, 477 matrix representation linear region, 30 of a linear operator, 99, 101, linear system 138, 154 definition of, 3 of the projection operator, 104 linear transformation, 93 matrix Riccati equation, 463 linearity McClaurin series, 400 definition of, 5 measurement noise, 482, 492 linearization, 29, 30 measurement update, 444, 487 of differential equations, 32, 33 measurements, 131 linear-quadratic-gaussian (LQG), memory, 4 458 metric, 70 LQE,