907 search results - page 69 / 182 » Monitoring of Real-Time Properties |
RSP
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
ENTCS
2006
13 years 8 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— When the end-effector of a robot is slid on a flat surface, the stiffness matrix obtained by linear fitting of position and force contains information not only on the stiffne...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
ENTCS
2002
13 years 7 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...