Sciweavers

7778 search results - page 8 / 1556
» Designing Controllers for Reachability
Sort
View
HYBRID
2009
Springer
15 years 5 months ago
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
WCE
2007
15 years 2 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»
15 years 1 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
15 years 6 months 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
15 years 6 months 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