679 search results - page 5 / 136 » hybrid 2010 |
ENTCS
2007
13 years 9 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
STACS
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
EVOW
2010
Springer
13 years 11 months ago
2010
Springer
We present a multi-parent hybrid genetic
AUTOMATICA
2010
13 years 10 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
CN
2010
13 years 10 months ago
2010
