Interval and Point-based Approaches to Hybrid System Verification

Download or read book Interval and Point-based Approaches to Hybrid System Verification written by Arjun Kapur and published by . This book was released on 1997 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: We use Linear-time Temporal Logic for expressing properties under either a sampling semantics or a super-dense semantics, and we introduce Hybrid Temporal Logic for expressing properties under a continuous interval semantics. Linear-time Temporal Logic is useful for expressing point-based properties, whose validity is dependent on individual states, while Hybrid Temporal Logic is useful for expressing both interval-based properties, whose validity is dependent on intervals of time, and point-based properties.