-
1
-
2
Verification of rectangular hybrid automata models
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
3
A Hybrid Automaton Model of the Cement Mill Control
Veröffentlicht in IEEE transactions on control systems technology
VolltextArtikel -
4
-
5
-
6
Validation of a SFC Software Specification by Using Hybrid Automata
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
7