907 search results - page 74 / 182 » Monitoring of Real-Time Properties |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we incorporate dipolar potential fields used for nonholonomic navigation into a novel potential function designed for multi – robot navigation. The derived naviga...
IANDC
2007
13 years 8 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
DALT
2009
Springer
13 years 12 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...