Towards procedures for systematically deriving hybrid models of complex systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 324-337

  Mosterman, Pieter J ^a   Biswas, Gautam ^b  

^a GERMAN AEROSPACE CENTER DLR   (Germany)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; HYBRID SYSTEMS; LARGE SCALE SYSTEMS; NONLINEAR SYSTEMS; PIECEWISE LINEAR TECHNIQUES; TRANSIENT ANALYSIS;

DISCRETE TRANSITIONS; HIGH-ORDER NONLINEAR SYSTEM; MODEL SIMPLIFICATION; NONLINEAR DIFFERENTIAL EQUATION; PIECEWISE LINEAR MODELS; PIECEWISE LINEARIZATION; SINGULAR PERTURBATION APPROACHES; SWITCHING STRUCTURES;

NONLINEAR EQUATIONS;

EID: 84974684576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_28     Document Type: Conference Paper

References (8)

1. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Lecture Notes in Computer Science, volume 736, pages 209-229. Springer-Verlag, 1993.
2. James Demmel and Bo Kågström. Stably computing the Kronecker structure and reducing subspaces of singular pencils A − λB for uncertain data. In J. Cullum and R. A. Willoughby, editors, Large Scale Eigenvalue Problems. Elsevier Science Publishers B.V. (North-Holland), 1986.
3. Petar V. Kokotović, Hassan K. Khalil, and John O’Reilly. Singular Perturbation Methods in Control: Analysis and Design. Academic Press, London, 1986. ISBN 0-12-417635-6.
4. Pieter J. Mosterman. State Space Projection onto Linear DAE Manifolds Using Conservation Principles. Technical Report #R262-98, Institute of Robotics and System Dynamics, DLR Oberpfaffenhofen, P.O. Box 1116, D-82230 Wessling, Germany, 1998.
5. Pieter J. Mosterman and Gautam Biswas. Building Hybrid Observers for Complex Dynamic Systems using Model Abstractions. In Frits W. Vaandrager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control, pages 178-192, 1999. Lecture Notes in Computer Science; Vol. 1569.
6. Pieter J. Mosterman, Feng Zhao, and Gautam Biswas. An Ontology for Transitions in Physical Dynamic Systems. In AAAI98, July 1998.
7. A. J. van der Schaft and J. M. Schumacher. The complementary-slackness of hybrid systems. Math. Contr. Signals Syst., (9):266-301, 1996.
8. Andreas Varga. On modal techniques for model reduction. Technical Report TR R136-93, Institute of Robotics and System Dynamics, DLR Oberpfaffenhofen, P.O. Box 1116, D-82230 Wessling, Germany, 1993.