Building hybrid observers for complex dynamic systems using model abstractions

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

Volumn 1569, Issue , 1999, Pages 178-192

  Mosterman, Pieter J ^a   Biswas, Gautam ^b,c  

^a GERMAN AEROSPACE CENTER DLR   (Germany)

^b Stanford University   (United States)

^c VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONTROLLERS; FORMAL METHODS; HYBRID SYSTEMS; SEMANTICS;

BEHAVIOR EVOLUTION; BEHAVIOR GENERATION; COMPLEX DYNAMIC SYSTEMS; CONTINUOUS MODELS; DIGITAL CONTROLLERS; DISCRETE CONFIGURATIONS; PHYSICAL VARIABLES; SYSTEMATIC MODELING;

EMBEDDED SYSTEMS;

EID: 0342408079     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_18     Document Type: Conference Paper

References (19)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science, vol. 736, pp. 209-229. Springer-Verlag, 1993.
2. A. Balluchi, M.Di Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni-Vincentelli. Hybrid control for automotive engine management: The cut-off case. Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, pp. 13-32, Springer-Verlag, Berlin, 1998.
3. A. Beydoun, L.Y. Wang, J. Sun, and S. Sivasankar. Hybrid control for automotive powertrain systems: A case study. Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, pp. 33-48, Springer-Verlag, Berlin, 1998.
4. K. Brammer and G. Siffling. Kalman-Bucy Filters. Artech House, Norwood, MA, 1989.
5. R.S. Bucy and J.M.F. Moura. Nonlinear Stochastic Problems. Reidel, Dordrecht, 1983.
6. W.L. Green. Aircraft Hydraulic Systems. John Wiley & Sons, Chichester, UK, 1985.
7. J. Guckenheimer and S. Johnson. Planar hybrid systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds., Hybrid Systems II, vol. 999, pp. 202-225. Lecture Notes in Computer Science, Springer-Verlag, 1995.
8. R. Isermann. A review on detection and diagnosis illustrate that process faults can be detected when based on the estimation of unmeasurable process parameters and state variables. Automatica: IFAC Journal, 20(4):387-404, 1989.
9. P. Kokotovic, H.K. Khalil, and J. O'Reilly. Singular Perturbation Methods in Control. Academic Press, London, UK, 1986.
10. D.G. Luenberger. Introduction to Dynamic Systems: Theory, Models, & Applications. John Wiley, New York, 1979.
11. H.E. Merritt. Hydraulic Control Systems. John Wiley, New York, 1967.
12. P.J. Mosterman. Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis. PhD dissertation, Vanderbilt University, 1997.
13. P.J. Mosterman and G. Biswas. Formal Specifications for Hybrid Dynamical Systems. IJCAI-97, pp. 568-573, Nagoya, Japan, Aug. 1997.
14. P.J. Mosterman and G. Biswas. Principles for Modeling, Verification, and Simulation of Hybrid Dynamic Systems. 5th Intl. Conf. on Hybrid Systems, pp. 21-27, Notre Dame, IN, Sep. 1997.
15. P.J. Mosterman and G. Biswas. Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems. IFAC Intl. Symp. on AI in Real-Time Control, Grand Canyon National Park, AZ, Oct. 1998.
16. P.J. Mosterman and G. Biswas. A theory of discontinuities in dynamic physical systems. J. of the Franklin Institute, 335B(3):401-439, Jan. 1998.
17. P.J. Mosterman, G. Biswas, and J. Sztipanovits. A hybrid modeling and verification paradigm for embedded control systems. Control Engg. Practice, 6:511-521, 1998.
18. H. Schneider and P.M. Frank. Observer-based supervision and fault detection in robots using nonlinear and fuzzy logic residual evaluation. IEEE Trans. on Control Systems Technology, 4(3):274-282, May 1996.
19. J. Seebeck. Modellierung der Redundanzverwaltung von Flugzeugen am Beispiel des ATD durch Petrinetze und Umsetzung der Schaltlogik in C-Code zur Simula-tionssteuerung. Diplomarbeit, TU Hamburg-Harburg, 1998.