Sciweavers

3823 search results - page 113 / 765
» Stability of Hybrid Systems
Sort
View
108
Voted
JAPLL
2006
112views more  JAPLL 2006»
15 years 21 days ago
Intuitionistic hybrid logic
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...
Torben Braüner, Valeria de Paiva
87
Voted
CORR
2006
Springer
97views Education» more  CORR 2006»
15 years 23 days ago
Stabilization using both noisy and noiseless feedback
Abstract-- When designing a distributed control system, the system designer has a choice in how to connect the different units through communication channels. In practice, noiseles...
Anant Sahai
88
Voted
DMTCS
2007
74views Mathematics» more  DMTCS 2007»
15 years 21 days ago
Words and Bisimulations of Dynamical Systems
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...
Thomas Brihaye
IROS
2007
IEEE
151views Robotics» more  IROS 2007»
15 years 7 months ago
Stabilizing biped walking on rough terrain based on the compliance control
— In this paper, we propose a control system that changes the compliance based on the walking speed to stabilize biped walking on rough terrain. The proposed system does not use ...
Masaki Ogino, Hiroyuki Toyama, Minoru Asada
102
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
Stability and Convergence of TCP-like Congestion Controllers in a Many-Flows Regime
— With the rapid growth of Internet, parameter design and analysis for large-scale networks has become a topic of active interest. Since simulation of such large scale systems is...
Supratim Deb, Sanjay Shakkottai, R. Srikant