[Lecture Notes in Computer Science] Spatial Information Theory A Theoretical Basis for GIS Volume 988 || A formalism for model-based spatial planning
- 作者Frank, Andrew U.; Kuhn, Werner
- 文件大小1097.01KB
- 发表时间1995
- DOI10.1007/3-540-60392-1_33
- 页码501-518
[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 Volume 736 || Hybrid system modeling and autonomous control systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Models for hybrid systems: Automata, topologies, controllability, observabilityGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || An approach to the description and analysis of hybrid systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993