On the Generation of Timed Discrete Approximations for Continuous Systems

Mathematical and Computer Modelling of Dynamical Systems

Volumn 6, Issue 1, 2000, Pages 51-70

  Stursberg, O ^a   Kowalewski, S ^a   Engell, S ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Consistency; Discrete event systems; Hybrid systems; Qualitative modelling; Timed transition systems; Verification

Indexed keywords

EID: 0034383393     PISSN: 13873954     EISSN: None     Source Type: Journal    
DOI: 10.1076/1387-3954(200003)6:1;1-Q;FT051     Document Type: Article

References (18)

1. Alur, R. and Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126: 183-235, 1994.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.H., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138: 3-34, 1995.
3. th Triennial IFAC World Congress, San Francisco, 287-292, 1996.
4. Caines, P.E. and Wei, Y.-J.: On Dynamically Consistent Hybrid Systems. In: Hybrid Systems II, LNCS 999, Springer, 86-105, 1995.
5. Chutinan, A. and Krogh, B.H.: Computing Approximating Automata for a Class of Hybrid systems. In this issue of Mathematical and Computer Modelling of Dynamical Systems, 2000.
6. Kokar, M.M.: On Consistent Symbolic Representations of General Dynamic Systems. IEEE Transactions on Systems, Man and Cybernetics, 25: 1231-1241, 1995.
7. Kowalewski, S., Engell, S., Preußig, J. and Stursberg, O.: Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models. Automatica - Special Issue on Hybrid Systems, 35: 505-518, 1999.
8. Kowalewski, S. and Preußig, J.: Timed Condition/Event Systems: 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, 225-240, 1996.
9. Lemmon, M. and Antsaklis, P.J.: Inductively inferring valid logical models of continuous state dynamical systems. Theoretical Computer Science 138: 201-210, 1995.
10. Kuipers, B.: Qualitative Simulation. Artificial Intelligence 29: 289-338, 1986.
11. Lunze, J.: Qualitative Modelling of Linear Dynamical Systems with Quantized State Measurements. Automatica, 30: 417-431, 1994.
12. Müller, O. and Stauner, T.: Modelling and Verification using Linear Hybrid Automata. In this issue of Mathematical and Computer Modelling of Dynamical Systems, 2000.
13. Raisch, J.: Discrete Abstractions of Continuous Systems - an Input/Output Point of View. In this issue of Mathematical and Computer Modelling of Dynamical Systems, 2000.
14. Sreenivas, R.S. and Krogh, B.H.: On Condition/ Event Systems with Discrete State Realizations. In: Discrete Event Dynamic Systems - Theory and Applications I, 209-236, 1991.
15. Stiver, J.A. and Antsaklis, P.J.: State space Partitioning for Hybrid Control Systems. Proc. of the American Control Conf. 1993, San Francisco, 2303-2304.
16. nd IMACS Symposium on Mathematical Modelling, Vienna, 203-209, 1997.
17. Stursberg, O., Kowalewski, S., Hoffmann, I., and Preußig, J.: Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. In: Hybrid Systems IV, LNCS 1273, Springer, 361-377, 1997.
18. Tetrault, M., Marcos, B., and Lapointe, J.: Temporal Duration and Reasoning in Qualitative Simulation. Artificial Intelligence in Engineering 7 (1992), 185-197.