844 search results - page 57 / 169 » Reachability in Linear Dynamical Systems |
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
—Approximate Dynamic Inversion (ADI) has been established as a method to control minimum-phase, nonaffine-incontrol systems. Previous results have shown that for single-input no...
97
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CAD
2000
Springer
14 years 11 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
105
click to vote
PODC
2003
ACM
15 years 4 months ago
2003
ACM
We investigate issues related to the probe complexity of quorum systems and their implementation in a dynamic environment. Our contribution is twofold. The first regards the algo...