13717 search results - page 118 / 2744 » Control Systems |
119
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
112
Voted
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
127
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Communication networks provide a larger flexibility with respect to the control design of large-scale interconnected systems by allowing the information exchange between...
101
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—For linear time-invariant systems with a time-varying input delay, an explicit formula for predictor feedback was presented by Nihtila
113
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This article presents an instrumental variable method dedicated to non-linear Hammerstein systems operating in closed loop. The linear process is a Box