Discrete abstractions of hybrid systems
Proceedings of the IEEE, 2000 - ieeexplore.ieee.org
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
[PDF][PDF] Discrete Abstractions of Hybrid Systems
R ALUR, TA HENZINGER, G LAFFERRIERE… - … OF THE IEEE, 2000 - vowi.fsinf.at
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
[引用][C] Discrete abstractions of hybrid systems
R Alur, TA Henzinger, G Lafferriere… - Proceedings of the IEEE, 2000 - cir.nii.ac.jp
[PDF][PDF] Discrete Abstractions of Hybrid Systems
R ALUR, TA HENZINGER, G LAFFERRIERE… - PROCEEDINGS OF THE …, 2000 - Citeseer
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
[PDF][PDF] Discrete Abstractions of Hybrid Systems
R ALUR, TA HENZINGER, G LAFFERRIERE… - … OF THE IEEE, 2000 - academia.edu
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
[引用][C] Discrete abstractions of hybrid systems
R ALUR, TA HENZINGER… - … of the IEEE, 2000 - pascal-francis.inist.fr
Discrete abstractions of hybrid systems CNRS Inist Pascal-Francis CNRS Pascal and
Francis Bibliographic Databases Simple search Advanced search Search by classification …
Francis Bibliographic Databases Simple search Advanced search Search by classification …
[PDF][PDF] Discrete Abstractions of Hybrid Systems
R Alur, TA Henzinger, G Lafferriere, GJ Pappas - 2000 - researchgate.net
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
Discrete Abstractions of Hybrid Systems
R Alur, TA Henzinger, GJ Pappas… - Proceedings of the …, 2000 - repository.upenn.edu
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
Discrete abstractions of hybrid systems
R Alur, TA Henzinger, G Lafferriere… - Proceedings of the …, 2000 - research-explorer.ista.ac.at
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …
[PDF][PDF] Discrete Abstractions of Hybrid Systems
R Alur, TA Henzinger, G Lafferriere, GJ Pappas - 2000 - core.ac.uk
A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …
analysis purposes, it is often useful to abstract a system in a way that preserves the …