In this paper architecture of hybrid control system of robot based on context and learning by natural language is suggested.

In this paper we consider the problem of extracting an abstraction from a hybrid control system while preserving timed languages. Such consistent abstractions are clearly useful as the abstracted, higher level model could be used for controller synthesis or verification of the more complicated lower level model. The class of abstracting maps we consider in this paper compress only the continuou...

Hybrid systems (those where continuous and discrete phenomena interact) can be found in many natural and artificial systems. For example, real-time embedded systems usually include discrete-event controllers interacting with a continuous plant. Verifying such real-time systems for correctness is of utmost importance, as results of incorrect behavior could be catastrophic. Although Modeling and ...

In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.

The biological reduction of CO2 driven by sunlight via photosynthesis is a crucial process for life on earth. However, the conversion efficiency of solar energy to biomass by natural photosynthesis is low. This translates in bioproduction processes relying on natural photosynthesis that are inefficient energetically. Recently, hybrid photosynthetic technologies with the potential of significant...

The notion of bisimulation has escaped the world of continuous, and subsequently, hybrid systems. Recently, notions of bisimulation for continuous systems have been developed based on the categorical framework of Joyal, Nielsen and Winskel. In this paper, we combine known notions of bisimulation for discrete systems with recent notions for continuous systems and develop novel but natural notion...

We describe a hybrid approach to vector space model that improves accuracy in voice search for books. We compare different vector space approaches and demonstrate that the hybrid search model using a weighted sub-space model smoothed with a general model and a back-off scheme provides the best search performance on natural queries obtained from the Web.

Maladaptive hybridization is hypothesized to be an important force driving the evolution of reproductive isolation between closely related species. Because the magnitude and direction of selection can vary across a life cycle, an accurate understanding of the ubiquity of reinforcement requires fitness to be estimated across the life cycle, but the literature is surprisingly depauperate of such ...