Sciweavers

3995 search results - page 17 / 799
» Linearization of hybrid processes
Sort
View
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
13 years 4 months ago
Synthesis of embedded control systems with high sampling frequencies
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
Javad Lavaei, Somayeh Sojoudi, Richard M. Murray
HYBRID
2010
Springer
13 years 11 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...
HYBRID
2010
Springer
14 years 2 months ago
A generating function approach to the stability of discrete-time switched linear systems
Exponential stability of switched linear systems under both arbitrary and proper switching is studied through two suitably defined families of functions called the strong and the...
Jianghai Hu, Jinglai Shen, Wei Zhang
HYBRID
2000
Springer
14 years 1 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
14 years 4 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning