[Lecture Notes in Computer Science] Personal Wireless Communications Volume 2775 || Testing Mobile Wireless Applications
- 作者Conti, Marco; Giordano, Silvia; Gregori, Enrico; Olariu, Stephan
- 文件大小503.48KB
- 发表时间2003
- DOI10.1007/978-3-540-39867-7_7
- 页码75-89
[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 3414 ||Morari, Manfred; Thiele, Lothar · 2005
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Polynomial Stochastic Hybrid SystemsMorari, Manfred; Thiele, Lothar · 2005
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Operational Semantics of Hybrid SystemsMorari, Manfred; Thiele, Lothar · 2005
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Taylor Approximation for Hybrid SystemsMorari, Manfred; Thiele, Lothar · 2005
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Generating Polynomial Invariants for Hybrid SystemsMorari, Manfred; Thiele, Lothar · 2005
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Bisimulation for General Stochastic Hybrid SystemsMorari, Manfred; Thiele, Lothar · 2005
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Coordinated Control for Highly Reconfigurable SystemsMorari, Manfred; Thiele, Lothar · 2005