679 search results - page 16 / 136 » hybrid 2010 |
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
BIBE
2010
IEEE
14 years 4 months ago
2010
IEEE
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
HYBRID
2010
Springer
15 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...
82
Voted
ENTCS
2006
14 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...