Reachability analysis of nonlinear systems using trajectory piecewise linearized models

Proceedings of the American Control Conference

Volumn 2006, Issue , 2006, Pages 1505-1510

  Han, Zhi ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

TRAJECTORY PIECEWISE LINEARIZED (TPWL) MODELS; TRANSIENT STABILITY;

APPROXIMATION THEORY; DYNAMIC MODELS; DYNAMICAL SYSTEMS; LINEAR CONTROL SYSTEMS; NETWORKS (CIRCUITS); NONLINEAR CONTROL SYSTEMS;

CONTROL SYSTEM ANALYSIS;

EID: 34047212267     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. E. Asarin, T. Dang, and A. Girard. Reachability analysis of nonlinear systems using conservative approximation. In Hybrid systems: computation and control (HSCC'2003), pages 20-35, 2003.
2. T. Athay, R. Podmore, and S. Virmani. A practical method for the direct analysis of transient stability. IEEE Transaction on power apparatus and systems, PAS-98(2):573-584, March/April 1979.
3. A. Chutinan and B. H. Krogh. Compuational techniques for hybrid system verification. IEEE Transaction on Automatic Control, 48(1):64-75, Jan 2003.
4. C. W. Gear. Numerical Initial Value Problems in Ordinary Differential Equations. Prentice-Hall Series in Automatic Computation. Prentice-Hall Inc., 1971.
5. A. Girard. Approximate solutions of odes using piecewise linear vector fields. In 5th International Workshop on Computer Algebra in Scientific Computing, 2002.
6. A. Girard. Reachability of uncertain linear systems using zonotopes. In Hybrid Systems: Computation and Control (HSCC'05), pages 291-305, March 2005.
7. M. R. Greenstreet and I. Mitchell. Reachability analysis using polygonal projections. In Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control, pages 103-116, Berg en Dal, The Netherlands, Mar. 1999. Springer. LNCS 1569.
8. Z. Han and B. Krogh. Reachability analysis of affine dynamic systems using affine representation of polytopes. In Hybrid Systems: Computation and Control (HSCC'06), in preparation.
9. Z. Han and B. H. Krogh. Reachability analysis of hybrid systems using reduced-order models. In IEEE Proc of American Control Conference (ACC'04), 2004.
10. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. Algorithmic analysis of nonlinear hybrid systems. IEEE transaction on automatic control, 43(4):540-554, 1998.
11. B. V. Minchev and W. M. Wright. A review of exponential integrators for first order semi-linear problems. Technical report, Norwegian University of Science and Technology, 2005.
12. C. Moler and C. Van Loan. Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Review, 45(1):3-49, 2003.
13. M. A. Pai. Energy Function Analysis for Power System Stability. Kluwer Academic Publisher, Boston, 1989.
14. H.-L. Pei and B. H. Krogh. Stability regions for systems with mode transitions. In Proceedings of the American Control Conference (ACC'01), pages 4834-4839, 2001.
15. A. Puri, V. Borkar, and P. Varaiya. e-approximation of differential inclusions. In Conference on Decision and Control, 1995.
16. M. Rewieński and J. White. A trajectory piecewise-linear approach to model order reduction and fast simulation of nonlinear circuits and micromachined devices. IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems, 22(2):155 - 170, February 2003.
17. Y. Saad. Analysis of some krylov subspace approximations to the matrix exponential operator. SIAM Journal of Numerical Analysis, 20(1):209-228, 1992.
18. P. W. Sauer and M. A. Pai. Power System dynamics and stability. Pearson Education, Inc., 1998.
19. S. K. Tiwari and R. A. Rutenbar. Scalable trajectory methods for on-demand analog macromodel extraction. In Proceedings of Design Automation Conference (DAC'1005), pages 403-408, June 2005.