By Topic

An interval point duration temporal logic for the modeling of real time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Jemni Ben Ayed, L. ; Dept. d''lnformatique, RNU, Tunis, Tunisia ; Jaray, J.

The paper presents temporal logic borrowing features from different logics namely interval and point logics as well as duration calculus. We gave it the name IPDTL. Each of the above mentioned logics has been proved useful in the development of real-time systems and widely reported in different papers. Each logic is applied on a suitable case study for which the logic is chosen but once we chose that logic we regret some missing features we could have found in other logics. This remark has motivated our work. IPDTL groups some concepts of interval and point logics and extend them by introducing new operators to specify properties depending on points and duration over intervals. It uses temporal formulae prefixed by interval length as primitive modalities to refer to point, interval and duration. The paper presents the syntax of the formal language based on the IPDTL and an illustration through a version of a computer controlled gas burner.

Published in:

Control, Communications and Signal Processing, 2004. First International Symposium on

Date of Conference: