Sciweavers

7778 search results - page 8 / 1556
» Designing Controllers for Reachability
Sort
View
HYBRID
2009
Springer
13 years 11 months ago
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
WCE
2007
13 years 8 months ago
Neural Network Global Sliding Mode PID Control for Robot Manipulators
—This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode con...
T. C. Kuo, Y. J. Huang
ENGL
2008
139views more  ENGL 2008»
13 years 7 months ago
Global Stabilization of Robot Control with Neural Network and Sliding Mode
This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode contro...
T. C. Kuo, Y. J. Huang
INFOCOM
2005
IEEE
14 years 28 days ago
On static reachability analysis of IP networks
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Z...
PLDI
2004
ACM
14 years 23 days ago
The set constraint/CFL reachability connection in practice
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
John Kodumal, Alexander Aiken