Analysis of timed systems using time-abstracting bisimulations
From MaRDI portal
Publication:5929099
DOI10.1023/A:1008734703554zbMath0971.68096OpenAlexW1505030820MaRDI QIDQ5929099
Stavros Tripakis, Sergio Yovine
Publication date: 30 October 2001
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008734703554
Related Items (23)
Explaining safety violations in real-time systems ⋮ Model Checking Real-Time Systems ⋮ Folk theorems on the determinization and minimization of timed automata ⋮ Shrinking timed automata ⋮ On clock-aware LTL parameter synthesis of timed automata ⋮ Predicate diagrams for the verification of real-time systems ⋮ Better abstractions for timed automata ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms ⋮ Expressiveness of verifiable hierarchical clock systems ⋮ Unnamed Item ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ A menagerie of timed automata ⋮ On model-checking timed automata with stopwatch observers ⋮ Unnamed Item ⋮ Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001. ⋮ Bounded model checking for knowledge and real time ⋮ AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next? ⋮ Checking timed Büchi automata emptiness efficiently
Uses Software
This page was built for publication: Analysis of timed systems using time-abstracting bisimulations
