613 search results - page 21 / 123 » Observability of Linear Hybrid Systems |
116
click to vote
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Learning dynamical systems is one of the important problems in many fields. In this paper, we present an algorithm for learning non-linear dynamical systems which works...
107
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
103
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...