Control of interval temporal systems

DOI10.1007/3-540-49163-5_22MaRDI QIDQ4246836zbMATH OpenFDO

Authors Xinyao Yu, Zongji Chen

Publication date 12 January 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49163-5_22

zbMATH Keywords

discrete event systemsduration calculusinterval temporal logicinterval temporal systemsreal-time systemssystem modelingtiming

Mathematics Subject Classification ID

Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65)

Review text

The study is concerned with a control framework for interval temporal systems. These systems are studied in the formal setting of duration calculus that is an extension of interval temporal logic. It is shown that the duration calculus formalizes integrals of Boolean functions over time intervals and helps specify and reason about timing and logical constraints on discrete states of a system. Next, the duration calculus is applied to system modeling and illustrated by an example of physical system. For the entire collection see [Zbl 0909.00062].

Recommendations

• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 512949
• Control problems in a temporal logic framework
• Duration calculus. A formal approach to real-time systems.
• Metric temporal logic with durations

Cited in

(4)

• Representation of a discretely controlled continuous system in tense arithmetic
• scientific article; zbMATH DE number 512949 (Why is no real title available?)
• Control and synthesis of non-interferent timed systems
• Time-autonomy and time-controllability of discrete multidimensional behaviours

This page was built for publication: Control of interval temporal systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246836)