Sciweavers

13717 search results - page 108 / 2744
» Control Systems
Sort
View
USS
2008
15 years 5 months ago
Research Challenges for the Security of Control Systems
In this paper we attempt to answer two questions: (1) Why should we be interested in the security of control systems? And (2) What are the new and fundamentally different requirem...
Alvaro A. Cárdenas, Saurabh Amin, Shankar S...
AUTOMATICA
2004
94views more  AUTOMATICA 2004»
15 years 2 months ago
Optimal control of sampled-data piecewise affine systems
This paper addresses the optimal control problem of the continuous-time piecewise affine (PWA) systems with autonomous switching executed at each sampling time, which we call sampl...
Jun-ichi Imura
HYBRID
2007
Springer
15 years 9 months ago
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos, Antoine Girard, George J. Pa...
HYBRID
2003
Springer
15 years 8 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
14 years 10 months ago
Combining extremum seeking control and tracking control for high-performance CVT operation
The control design for the variator in a pushbelt continuously variable transmission (CVT) is investigated. The variator enables a stepless variation of the transmission ratio with...
Stan van der Meulen, Bram de Jager, Frans Veldpaus...