@inproceedings{10.1145/3178126.3178138,
    author = {Neda Saeedloei and Feliks Kluundefinedniak},
    doi = {https://dx.doi.org/10.1145/3178126.3178138},
    abstract = {We consider the problem of optimal clock allocation for a fairly general class of timed automata, TAS, under the safe assumption that all locations are reachable. Techniques similar to those used in compiler technology allow us to construct an interference graph: the problem of clock allocation for timed automata in TAS can be reduced to that of colouring this graph. We then describe a class of timed automata, TADS ⊊ TAS, for which optimal clock allocation can be computed in polynomial time, because the corresponding interference graphs are perfect. Finally, we discuss some of the difficulties in applying similar techniques to timed automata outside TAS.},
    address = {New York, NY, USA},
    booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)},
    file = {Clock Allocation in Timed Automata and Graph Colouring - neda-hscc2018.pdf},
    isbn = {9781450356428},
    location = {Porto, Portugal},
    pages = {71--80},
    publisher = {Association for Computing Machinery},
    series = {HSCC '18},
    title = {{Clock Allocation in Timed Automata and Graph Colouring}},
    url = {https://doi.org/10.1145/3178126.3178138},
    year = {2018},
    bdsk-url-1 = {https://doi.org/10.1145/3178126.3178138},
    date-added = {2021-05-24 15:59:22 +0200},
    date-modified = {2026-1-15 10:27:14 +0100},
    numpages = {10}
}

@inproceedings{10.1145/3178126.3178138, author = {Neda Saeedloei and Feliks Kluundefinedniak}, doi = {https://dx.doi.org/10.1145/3178126.3178138}, abstract = {We consider the problem of optimal clock allocation for a fairly general class of timed automata, TAS, under the safe assumption that all locations are reachable. Techniques similar to those used in compiler technology allow us to construct an interference graph: the problem of clock allocation for timed automata in TAS can be reduced to that of colouring this graph. We then describe a class of timed automata, TADS ⊊ TAS, for which optimal clock allocation can be computed in polynomial time, because the corresponding interference graphs are perfect. Finally, we discuss some of the difficulties in applying similar techniques to timed automata outside TAS.}, address = {New York, NY, USA}, booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)}, file = {Clock Allocation in Timed Automata and Graph Colouring - neda-hscc2018.pdf}, isbn = {9781450356428}, location = {Porto, Portugal}, pages = {71--80}, publisher = {Association for Computing Machinery}, series = {HSCC '18}, title = {{Clock Allocation in Timed Automata and Graph Colouring}}, url = {https://doi.org/10.1145/3178126.3178138}, year = {2018}, bdsk-url-1 = {https://doi.org/10.1145/3178126.3178138}, date-added = {2021-05-24 15:59:22 +0200}, date-modified = {2026-1-15 10:27:14 +0100}, numpages = {10} }