Abstract
We describe two approaches to derive Timed and Linear Hybrid Automata from continuous models given as systems of ordinary differential equations. A semiquantitative modeling method is applied which yields a qualitative description of the system dynamics and quantitative bounds for the residence times in the discrete states or the state variable derivatives. We discuss the problem of spurious trajectories and illustrate the two aproaches by means of a simple process engineering example. Results of a reachability analysis obtained with the tool HyTech are presented.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, “The Algorithmic Analysis of Hybrid Systems”, Theoretical Computer Science, Vol. 138, pp. 3–34, 1995.
R. Alur and D. L. Dill, “A Theory of Timed Automata”, Theoretical Computer Science, Vol. 126, pp. 183–235, 1994.
T. Heckenthaler and S. Engell, “Approximately Time-Optimal Fuzzy Control of a Two-Tank System”, IEEE Control Systems, Vol. 14, No. 3, pp. 24–30, 1994.
T. A. Henzinger and P.-H. Ho, “HyTech: The Cornell HYbrid TECHnology Tool”, Basic Research in Computer Science, Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, May 1995.
T. A. Henzinger and H. Wong-Toi, “Linear Phase-portrait Approximations for Nonlinear Hybrid Systems”, Hybrid Systems III: Verification and Control, LNCS 1066, Springer, pp. 377–388, 1996.
S. Kowalewski, R. Gesthuisen and V. Roßmann “Model-based Verification of Batch Process Control Software”, Proc. IEEE Conf. on Systems, Man and Cybernetics, San Antonio, USA, pp. 331–336, 1994.
M. M. Kokar, “On Consistent Symbolic Representations of General Dynamic Systems”, IEEE Trans. Systems, Man, and Cybernetics, Vol. 25, No. 8, August 1995.
S. Kowalewski and J. Preußig, “Timed/Condition/Event Sytems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control”, in Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer, 1996.
B. Kuipers, “Qualitative Simulation”, Artificial Intelligence, Vol. 29, pp. 289–338, 1986.
J. Lunze, “Qualitative Modelling of Linear Dynamical Systems with Quantized State Measurements”, Automatica, Vol. 30, No. 3, pp. 417–431, 1994.
I. Moon, G. J. Powers, J. R. Burch and E. M. Clarke, “Automatic Verification of Sequential Control Systems Using Temporal Logic”, AICHE Journal, Vol. 38, No. 1, pp. 67–75, 1992.
X. Nicollin, J. Sifakis and S. Yovine, “Compiling Real-Time Specifications into Extended Automata”, IEEE Trans. on Software Eng., 18 (9), pp. 794–804, 1992.
T. Niinomi, B. H. Krogh and J. E. R. Cury, “Synthesis of Supervisory Controllers for Hybrid Systems based on Approximating Automata”, Conf. on Decision and Control, New Orleans, 1995.
H. A. Preisig and J. Renz, “Synthesis of a Supervisory Controller from First Principles”, Annual AICHE Meeting, Miami, November 1992.
J. Raisch and S. O'Young, “A DES Approach to Control of Hybrid Dynamical Syytems”, Workshop on Analysis and Design of Event-driven Operations in Process-Systems (ADEDOPS), London, 1995.
J. Sifakis, “Use of Petri nets for performance evaluation”, In H. Beilner and E. Gelenebe (editors), Measuring, modelling and evaluating computer systems, pp. 75–93. North-Holland, 1977.
J. A. Stiver and P. J. Antsaklis, “State Space Partitioning for Hybrid Control Systems”, Proc. of the American Control Conference, San Francisco, California, pp. 2303–2304, June 1993.
O. Stursberg, S. Kowalewski and S. Engell, “Generating Timed Discrete Models of Continuous Systems”, 2nd IMACS Symposium on Mathematical Modelling (MATHMOD'97), Vienna, Austria, Feb. 5–7th, 1997.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stursberg, O., Kowalewski, S., Hoffmann, I., Preußig, J. (1997). Comparing timed and hybrid automata as approximations of continuous systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031569
Download citation
DOI: https://doi.org/10.1007/BFb0031569
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63358-7
Online ISBN: 978-3-540-69523-3
eBook Packages: Springer Book Archive