Synthesising Optimal Timing Delays for Timed I/O Automata

Synthesising Optimal Timing Delays for Timed I/O Automata

In many real-time embedded systems, the choice of values for the timing delays can crucially a ect the safety or quantitative charac- teristics of their execution. We propose a parameter synthesis algorithm that nds optimal timing delays guaranteeing that the system satis es a given quantitative pro...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Diciolla, M, Kim, C, Kwiatkowska, M, Mereacre, A
स्वरूप:	Report
प्रकाशित:	DCS 2014

समान संसाधन

Time−Bounded Verification of CTMCs Against Real−Time Specifications
द्वारा: Chen, T, और अन्य
प्रकाशित: (2011)

Building power consumption models from executable timed I/O automata specifications
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2016)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
द्वारा: Chen, T, और अन्य
प्रकाशित: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
द्वारा: Chen, T, और अन्य
प्रकाशित: (2012)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
द्वारा: Chen, T, और अन्य
प्रकाशित: (2013)

Quantitative Verification of Implantable Cardiac Pacemakers
द्वारा: Chen, T, और अन्य
प्रकाशित: (2015)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
द्वारा: Taolue Chen, और अन्य
प्रकाशित: (2011-03-01)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
द्वारा: Jovanovic, A, और अन्य
प्रकाशित: (2017)

Concavely−Priced Probabilistic Timed Automata
द्वारा: Kwiatkowska, G, और अन्य
प्रकाशित: (2009)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
द्वारा: Jurdzinski, M, और अन्य
प्रकाशित: (2009)

The Theory of Timed I/O Automata
द्वारा: Kaynar, Dilsun K., और अन्य
प्रकाशित: (2005)

The Theory of Timed I/O Automata
द्वारा: Kaynor, Dilsun K., और अन्य
प्रकाशित: (2005)

The theory of timed I/O automata /
द्वारा: Kaynar, Dilsun K.
प्रकाशित: (2006)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
द्वारा: Jovanovic, A, और अन्य
प्रकाशित: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
द्वारा: Jovanović, A, और अन्य
प्रकाशित: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
द्वारा: Jovanović, A, और अन्य
प्रकाशित: (2017)

Uniform sampling for timed automata with application to language inclusion measurement
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2016)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2017)

Quantitative verification of real-time properties with application to medical devices
द्वारा: Marco Diciolla, M, और अन्य
प्रकाशित: (2014)

Reachability−Time Games on Timed Automata
द्वारा: Jurdzinski, M, और अन्य
प्रकाशित: (2007)

Concavely−Priced Timed Automata
द्वारा: Jurdzinski, M, और अन्य
प्रकाशित: (2008)

Alternating Timed Automata over Bounded Time
द्वारा: Jenkins, M, और अन्य
प्रकाशित: (2010)

Alternating Timed Automata over Bounded Time
द्वारा: Jenkins, M, और अन्य
प्रकाशित: (2010)

Stochastic Timed Automata
द्वारा: Nathalie Bertrand, और अन्य
प्रकाशित: (2014-12-01)

Revisiting reachability in timed automata
द्वारा: Quaas, K, और अन्य
प्रकाशित: (2017)

Translating timed I/O automata specifications for theorem proving in PVs
द्वारा: Lim, Hongping
प्रकाशित: (2007)

Action Transducers and Timed Automata
द्वारा: Lynch, Nancy A., और अन्य
प्रकाशित: (2023)

Spectral Gap in Timed Automata
द्वारा: Asarin, E, और अन्य
प्रकाशित: (2013)

Parametric Interrupt Timed Automata
द्वारा: Bérard, B, और अन्य
प्रकाशित: (2013)

Translating timed automata to tock-CSP
द्वारा: Khattri, M, और अन्य
प्रकाशित: (2011)

Translating Timed Automata to Tock−CSP
द्वारा: Khattri, M, और अन्य
प्रकाशित: (2011)

Costs and rewards in priced timed automata
द्वारा: Fränzle, M, और अन्य
प्रकाशित: (2020)

Costs and rewards in priced timed automata
द्वारा: Fränzle, M, और अन्य
प्रकाशित: (2018)

An Algebraic Theory of Interface Automata
द्वारा: Chilton, C, और अन्य
प्रकाशित: (2013)

Weak Alternating Timed Automata
द्वारा: Pawel Parys, और अन्य
प्रकाशित: (2012-09-01)

Sampled Semantics of Timed Automata
द्वारा: Pavel Krcal, और अन्य
प्रकाशित: (2010-09-01)

Determinisability of register and timed automata
द्वारा: Lorenzo Clemente, और अन्य
प्रकाशित: (2022-05-01)

Relating timed and register automata
द्वारा: Diego Figueira, और अन्य
प्रकाशित: (2010-11-01)

An Introduction to Time-Constrained Automata
द्वारा: Matthieu Lemerre, और अन्य
प्रकाशित: (2010-10-01)

On Nonlinear Prices in Timed Automata
द्वारा: Devendra Bhave, और अन्य
प्रकाशित: (2016-12-01)