@inproceedings{efe624a33e31483ea2f4fd4832f8c1e0,
title = "Heterogeneous timed machines",
abstract = "We present an algebra of discrete timed input/output automata that execute in the context of different clock granularities — timed machines — as models of systems that can be dynamically interconnected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasible. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata.",
keywords = "Time Machine, Reachable State, Heterogeneous Composition, Joint Behaviour, Partial Execution",
author = "Beno{\^i}t Delahaye and Fiadeiro, {Jos{\'e} Luiz} and Axel Legay and Antόnia Lopes",
year = "2014",
doi = "10.1007/978-3-319-10882-7",
language = "English",
isbn = "9783319108810",
series = "Lecture Notes in Computer Science",
publisher = "Springer ",
pages = "115--132",
editor = "Gabriel Ciobanu and Dominique M{\'e}ry",
booktitle = "Theoretical Aspects of Computing – ICTAC 2014",
}