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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Karpov, Y. G., & Sotnikov, D. (2003). Interval approach to parallel timed systems verification. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2763, 100–116. https://doi.org/10.1007/978-3-540-45145-7_9
Mendeley helps you to discover research relevant for your work.