Research Article
Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety
Table 2
The semantics of clock expressions.
| Clock expression name | Notation | Kind of expression | Semantics of expressions |
| Union | | Synchronous | | Intersection | | Synchronous | | DelayFor | | Synchronous or asynchronous | | PeriodicOn | | Synchronous or asynchronous | | Sample | | Synchronous or asynchronous | | StrictSample | ▶ | Synchronous or asynchronous | | | Supremum | | Synchronous or asynchronous | | Infimum | | Synchronous or asynchronous | | Preemption (UpTo) | ↯ | Synchronous | | Wait | | Synchronous | |
|
|