Specification of hybrid components of control systems

Vain, J.; Kuusik, A.; Kääramees, M. (1998). Specification of hybrid components of control systems. 5th IFAC Workshop on Intelligent Manufacturing Systems IMS '98 : [Preprints], November 9-11 1998, Gramado - RS, Brazil. Ed. Pereira,C.E.; Kopacek,P. Brazil: UFGRS; SBA, 83−88.
publitseeritud konverentsiettekanne
Vain, J.; Kuusik, A.; Kääramees, M.
  • Inglise
5th IFAC Workshop on Intelligent Manufacturing Systems IMS '98 : [Preprints], November 9-11 1998, Gramado - RS, Brazil
Pereira,C.E.; Kopacek,P.
Brazil
UFGRS; SBA
1998
8388
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo

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