Abstract
In this paper we present interval approach to hybrid system verification. When studying a system behavior we suggest keeping track of the minimum and maximum possible value of each continuous variable as well as the possible differences between variable pairs. We demonstrate that the approach is natural for parallel timed systems, use it for temporal logic verification and parameter analysis.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Karpov, Y., Borschev, A.: Analysis of Parallel Real-Time Programs. System Informatics 5 (1997), Novosibirsk (in Russian)
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Lewis, H.R.: A logic of concrete time intervals. In: Fifth Annu. IEEE Symp. on Logics in Computer Science, pp. 380–389. IEEE, Los Alamitos (1990)
Herzinger, T., Kopke, P., Puri, A., Varaiya, P.: What’s decidable about hybrid automata. In: 27th Annual Symposium on the Theory of Computing, STOC 1995, pp. 373–382. ACM Press, New York (1995)
Lygeros, J., Sastry, S.: Hybrid Systems: Modeling, Analysis & Control
Emerson, E.A., Clarke, E.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, Springer, Heidelberg (1982)
Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 197–212. Springer, Heidelberg (1990)
XJ Technologies AnyLogic, http://www.xjtek.com/products/anylogic/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Karpov, Y.G., Sotnikov, D. (2003). Interval Approach to Parallel Timed Systems Verification. In: Malyshkin, V.E. (eds) Parallel Computing Technologies. PaCT 2003. Lecture Notes in Computer Science, vol 2763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45145-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-45145-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40673-0
Online ISBN: 978-3-540-45145-7
eBook Packages: Springer Book Archive