Model checking weighted integer reset timed automata

DOI10.1007/S00224-010-9253-ZMaRDI QIDQ537908zbMATH OpenOpenAlexFDO

Authors Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain

Publication date 23 May 2011

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-010-9253-z

zbMATH Keywords

clock reductioninteger resetsmodel checkingweighted CTLweighted timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Costs Are Expensive!
• On model-checking timed automata with stopwatch observers
• Model-Checking One-Clock Priced Timed Automata
• Model Checking One-clock Priced Timed Automata

Cites work

• A theory of timed automata
• Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
• Event-clock automata: a determinizable class of timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1530301 (Why is no real title available?)
• scientific article; zbMATH DE number 1794360 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Improved undecidability results on weighted timed automata
• Model Checking One-clock Priced Timed Automata
• Model-checking in dense real-time
• On model-checking timed automata with stopwatch observers
• On the power of non-observable actions in timed automata
• Timed automata and additive clock constraints
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Updatable timed automata
• Updatable Timed Automata with Additive and Diagonal Constraints
• When Are Timed Automata Determinizable?

Cited in

(10)

• On model-checking timed automata with stopwatch observers
• Costs Are Expensive!
• Model Checking One-clock Priced Timed Automata
• Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
• A survey of timed automata for the development of real-time systems
• A Nivat theorem for weighted timed automata and weighted relative distance logic
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Model-Checking One-Clock Priced Timed Automata
• Model checking for a class of weighted automata
• Improved undecidability results on weighted timed automata

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: Model checking weighted integer reset timed automata

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