Duration calculus. A formal approach to real-time systems.

From MaRDI portal
Publication:1428351

zbMath1071.68062MaRDI QIDQ1428351

Michael R. Hansen, Chaochen Zhou

Publication date: 28 March 2004

Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)




Related Items (43)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense casesConvolution as a Unifying ConceptVerification of cooperating traffic agentsA duration calculus with neighborhood modalitiesDeriving Real-Time Action Systems Controllers from Multiscale System SpecificationsChecking Integral Real-Time Automata for Extended Linear Duration InvariantsTowards an Algebra for Real-Time ProgramsA separation theorem for discrete-time interval temporal logicAxiomatisation and decidability of multi-dimensional Duration CalculusAn application of temporal projection to interleaving concurrencySub-propositional Fragments of the Interval Temporal Logic of Allen’s RelationsOn the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear OrdersSpecification and optimal reactive synthesis of run-time enforcement shieldsFormal Modelling, Analysis and Verification of Hybrid SystemsTrace Analysis Using an Event-Driven Interval Temporal LogicA survey on temporal logics for specifying and verifying real-time systemsSpecification and verification of concurrent systems by causality and realizabilityCatoids and modal convolution algebrasThe quest for an adequate semantic basis of dense-time metric temporal logicModel checking for fragments of Halpern and Shoham's interval temporal logic based on track representativesUnnamed ItemAlgebraic neighbourhood logicWhich fragments of the interval temporal logic HS are tractable in model checking?Model checking duration calculus: a practical approachDecidability and complexity of the fragments of the modal logic of Allen's relations over the rationalsA decision procedure and complete axiomatization for projection temporal logicCryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptographyManifest domains: analysis and descriptionGuest editors' preface to special issue on interval temporal logicsCompositional reasoning using intervals and time reversalA practical approach to model checking duration calculus using Presburger arithmeticHybrid Metric Propositional Neighborhood Logics with Interval Length BindersOn the completeness and decidability of duration calculus with iterationModel checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchyReasoning about goal-directed real-time teleo-reactive programsA Relatively Complete Axiomatisation of Projection onto State in the Duration CalculusLogical Interpolation and Projection onto State in the Duration CalculusPrompt Interval Temporal LogicOn coarser interval temporal logicsVerification of Linear Duration Invariants by Model Checking CTL PropertiesDecidability of a Hybrid Duration CalculusAutomatic Verification of Combined Specifications: An OverviewOn Verification of Linear Occurrence Properties of Real-Time Systems




This page was built for publication: Duration calculus. A formal approach to real-time systems.