13717 search results - page 126 / 2744 » Control Systems |
117
click to vote
SCL
2010
15 years 1 months ago
2010
This paper is concerned with the analysis of a singularity that can occur in threedimensional discontinuous feedback control systems. The singularity is the two-fold – a tangenc...
117
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
110
click to vote
JFR
2006
15 years 3 months ago
2006
The Defense Applied Research Projects Agency (DARPA) Learning Applied to Ground Vehicles (LAGR) program aims to develop algorithms for autonomous vehicle navigation that learn how...
120
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
102
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...