Efficient synthesis of robust models for stochastic systems
We describe a tool-supported method for the efficient synthesis of parametric continuous-time Markov chains (pCTMC) that correspond to robust designs of a system under development. The pCTMCs generated by our RObust DEsign Synthesis (RODES) method are resilient to changes in the system’s operational...
Հիմնական հեղինակներ: | Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N |
---|---|
Ձևաչափ: | Journal article |
Հրապարակվել է: |
Elsevier
2018
|
Նմանատիպ նյութեր
-
RODES: A robust-design synthesis tool for probabilistic systems
: Calinescu, R, և այլն
Հրապարակվել է: (2017) -
Designing robust software systems through parametric markov chain synthesis
: Kwiatkowska, M, և այլն
Հրապարակվել է: (2017) -
Precise Parameter Synthesis for Stochastic Biochemical Systems
: Češka, M, և այլն
Հրապարակվել է: (2014) -
Precise Parameter Synthesis for Stochastic Biochemical Systems
: Češka, M, և այլն
Հրապարակվել է: (2014) -
Precise Parameter Synthesis for Stochastic Biochemical Systems
: Ceska, M, և այլն
Հրապարակվել է: (2015)