4693 search results - page 218 / 939 » Verifying Hybrid Systems |
166
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
180
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
154
click to vote
FPGA
1999
ACM
15 years 9 months ago
1999
ACM
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...
148
click to vote
ACL
2010
15 years 3 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
138
click to vote
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...