Specification of hybrid components of control systems

Vain, Jüri; Kuusik, Alar; Kääramees, Marko (1999). Specification of hybrid components of control systems. Intelligent Manufacturing Systems 1998 : A Proceedings volume from the 5th IFAC Worksho, Gramado - RS, Brazil, 9-11 November 1998. Ed. Kopacek, P.; Pereira ,C.E. Oxford: Pergamon, 73−78. (IFAC Proceedings Volumes; 31-31).10.1016/S1474-6670(17)41007-X.
publitseeritud konverentsiettekanne
Vain, Jüri; Kuusik, Alar; Kääramees, Marko
  • Inglise
Intelligent Manufacturing Systems 1998 : A Proceedings volume from the 5th IFAC Worksho, Gramado - RS, Brazil, 9-11 November 1998
Kopacek, P.; Pereira ,C.E.
Oxford
Pergamon
0-08-043239-5
IFAC Proceedings Volumes
31-31
1999
7378
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1016/S1474-6670(17)41007-X

Lisainfo

fault tolerance, formal specification, hybrid automata, refinement, sensors
ISI Proceedings