679 search results - page 16 / 136 » hybrid 2010 |
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
BIBE
2010
IEEE
13 years 4 months ago
2010
IEEE
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
Analysis of stability and stabilizability of switched linear systems is a well-researched topic. This article pursues a polar coordinate approach which offers a convenient framew...
ENTCS
2006
13 years 9 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...