Journal of Pediatric Psychology - Editorial Board
- 期刊名称Journal of Pediatric Psychology
- 卷第38卷
- 期第10期
- 印刷ISSN0146-8693
- 电子ISSN1465-735X
- 文件大小111.94KB
- 发表时间2013-11-01
- DOI10.1093/jpepsy/jss144
[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
Controller Synthesis for Timed Automata 1Asarin, Eugene; Maler, Oded; Pnueli, Amir; Sifakis, Joseph · IFAC Proceedings Volumes · 1998
From Real-time Logic to Timed AutomataFerrère, Thomas; Maler, Oded; Ničković, Dejan; Pnueli, Amir · Journal of the ACM · 2019
Reachability analysis of dynamical systems having piecewise-constant derivativesEugene Asarin; Oded Maler; Amir Pnueli · 1995
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 ||Maler, Oded; Pnueli, Amir · 2003
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Modelling and Control of Power ElectronicsMaler, Oded; Pnueli, Amir · 2003
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Reachability Questions in Piecewise Deterministic Markov ProcessesMaler, Oded; Pnueli, Amir · 2003
[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Control Design for a Wheeled Mobile RobotMaler, Oded; Pnueli, Amir · 2003