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 | |
|
|
