320 search results - page 24 / 64 » Constructing Invariants for Hybrid Systems |
132
Voted
KI
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
180
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
177
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...
153
click to vote
SCL
2008
15 years 5 months ago
2008
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
165
Voted
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...