828 search results - page 15 / 166 » Modularity for Timed and Hybrid Systems |
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
75
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
108
click to vote
ICVS
2001
Springer
15 years 2 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...