TY - RPRT TI - Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks AU - Inigo Incer AU - Noel Csomay-Shanklin AU - Aaron Ames AU - Richard M. Murray PY - 2024 DO - 10.1109/lcsys.2024.3410150 UR - https://arxiv.org/abs/2402.11666 ID - 2402.11666 ER -