Reviews
- 期刊名称Text and Performance Quarterly
- 作者Rusted, Brian; Eastland, Lynette J.; Wade, Alan; Huck, Karen
- 卷第10卷
- 期第2期
- 印刷ISSN1046-2937
- 电子ISSN1479-5760
- 文件大小644.27KB
- 发表时间1990-04
- DOI10.1080/10462939009365967
- 页码174-181
[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Stability of hybrid systemsAlur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. · 1996
[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Modeling hybrid dynamical systemsAlur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. · 1996
[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Simulation of hybrid systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997
[Lecture Notes in Computer Science] Hybrid Neural Systems Volume 1778 ||Wermter, Stefan; Sun, Ron · 2000
[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Bumpless switching in hybrid systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Hybrid Systems DiagnosisLynch, Nancy; Krogh, Bruce H. · 2000
[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Requirements specifications for hybrid systemsAlur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. · 1996
[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 9957 ||Cinquemani, Eugenio; Donzé, Alexandre · 2016
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 ||Hespanha, João P.; Tiwari, Ashish · 2006
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || Reachability Analysis of Multi-affine SystemsHespanha, João P.; Tiwari, Ashish · 2006
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || Stability Analysis of Hybrid Systems Via Small-Gain TheoremsHespanha, João P.; Tiwari, Ashish · 2006
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || A Feedback Control Motivation for Generalized Solutions to Hybrid SystemsHespanha, João P.; Tiwari, Ashish · 2006
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || A Fully Automated Framework for Control of Linear Systems from LTL SpecificationsHespanha, João P.; Tiwari, Ashish · 2006
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional PolytopesHespanha, João P.; Tiwari, Ashish · 2006
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment ControlHespanha, João P.; Tiwari, Ashish · 2006