Component based development of hybrid control systems

Vain, J.; Kuusik, A.; Kääramees, M. (1999). Component based development of hybrid control systems. Proceedings of the 15th International Conference on CAD/CAM, Robotics & Factories of the Future CARS & FOF'99, 2: August, 18-20, 1999, Aguas de Lindoia, Brasil. Ed. Carvalho,M.F.; Müller,F.M. RW5-1−RW5-6.
publitseeritud konverentsiettekanne
Vain, J.; Kuusik, A.; Kääramees, M.
  • Inglise
Proceedings of the 15th International Conference on CAD/CAM, Robotics & Factories of the Future CARS & FOF'99
Carvalho,M.F.; Müller,F.M.
August, 18-20, 1999, Aguas de Lindoia, Brasil
-
2
1999
RW5-1RW5-6
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo

compositional verification, control system, fault tolerance, formal specification, hybrid component, refinement, system design