4693 search results - page 98 / 939 » Verifying Hybrid Systems |
107
Voted
JAPLL
2006
15 years 19 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of stability and stabilizability of switched linear systems is a well-researched topic. This article pursues a polar coordinate approach which offers a convenient framew...
88
Voted
DMTCS
2007
15 years 19 days ago
2007
In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this g...
142
click to vote
PUK
2001
15 years 2 months ago
2001
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
99
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...