Finite divergence

DOI10.1016/0304-3975(94)00145-9zbMath0874.68269OpenAlexW2912480327MaRDI QIDQ673876

Zhou Chaochen, Paritosh K. Pandya, Michael R. Hansen

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00145-9

zbMATH Keywords

hybrid systemsdiscrete divergence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Metric temporal reasoning with less than two clocks, A duration calculus with infinite intervals, Timed substitutions for regular signal-event languages, Automata on linear orderings, Quantitative temporal logics over the reals: PSpace and below, Duration calculus: Logical foundations, A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS, REASONING ABOUT TRANSFINITE SEQUENCES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A brief history of Timed CSP
• Hybrid systems
• A calculus of durations
• Decidability of mean value calculus