效绵 Continuous Time Domain time is modeled as real numbers delays may be arbitrarily small more faithful model,suited for asynchronous systems uncountable state space =cannot be directly handled automatically by "brute force"Continuous Time Domain ◼ time is modeled as real numbers ◼ delays may be arbitrarily small ◼ more faithful model, suited for asynchronous systems ◼ uncountable state space  cannot be directly handled automatically by “brute force