[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Modeling hybrid dynamical systems
Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- 作者Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- 文件大小556.82KB
- 发表时间1996
- DOI10.1007/bfb0020963
- 页码401-412