Interval probabilistic timed graph transformation systems

DOI10.1007/978-3-030-78946-6_12MaRDI QIDQ2117267zbMATH OpenOpenAlexFDO

Authors Maria Maximova, Sven Schneider, Holger Giese

Publication date 21 March 2022

Full work available at URL https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-512895

zbMATH Keywords

cyber-physical systemsgraph transformation systemsinterval probabilistic timed systemsmodel checkingqualitative analysisquantitative analysis

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Probabilistic timed graph transformation systems
• Probabilistic timed graph transformation systems
• Probabilistic Metric Temporal Graph Logic
• Probabilistic graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems

Cites work

• A theory of timed automata
• Automatic verification of real-time systems with discrete probability distributions.
• Compositional analysis of probabilistic timed graph transformation systems
• Fundamentals of algebraic graph transformation
• Model checking probabilistic real-time properties for service-oriented systems with service level agreements
• Probabilistic graph transformation systems
• Probabilistic timed graph transformation systems
• Symbolic graphs for attributed graph constraints

Cited in

(8)

• Probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• Probabilistic graph transformation systems
• Probabilistic timed graph transformation systems
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Probabilistic Metric Temporal Graph Logic
• Compositional analysis of probabilistic timed graph transformation systems

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Interval probabilistic timed graph transformation systems

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