All those duration calculi: an integrated approach

DOI10.1007/978-1-4020-6254-4_6MaRDI QIDQ3564018zbMATH OpenOpenAlexFDO

Authors Paritosh K. Pandya

Publication date 2 June 2010

Published in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-6254-4_6

zbMATH Keywords

continuous timediscrete timeduration calculusreal-time logics

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Sampled-data control/observation systems (93C57)

Recommendations

• On Sampling Abstraction of Continuous Time Logic with Durations
• Duration calculus: Logical foundations
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 1543326
• A calculus of durations

Cited in

(6)

• Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
• Chop expressions and discrete duration calculus
• Theoretical Aspects of Computing – ICTAC 2005
• STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES
• Theoretical Aspects of Computing - ICTAC 2004
• On Sampling Abstraction of Continuous Time Logic with Durations

This page was built for publication: All those duration calculi: an integrated approach

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