**Dynamic networks of heterogeneous timed machines.** / Fiadeiro, Jose Luiz; Lopes, Antonia; Delahaye, Benoit; Legay, Axel.

Research output: Contribution to journal › Article › peer-review

Published

**Dynamic networks of heterogeneous timed machines.** / Fiadeiro, Jose Luiz; Lopes, Antonia; Delahaye, Benoit; Legay, Axel.

Research output: Contribution to journal › Article › peer-review

Fiadeiro, JL, Lopes, A, Delahaye, B & Legay, A 2018, 'Dynamic networks of heterogeneous timed machines', *Mathematical Structures in Computer Science*, vol. 28, no. 6, pp. 800-855. https://doi.org/10.1017/S0960129517000135

Fiadeiro, J. L., Lopes, A., Delahaye, B., & Legay, A. (2018). Dynamic networks of heterogeneous timed machines. *Mathematical Structures in Computer Science*, *28*(6), 800-855. https://doi.org/10.1017/S0960129517000135

Fiadeiro JL, Lopes A, Delahaye B, Legay A. Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 2018 Jun;28(6):800-855. https://doi.org/10.1017/S0960129517000135

@article{456374331b8443568a29eeb898b61127,

title = "Dynamic networks of heterogeneous timed machines",

abstract = "We present an algebra of discrete timed input/output automata that may execute in the context of different clock granularities – which we call timed machines; this algebra includes a refinement operator through which a machine can be extended with new states and transitions in order to accommodate a finer clock granularity as required to interoperate with other machines, and an extension of the traditional product of timed input–output automata to the situation in which the granularities of the two machines are not the same. Over this algebra, we then define an algebra of networks of timed machines that includes operations through which networks can be modified at run time, thus offering a model for systems of interconnected components that can dynamically bind to other systems and, therefore, cannot be adjusted at design time to ensure that they operate in a timed homogeneous setting. We investigate important properties of timed machines such as consistency – in the sense that a machine can be ensured to generate a non-empty language, and feasibility – in the sense that a machine can be ensured to generate a non-empty language no matter what inputs it receives, and propose techniques for checking if timed machines are consistent or are feasible. We generalise those properties to networks of timed machines, and investigate how consistency and feasibility of networks can be proved through properties that can be checked at design time without having to compute, at run time, the product of the machines that operate on those networks, which would not be practical.",

author = "Fiadeiro, {Jose Luiz} and Antonia Lopes and Benoit Delahaye and Axel Legay",

year = "2018",

month = jun,

doi = "10.1017/S0960129517000135",

language = "English",

volume = "28",

pages = "800--855",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "6",

}

TY - JOUR

T1 - Dynamic networks of heterogeneous timed machines

AU - Fiadeiro, Jose Luiz

AU - Lopes, Antonia

AU - Delahaye, Benoit

AU - Legay, Axel

PY - 2018/6

Y1 - 2018/6

N2 - We present an algebra of discrete timed input/output automata that may execute in the context of different clock granularities – which we call timed machines; this algebra includes a refinement operator through which a machine can be extended with new states and transitions in order to accommodate a finer clock granularity as required to interoperate with other machines, and an extension of the traditional product of timed input–output automata to the situation in which the granularities of the two machines are not the same. Over this algebra, we then define an algebra of networks of timed machines that includes operations through which networks can be modified at run time, thus offering a model for systems of interconnected components that can dynamically bind to other systems and, therefore, cannot be adjusted at design time to ensure that they operate in a timed homogeneous setting. We investigate important properties of timed machines such as consistency – in the sense that a machine can be ensured to generate a non-empty language, and feasibility – in the sense that a machine can be ensured to generate a non-empty language no matter what inputs it receives, and propose techniques for checking if timed machines are consistent or are feasible. We generalise those properties to networks of timed machines, and investigate how consistency and feasibility of networks can be proved through properties that can be checked at design time without having to compute, at run time, the product of the machines that operate on those networks, which would not be practical.

AB - We present an algebra of discrete timed input/output automata that may execute in the context of different clock granularities – which we call timed machines; this algebra includes a refinement operator through which a machine can be extended with new states and transitions in order to accommodate a finer clock granularity as required to interoperate with other machines, and an extension of the traditional product of timed input–output automata to the situation in which the granularities of the two machines are not the same. Over this algebra, we then define an algebra of networks of timed machines that includes operations through which networks can be modified at run time, thus offering a model for systems of interconnected components that can dynamically bind to other systems and, therefore, cannot be adjusted at design time to ensure that they operate in a timed homogeneous setting. We investigate important properties of timed machines such as consistency – in the sense that a machine can be ensured to generate a non-empty language, and feasibility – in the sense that a machine can be ensured to generate a non-empty language no matter what inputs it receives, and propose techniques for checking if timed machines are consistent or are feasible. We generalise those properties to networks of timed machines, and investigate how consistency and feasibility of networks can be proved through properties that can be checked at design time without having to compute, at run time, the product of the machines that operate on those networks, which would not be practical.

U2 - 10.1017/S0960129517000135

DO - 10.1017/S0960129517000135

M3 - Article

VL - 28

SP - 800

EP - 855

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

SN - 0960-1295

IS - 6

ER -