Statistical Model Checking for Networks of Priced Timed Automata

DOI10.1007/978-3-642-24310-3_7zbMATH Open1348.68130OpenAlexW2163626018MaRDI QIDQ3172845FDOQ3172845

Jonas van Vliet, Zheng Wang, Kim G. Larsen, Axel Legay, Alexandre David, Marius Mikučionis, Danny Bøgsted Poulsen

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_7

Recommendations

• scientific article; zbMATH DE number 7333236
• Statistical probabilistic model checking with a focus on time-bounded properties
• Validation of Stochastic Systems
• Parameterized model checking of networks of timed automata with Boolean guards
• Symbolic model checking for probabilistic timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Verification, Model Checking, and Abstract Interpretation
• Title not available (Why is that?)
• A theory of timed automata
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Bisimulation through probabilistic testing
• Labelled Markov processes.
• The algorithmic analysis of hybrid systems
• Computer Aided Verification
• Timed I/O automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic and Topological Semantics for Timed Automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Aided Verification
• Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
• Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
• A compositional translation of timed automata with deadlines to Uppaal timed automata

Cited In (8)

• A maximal entropy stochastic process for a timed automaton
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits
• Title not available (Why is that?)
• Parametric Analyses of Attack-fault Trees*
• Robust synthesis for real-time systems

Uses Software

• PHAVer
• HyTech
• Uppaal
• Ymer
• APMC

This page was built for publication: Statistical Model Checking for Networks of Priced Timed Automata

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