Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1194313, author = {Fahrenberg, Uli and Křetínský, Jan and Legay, Axel and Traonouez, LouisandMarie}, address = {Heidelberg Dordrecht London New York}, booktitle = {The 11th International Symposium on Formal Aspects of Component Software - FACS 2014}, doi = {http://dx.doi.org/10.1007/978-3-319-15317-9_19}, keywords = {modal transition systems; compositional design; robust systems; logic}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Heidelberg Dordrecht London New York}, isbn = {978-3-319-15316-2}, pages = {306-324}, publisher = {Springer}, title = {Compositionality for Quantitative Specifications}, year = {2015} }
TY - JOUR ID - 1194313 AU - Fahrenberg, Uli - Křetínský, Jan - Legay, Axel - Traonouez, Louis-Marie PY - 2015 TI - Compositionality for Quantitative Specifications PB - Springer CY - Heidelberg Dordrecht London New York SN - 9783319153162 KW - modal transition systems KW - compositional design KW - robust systems KW - logic N2 - We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations. ER -
FAHRENBERG, Uli, Jan KŘETÍNSKÝ, Axel LEGAY a Louis-Marie TRAONOUEZ. Compositionality for Quantitative Specifications. In \textit{The 11th International Symposium on Formal Aspects of Component Software - FACS 2014}. Heidelberg Dordrecht London New York: Springer, 2015, s.~306-324. ISBN~978-3-319-15316-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-15317-9\_{}19.
|