4693 search results - page 92 / 939 » Verifying Hybrid Systems |
107
Voted
ENTCS
2011
14 years 4 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
105
Voted
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
AIPS
2003
15 years 2 months ago
2003
In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner ...
102
Voted
BELL
2005
15 years 16 days ago
2005
We demonstrate effective mixing of microliter droplets using electrically tunable superhydrophobic nanostructured surfaces. By applying electrical voltage and current, droplets can...
111
Voted
NIPS
2007
15 years 2 months ago
2007
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...