2377 search results - page 156 / 476 » Hybrid Systems in TLA |
163
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
173
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
133
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...
173
click to vote
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
This paper proposes a distributed coordination algorithm for robotic sensor networks to detect boundaries that separate areas of abrupt change of spatial phenomena. We consider an ...
176
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...